Weak solution

In mathematics, a weak solution (also called a generalized solution) to an ordinary or partial differential equation is a function for which the derivatives may not all exist but which is nonetheless deemed to satisfy the equation in some precisely defined sense. There are many different definitions of weak solution, appropriate for different classes of equations. One of the most important is based on the notion of distributions. Avoiding the language of distributions, one starts with a differential equation and rewrites it in such a way that no derivatives of the solution of the equation show up (the new form is called the weak formulation, and the solutions to it are called weak solutions). Somewhat surprisingly, a differential equation may have solutions that are not differentiable, and the weak formulation allows one to find such solutions. Weak solutions are important because many differential equations encountered in modelling real-world phenomena do not admit of sufficiently smooth solutions, and the only way of solving such equations is using the weak formulation. Even in situations where an equation does have differentiable solutions, it is often convenient to first prove the existence of weak solutions and only later show that those solutions are in fact smooth enough.…

In mathematics, a weak solution (also called a generalized solution) to an ordinary or partial differential equation is a function for which the derivatives may not all exist but which is nonetheless deemed to satisfy the equation in some precisely defined sense. There are many different definitions of weak solution, appropriate for different classes of equations. One of the most important is based on the notion of distributions. Avoiding the language of distributions, one starts with a differential equation and rewrites it in such a way that no derivatives of the solution of the equation show up (the new form is called the weak formulation, and the solutions to it are called weak solutions). Somewhat surprisingly, a differential equation may have solutions that are not differentiable, and the weak formulation allows one to find such solutions. Weak solutions are important because many differential equations encountered in modelling real-world phenomena do not admit of sufficiently smooth solutions, and the only way of solving such equations is using the weak formulation. Even in situations where an equation does have differentiable solutions, it is often convenient to first prove the existence of weak solutions and only later show that those solutions are in fact smooth enough. Examples of equations that have weak solutions but fail to have strong solutions include the Tanaka equation and Tsirelson's stochastic differential equation. where u = u(t, x) is a function of two real variables. To indirectly probe the properties of a possible solution u, one integrates it against an arbitrary smooth function \varphi\,\! of compact support, known as a test function, taking \int_{-\infty}^\infty \int_{-\infty}^\infty u(t,x)\,\varphi(t,x)\,dx\,dt For example, if \varphi is a smooth probability distribution concentrated near a point (t, x) = (t_\circ, x_\circ) , the integral is approximately u(t_\circ,x_\circ) . Notice that while the integrals go from -\infty to \infty , they are essentially over a finite box where \varphi is non-zero. Thus, assume a solution u is continuously differentiable on the Euclidean space R 2 , multiply the equation ( ) by a test function \varphi (smooth of compact support), and integrate: \int_{-\infty}^\infty \int_{-\infty}^\infty \frac{\partial u(t, x)}{\partial t} \varphi (t, x) \, \mathrm{d} t \, \mathrm{d} x +\int_{-\infty}^\infty \int_{-\infty}^\infty \frac{\partial u(t, x)}{\partial x} \varphi(t,x) \, \mathrm{d}t \, \mathrm{d} x = 0. Using Fubini's theorem, which allows one to interchange the order of integration, as well as integration by parts (in t for the first term and in x for the second term) this equation becomes: (Boundary terms vanish since \varphi is zero outside a finite box.) We have shown that equation ( ) implies equation ( ) as long as u is continuously differentiable. The key to the concept of weak solution is that there exist functions u that satisfy equation ( ) for any \varphi , but such u may not be differentiable and so cannot satisfy equation ( ). An example is , as one may check by splitting the integrals over regions and , where u is smooth, and reversing the above computation using integration by parts. A weak solution of equation ( ) means any solution u of equation ( ) over all test functions \varphi . P(x, \partial)u(x)=\sum a_{\alpha_1, \alpha_2, \dots, \alpha_n}(x) \, \partial^{\alpha_1}\partial^{\alpha_2}\cdots \partial^{\alpha_n} u(x), where the multi-index varies over some finite set in N n and the coefficients a_{\alpha_1, \alpha_2, \dots, \alpha_n} are smooth enough functions of x in R n . The differential equation can, after being multiplied by a smooth test function \varphi with compact support in W and integrated by parts, be written as \int_W u(x) Q(x, \partial) \varphi (x) \, \mathrm{d} x=0 where the differential operator Q(x, ∂) is given by the formula Q(x, \partial)\varphi (x) = \sum (-1)^ \partial^{\alpha_1} \partial^{\alpha_2} \cdots \partial^{\alpha_n} \left[a_{\alpha_1, \alpha_2, \dots, \alpha_n}(x) \varphi(x) \right]. The number (-1)^ = (-1)^{\alpha_1+\alpha_2+\cdots+\alpha_n} shows up because one needs α 1 + α 2 + ⋯ + α n integrations by parts to transfer all the partial derivatives from u to \varphi in each term of the differential equation, and each integration by parts entails a multiplication by −1. The differential operator is the formal adjoint of (cf. adjoint of an operator). In summary, if the original (strong) problem was to find an -times differentiable function u defined on the open set W such that P(x, \partial)u(x) = 0 \text{ for all } x \in W (a so-called strong solution), then an integrable function u would be said to be a weak solution if \int_W u(x)\, Q(x, \partial) \varphi (x)\, \mathrm{d} x = 0 for every smooth function \varphi with compact support in W.

Text derived from https://en.wikipedia.org/w/index.php?oldid=1288605971 under CC BY-SA 4.0; modifications have been made.