Weak solution

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 appearing in the equation 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 which are not differentiable; and the weak formulation allows one to find such solutions.

Weak solutions are important because a great many differential equations encountered in modelling real world phenomena do not admit sufficiently smooth solutions and then 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.

A concrete example

As an illustration of the concept, consider the first-order wave equation

: frac{partial u}{partial t}+frac{partial u}{partial x}=0 quad quad (1)

(see partial derivative for the notation) where "u" = "u"("t", "x") is a function of two real variables. Assume that "u" is continuously differentiable on the Euclidean space R2, multiply this equation (1) by a smooth function "φ" of compact support, and integrate. One obtains

:int_{-infty}^infty int_{-infty}^infty frac{partial u}{partial t} (t, x) varphi (t, x) , mathrm{d} t mathrm{d} x +int_{-infty}^infty int_{-infty}^infty frac{partial u}{partial x} (t, 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

:-int_{-infty}^infty int_{-infty}^infty u (t, x) frac{partial varphi}{partial t} (t, x) , mathrm{d} t mathrm{d} x -int_{-infty}^infty int_{-infty}^infty u (t, x) frac{partialvarphi}{partial x} (t, x) , mathrm{d} t mathrm{d} x =0. quad quad (2)

(Notice that while the integrals go from −∞ to ∞, the integrals are essentially over a finite box because "φ" has compact support, and it is this observation which also allows for integration by parts without the introduction of boundary terms.)

We have shown that equation (1) implies equation (2) as long as "u" is continuously differentiable. The key to the concept of weak solution is that there exist functions "u" which satisfy equation (2) for any "φ", and such "u" may not be differentiable and thus, they do not satisfy equation (1). A simple example of such function is "u"("t", "x") = |"t" − "x"| for all "t" and "x". (That "u" defined in this way satisfies equation (2) is easy enough to check, one needs to integrate separately on the regions above and below the line "x" = "t" and use integration by parts.) A solution "u" of equation (2) is called a weak solution of equation (1).

General case

The general idea which follows from this example is that, when solving a differential equation in "u", one can rewrite it using a so-called "test function" "φ", such that whatever derivatives in "u" show up in the equation, they are "transferred" via integration by parts to "φ". In this way one obtains solutions to the original equation which are not necessarily differentiable.

The approach illustrated above works for equations more general than the wave equation. Indeed, consider a linear differential operator in an open set "W" in R"n"

: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 ("α"1, "α"2, ..., "α""n") 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".

The differential equation "P"("x", ∂)"u"("x") = 0 can, after being multiplied by a smooth test function "φ" 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) ight] .

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 "φ" in each term of the differential equation, and each integration by parts entails a multiplication by −1.

The differential operator "Q"("x", ∂) is the formal adjoint of "P"("x", ∂) (see also adjoint of an operator for the concept of "adjoint").

In summary, if the original (strong) problem was to find a |"α"|-times differentiable function "u" defined on the open set "W" such that:P(x, partial)u(x) = 0 mbox{ 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 = 0for every smooth function "φ" with compact support in "W".

Other kinds of weak solution

The notion of weak solution based on distributions is sometimes inadequate. In the case of hyperbolic systems, the notion of weak solution based on distributions does not guarantee uniqueness, and it is necessary to supplement it with entropy conditions or some other selection criterion. In fully nonlinear PDE such as the Hamilton-Jacobi equation, there is a very different definition of weak solution called viscosity solution.

References

* L.C. Evans, "Partial Differential Equations", American Mathematical Society, Providence, 1998. ISBN 0-8218-0772-2


Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • Weak formulation — Weak formulations are an important tool for the analysis of mathematical equations that permit the transfer of concepts of linear algebra to solve problems in other fields such as partial differential equations. In a weak formulation, an equation …   Wikipedia

  • weak — [ wik ] adjective *** ▸ 1 lacking energy ▸ 2 lacking power ▸ 3 easily persuaded ▸ 4 bad in quality ▸ 5 likely to break/fail ▸ 6 with a lot of water ▸ 7 lacking strength ▸ 8 in linguistics 1. ) part of your body that is weak is not as strong or… …   Usage of the words and phrases in modern English

  • solution — n. answer explanation 1) to find a solution 2) to apply a solution 3) an easy; glib; ideal; ingenious; neat; satisfactory solution 4) a solution for, to (a solution to a problem) mixture 5) a strong; weak solution 6) a saline solution * * * [sə… …   Combinatory dictionary

  • weak */*/*/ — UK [wiːk] / US [wɪk] adjective Word forms weak : adjective weak comparative weaker superlative weakest 1) a) a person who is weak does not have much physical strength or energy The illness had left him too weak to speak. b) part of your body that …   English dictionary

  • Weak derivative — In mathematics, a weak derivative is a generalization of the concept of the derivative of a function ( strong derivative ) for functions not assumed differentiable, but only integrable, i.e. to lie in the Lebesgue space L^1( [a,b] ). See… …   Wikipedia

  • solution */*/*/ — UK [səˈluːʃ(ə)n] / US [səˈluʃ(ə)n] noun [countable] Word forms solution : singular solution plural solutions Get it right: solution: The usual preposition to use with solution is to, not of: Wrong: The role of the government is to find the… …   English dictionary

  • Weak — (w[=e]k), a. [Compar. {Weaker} (w[=e]k [ e]r); superl. {Weakest}.] [OE. weik, Icel. veikr; akin to Sw. vek, Dan. veg soft, flexible, pliant, AS. w[=a]c weak, soft, pliant, D. week, G. weich, OHG. weih; all from the verb seen in Icel. v[=i]kja to… …   The Collaborative International Dictionary of English

  • Weak conjugation — Weak Weak (w[=e]k), a. [Compar. {Weaker} (w[=e]k [ e]r); superl. {Weakest}.] [OE. weik, Icel. veikr; akin to Sw. vek, Dan. veg soft, flexible, pliant, AS. w[=a]c weak, soft, pliant, D. week, G. weich, OHG. weih; all from the verb seen in Icel. v[ …   The Collaborative International Dictionary of English

  • Weak declension — Weak Weak (w[=e]k), a. [Compar. {Weaker} (w[=e]k [ e]r); superl. {Weakest}.] [OE. weik, Icel. veikr; akin to Sw. vek, Dan. veg soft, flexible, pliant, AS. w[=a]c weak, soft, pliant, D. week, G. weich, OHG. weih; all from the verb seen in Icel. v[ …   The Collaborative International Dictionary of English

  • Weak side — Weak Weak (w[=e]k), a. [Compar. {Weaker} (w[=e]k [ e]r); superl. {Weakest}.] [OE. weik, Icel. veikr; akin to Sw. vek, Dan. veg soft, flexible, pliant, AS. w[=a]c weak, soft, pliant, D. week, G. weich, OHG. weih; all from the verb seen in Icel. v[ …   The Collaborative International Dictionary of English

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”