“Lions–Lax–Milgram theorem”的意思、由来-开放百科全书

词条

Lions–Lax–Milgram theorem

释义

Statement of the theorem
Related results
Importance and applications
See also
References

{{hatnote|"Lions' theorem" and "Lions's theorem" redirect here. It is not to be confused with Aubin–Lions theorem.}}

In mathematics, the Lions–Lax–Milgram theorem (or simply Lions's theorem) is a result in functional analysis with applications in the study of partial differential equations. It is a generalization of the famous Lax–Milgram theorem, which gives conditions under which a bilinear function can be "inverted" to show the existence and uniqueness of a weak solution to a given boundary value problem. The result is named after the mathematicians Jacques-Louis Lions, Peter Lax and Arthur Milgram.

Statement of the theorem

Let H be a Hilbert space and V a normed space. Let B : H × V → R be a continuous, bilinear function. Then the following are equivalent:

(coercivity) for some constant c > 0, {{Citation needed|reason=Neither the linked Wikipedia article nor the only reference of this article use the following definition.|date=May 2014}}

(existence of a "weak inverse") for each continuous linear functional f ∈ V^∗, there is an element h ∈ H such that

Importance and applications

Lions's generalization is an important one since it allows one to tackle boundary value problems beyond the Hilbert space setting of the original Lax–Milgram theory. To illustrate the power of Lions's theorem, consider the heat equation in n spatial dimensions (x) and one time dimension (t):

where Δ denotes the Laplace operator. Two questions arise immediately: on what domain in spacetime is the heat equation to be solved, and what boundary conditions are to be imposed? The first question — the shape of the domain — is the one in which the power of the Lions–Lax–Milgram theorem can be seen. In simple settings, it suffices to consider cylindrical domains: i.e., one fixes a spatial region of interest, Ω, and a maximal time, T ∈(0, +∞], and proceeds to solve the heat equation on the "cylinder"

One can then proceed to solve the heat equation using classical Lax–Milgram theory (and/or Galerkin approximations) on each "time slice" {t} × Ω. This is all very well if one only wishes to solve the heat equation on a domain that does not change its shape as a function of time. However, there are many applications for which this is not true: for example, if one wishes to solve the heat equation on the polar ice cap, one must take account of the changing shape of the volume of ice as it evaporates and/or icebergs break away. In other words, one must at least be able to handle domains G in spacetime that do not look the same along each "time slice". (There is also the added complication of domains whose shape changes according to the solution u of the problem itself.) Such domains and boundary conditions are beyond the reach of classical Lax–Milgram theory, but can be attacked using Lions's theorem.

References

{{cite book

}} {{MathSciNet|id=1422252}} (chapter III)

2 : Partial differential equations|Theorems in functional analysis

随便看

开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。

Statement of the theorem

Related results

Importance and applications

See also

References