Namespaces
Variants
Actions

Difference between revisions of "Strong solution"

From Encyclopedia of Mathematics
Jump to: navigation, search
(TeX)
m (label)
 
Line 2: Line 2:
 
''of a differential equation''
 
''of a differential equation''
  
$$Lu\equiv\sum_{|\alpha|\leq m}a_\alpha(x)D^\alpha u=f\tag{*}$$
+
$$Lu\equiv\sum_{|\alpha|\leq m}a_\alpha(x)D^\alpha u=f\label{*}\tag{*}$$
  
 
''in a domain $D$''
 
''in a domain $D$''
  
A locally integrable function $u$ that has locally integrable generalized derivatives of all orders $\leq m$ (cf. [[Generalized derivative|Generalized derivative]]), and satisfies \ref{*} almost-everywhere in $D$.
+
A locally integrable function $u$ that has locally integrable generalized derivatives of all orders $\leq m$ (cf. [[Generalized derivative|Generalized derivative]]), and satisfies \eqref{*} almost-everywhere in $D$.
  
The notion of a  "strong solution"  can also be introduced as follows. A function $u$ is called a strong solution of \ref{*} if there are sequences of smooth (for example, $C^\infty$) functions $\{u_n\}$, $\{f_n\}$ such that $u_n\to u$, $f_n\to f$ and $Lu_n=f_n$ for each $n$, where the convergence is taken in $L_1(K)$ for any compact set $K\subseteq D$. In these definitions, $L_1$ can be replaced by the class $L_p$ of functions whose $p$-th powers are locally integrable. The class most often used is $L_2$.
+
The notion of a  "strong solution"  can also be introduced as follows. A function $u$ is called a strong solution of \eqref{*} if there are sequences of smooth (for example, $C^\infty$) functions $\{u_n\}$, $\{f_n\}$ such that $u_n\to u$, $f_n\to f$ and $Lu_n=f_n$ for each $n$, where the convergence is taken in $L_1(K)$ for any compact set $K\subseteq D$. In these definitions, $L_1$ can be replaced by the class $L_p$ of functions whose $p$-th powers are locally integrable. The class most often used is $L_2$.
  
In the case of an elliptic equation \ref{*} both notions of a strong solution coincide.
+
In the case of an elliptic equation \eqref{*} both notions of a strong solution coincide.
  
  

Latest revision as of 15:58, 14 February 2020

of a differential equation

$$Lu\equiv\sum_{|\alpha|\leq m}a_\alpha(x)D^\alpha u=f\label{*}\tag{*}$$

in a domain $D$

A locally integrable function $u$ that has locally integrable generalized derivatives of all orders $\leq m$ (cf. Generalized derivative), and satisfies \eqref{*} almost-everywhere in $D$.

The notion of a "strong solution" can also be introduced as follows. A function $u$ is called a strong solution of \eqref{*} if there are sequences of smooth (for example, $C^\infty$) functions $\{u_n\}$, $\{f_n\}$ such that $u_n\to u$, $f_n\to f$ and $Lu_n=f_n$ for each $n$, where the convergence is taken in $L_1(K)$ for any compact set $K\subseteq D$. In these definitions, $L_1$ can be replaced by the class $L_p$ of functions whose $p$-th powers are locally integrable. The class most often used is $L_2$.

In the case of an elliptic equation \eqref{*} both notions of a strong solution coincide.


Comments

References

[a1] J. Chazarain, A. Piriou, "Introduction à la théorie des équations aux dérivées partielles linéaires" , Gauthier-Villars (1981) pp. 223 MR0598467 Zbl 0446.35001
How to Cite This Entry:
Strong solution. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Strong_solution&oldid=44730
This article was adapted from an original article by A.P. Soldatov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article