# Difference between revisions of "Well-posedness"

(Make up) |
(Mark up fixed) |
||

Line 6: | Line 6: | ||

* Uniqueness. There are many different notions of uniqueness. One common one is uniqueness in the class of limits of smooth solutions. Another is uniqueness assuming certain spacetime regularity assumptions on the solution. A stronger form of uniqueness is in the class of all <math>H^s</math> functions. Stronger still is uniqueness in the class of all distributions for which the equation makes sense. | * Uniqueness. There are many different notions of uniqueness. One common one is uniqueness in the class of limits of smooth solutions. Another is uniqueness assuming certain spacetime regularity assumptions on the solution. A stronger form of uniqueness is in the class of all <math>H^s</math> functions. Stronger still is uniqueness in the class of all distributions for which the equation makes sense. | ||

* Time of existence. In subcritical situations the time of existence typically depends only on the <math>H^s</math> norm of the initial data, or at a bare minimum one should get a fixed non-zero time of existence for data of sufficiently small norm. When combined with a conservation law this can often be extended to global existence. In critical situations one typically obtains global existence for data of small norm, and local existence for data of large norm but with a time of existence depending on the profile of the data (in particular, the frequencies where the norm is largest) and not just on the norm itself. | * Time of existence. In subcritical situations the time of existence typically depends only on the <math>H^s</math> norm of the initial data, or at a bare minimum one should get a fixed non-zero time of existence for data of sufficiently small norm. When combined with a conservation law this can often be extended to global existence. In critical situations one typically obtains global existence for data of small norm, and local existence for data of large norm but with a time of existence depending on the profile of the data (in particular, the frequencies where the norm is largest) and not just on the norm itself. | ||

− | * Continuity. There are many different ways the solution map can be continuous from <math>H^s</math> to <math>H^s</math>. One of the strongest is real analyticity (which is what is commonly obtained by iteration methods). Weaker than this are various types of C^k continuity (C^1, C^2, C^3, etc.). If the solution map is C^k, then this implies that the k^th derivative at the origin is in <math>H^s</math>, which roughly corresponds to some iterate (often the k^th iterate) lying in <math>H^s</math>. Weaker than this is Lipschitz continuity, and weaker than that is uniform continuity. Finally, there is just plain old continuity. Interestingly, several examples have emerged recently in which one form of continuity holds but not another; in particular we now have several examples (critical wave maps, low-regularity periodic [[KdV]] and [[mKdV]], [[Benjamin-Ono]], [[QNLW|quasilinear wave equations]], ...) where the solution map is continuous but not uniformly continuous. | + | * Continuity. There are many different ways the solution map can be continuous from <math>H^s</math> to <math>H^s</math>. One of the strongest is real analyticity (which is what is commonly obtained by iteration methods). Weaker than this are various types of <math>C^k </math> continuity ( <math>C^1 </math>, <math>C^2 </math> , <math>C^3 </math>, etc.). If the solution map is C^k, then this implies that the k^th derivative at the origin is in <math>H^s</math>, which roughly corresponds to some iterate (often the k^th iterate) lying in <math>H^s</math>. Weaker than this is Lipschitz continuity, and weaker than that is uniform continuity. Finally, there is just plain old continuity. Interestingly, several examples have emerged recently in which one form of continuity holds but not another; in particular we now have several examples (critical wave maps, low-regularity periodic [[KdV]] and [[mKdV]], [[Benjamin-Ono]], [[QNLW|quasilinear wave equations]], ...) where the solution map is continuous but not uniformly continuous. |

For a survey of LWP and GWP issues, see [[Ta2002]]. | For a survey of LWP and GWP issues, see [[Ta2002]]. | ||

[[Category:Concept]] | [[Category:Concept]] |

## Latest revision as of 11:09, 3 October 2008

By well-posedness in **Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle H^s}**
we generally mean that there exists a unique solution u for some time T for each set of initial data in **Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle H^s}**
, which stays in **Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle H^s}**
and depends continuously on the initial data as a map from

- Existence. For classical (smooth) solutions it is clear what it means for a solution to exist; for rough solutions one usually asks (as a bare minimum) for a solution to exist in the sense of distributions. (One may sometimes have to write the equation in conservation form before one can make sense of a distribution). It is possible for negative regularity solutions to exist if there is a sufficient amount of local smoothing available.
- Uniqueness. There are many different notions of uniqueness. One common one is uniqueness in the class of limits of smooth solutions. Another is uniqueness assuming certain spacetime regularity assumptions on the solution. A stronger form of uniqueness is in the class of all
- Time of existence. In subcritical situations the time of existence typically depends only on the
- Continuity. There are many different ways the solution map can be continuous from
**Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle C^k }**continuity (**Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle C^1 }**,**Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle C^2 }**,**Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle C^3 }**, etc.). If the solution map is C^k, then this implies that the k^th derivative at the origin is in

For a survey of LWP and GWP issues, see Ta2002.