|
|
| (One intermediate revision by one other user not shown) |
| Line 1: |
Line 1: |
| The '''obstacle problem''' is a classic motivating example in the [[mathematical]] study of [[variational inequalities]] and [[free boundary problem]]s. The problem is to find the [[Mechanical equilibrium|equilibrium]] position of an [[Solid mechanics|elastic membrane]] whose boundary is held fixed, and which is constrained to lie above a given obstacle. It is deeply related to the study of [[minimal surfaces]] and the [[capacity of a set]] in [[potential theory]] as well. Applications include the study of fluid filtration in porous media, constrained heating, elasto-plasticity, optimal control, and financial mathematics.<ref name="Caf384">See {{harvnb|Caffarelli|1998|p=384}}.</ref>
| | e - Shop Word - Press is a excellent cart for your on the web shopping organization. Good luck on continue learning how to make a wordpress website. Change the site's theme and you have essentially changed the site's personality. Out of the various designs of photography identified these days, sports photography is preferred most, probably for the enjoyment and enjoyment associated with it. In the most current edition you can customize your retailer layout and display hues and fonts similar to your site or blog. <br><br> |
|
| |
|
| The mathematical formulation of the problem is to seek minimizers of the [[Dirichlet energy]] functional,
| | Thus, it is imperative that you must Hire Word - Press Developers who have the expertise and proficiency in delivering theme integration and customization services. When you write a new post, you'll see a small bar that goes across the text input area. A Wordpress plugin is a software that you can install into your Wordpress site. You can add new functionalities and edit the existing ones to suit your changing business needs. The biggest advantage of using a coupon or deal plugin is that it gives your readers the coupons and deals within minutes of them becoming available. <br><br>It is very easy to install Word - Press blog or website. It was also the very first year that the category of Martial Arts was included in the Parents - Connect nationwide online poll, allowing parents to vote for their favorite San Antonio Martial Arts Academy. Setting Up Your Business Online Using Free Wordpress Websites. To turn the Word - Press Plugin on, click Activate on the far right side of the list. There are plenty of tables that are attached to this particular database. <br><br>Word - Press installation is very easy and hassle free. And, make no mistake,India's Fertility Clinics and IVF specialists are amongst the best in the world,and have been for some time. Websites that do rank highly, do so becaue they use keyword-heavy post titles. So, we have to add our social media sharing buttons in website. If your site does well you can get paid professional designer to create a unique Word - Press theme. <br><br>For those who have virtually any issues with regards to exactly where and tips on how to utilize [http://9ja.in/backup_plugin_401823 wordpress backup], you'll be able to email us on the web page. You will know which of your Word - Press blog posts are attracting more unique visitors which in turn will help you develop better products and services for your customers. By using Word - Press MLM websites or blogs, an online presence for you and your MLM company can be created swiftly and simply. While deciding couple should consider the expertise of the doctor,clinics success rate,the costs of fertility treatment,including fertility tests and IVF costs and overall ones own financial budget. with posts or testimonials updated as they are uploaded to a particular section of the website. Press CTRL and the numbers one to six to choose your option. |
| :<math>J = \int_D |\nabla u|^2 \mathrm{d}x</math>
| |
| in some domain ''<math>D</math>'' where the functions ''<math>u</math>'' represent the vertical displacement of the membrane. In addition to satisfying [[Dirichlet boundary conditions]] corresponding to the fixed boundary of the membrane, the functions ''<math>u</math>'' are in addition constrained to be greater than some given ''obstacle'' function ''<math>\phi</math>''<math>(x)</math>. The solution breaks down into a region where the solution is equal to the obstacle function, known as the ''contact set,'' and a region where the solution is above the obstacle. The interface between the two regions is the ''free boundary.'' | |
| | |
| In general, the solution is continuous and possesses [[Lipschitz continuity|Lipschitz continuous]] first derivatives, but that the solution is generally discontinuous in the second derivatives across the free boundary. The free boundary is characterized as a [[Hölder continuity|Hölder continuous]] surface except at certain singular points, which reside on a smooth manifold.
| |
| | |
| ==Historical note==
| |
| {{quote
| |
| |text=Qualche tempo dopo Stampacchia, partendo sempre dalla sua disequazione variazionale, aperse un nuovo campo di ricerche che si rivelò importante e fecondo. Si tratta di quello che oggi è chiamato il ''problema dell'ostacolo''.<ref>"Some time after Stampacchia, starting again from his variational inequality, opened a new field of research, which revealed itself as impontant and fruitful. It is the now called ''obstacle problem''" (English translation). The [[Italic type]] emphasis is due to the Author himself.</ref>
| |
| |sign=[[Sandro Faedo]]
| |
| |source={{harv|Faedo|1986|p=107}}
| |
| }}
| |
| | |
| ==Motivating problems==
| |
| ===Shape of a membrane above an obstacle===
| |
| The obstacle problem arises when one considers the shape taken by a soap film in a domain whose boundary position is fixed (see [[Plateau's problem]]), with the added constraint that the membrane is constrained to lie above some obstacle ''<math>\phi</math>''<math>(x)</math> in the interior of the domain as well.<ref name="Caf383">See {{harvnb|Caffarelli|1998|p=383}}.</ref> In this case, the energy functional to be minimized is the surface area integral, or
| |
| | |
| :<math>J(u) = \int_D \sqrt{1 + |\nabla u|^2}\,\mathrm{d}x.</math>
| |
| | |
| This problem can be ''linearized'' in the case of small perturbations by expanding the energy functional in terms of its [[Taylor series]] and taking the first term only, in which case the energy to be minimized is the standard [[Dirichlet energy]]
| |
| | |
| :<math>J(u) = \int_D |\nabla u|^2 \mathrm{d}x.</math>
| |
| | |
| ===Optimal stopping===
| |
| The obstacle problem also arises in [[control theory]], specifically the question of finding the optimal stopping time for a [[stochastic process]] with payoff function ''<math>\phi</math>''<math>(x)</math>.
| |
| | |
| In the simple case where the process is [[Brownian motion]], and the process is forced to stop upon exiting the domain, the solution <math>u(x)</math> of the obstacle problem can be characterized as the expected value of the payoff, starting the process at <math>x</math>, if the optimal stopping strategy is followed. The stopping criterion is simply that one should stop upon reaching the ''contact set''.<ref>See the lecture notes by {{harvtxt|Evans|Version 1.2| pp=110–114}}.</ref>
| |
| | |
| ==Formal statement==
| |
| Suppose the following data is given:
| |
| #an [[open set|open]] [[bounded set|bounded]] [[Domain_(mathematics)#Real and complex analysis|domain]] <math>D</math> ⊂ ℝ''<sup>n</sup>'' with [[smooth function|smooth]] [[boundary (topology)|boundary]]
| |
| #a [[smooth function]] <math>f (x)</math> on '''∂'''<math>D</math> (the [[boundary (topology)|boundary]] of <math>D</math>)
| |
| #a smooth function ''<math>\varphi</math>''<math>(x)</math> defined on all of <math>D</math> such that <math>\scriptstyle\varphi|_{\partial D}</math> < <math>f</math>, i.e. the restriction of ''<math>\varphi</math>''<math>(x)</math> to the boundary of <math>D</math> (its [[Trace operator|trace]]) is less than <math>f</math>.
| |
| Then consider the set
| |
| :<math>K = \left\{ u(x) \in H^1(D): u|_{\partial D} = f(x)\text{ and } u \geq \varphi \right\},</math>
| |
| which is a [[closed set|closed]] [[convex set|convex]] [[subset]] of the [[Sobolev space]] of square [[integrable function]]s with square integrable [[weak derivative|weak first derivatives]], containing precisely those functions with the desired boundary conditions which are also above the obstacle. The solution to the obstacle problem is the function which minimizes the energy [[integral]]
| |
| :<math>J(u) = \int_D |\nabla u|^2\mathrm{d}x</math>
| |
| over all functions <math>u(x)</math> belonging to <math>K</math>; the existence of such a minimizer is assured by considerations of [[Hilbert space]] theory.<ref name="Caf383"/><ref>See {{harvnb|Kinderlehrer|Stampacchia|1980|pp=40–41}}.</ref>
| |
| | |
| ==Alternative formulations==
| |
| ===Variational inequality===
| |
| {{See also|Variational inequality}}
| |
| The obstacle problem can be reformulated as a standard problem in the theory of [[variational inequality|variational inequalities]] on [[Hilbert space]]s. Seeking the energy minimizer in the set ''<math>K</math>'' of suitable functions is equivalent to seeking
| |
| | |
| :<math> u \in K</math> '''such that''' <math>\int_D\langle {\nabla u} , {\nabla (v - u)}\rangle \mathrm{d}x \geq 0\qquad\forall v \in K, </math>
| |
| | |
| where ⟨ . , . ⟩ : ℝ''<sup>n</sup>'' × ℝ''<sup>n</sup>'' → ℝ is the ordinary [[scalar product]] in the [[Dimension (mathematics)|finite dimensional]] [[Real number|real]] [[vector space]] ℝ''<sup>n</sup>''. This is a special case of the more general form for variational inequalities on Hilbert spaces, whose solutions are functions ''<math>u</math>'' in some closed convex subset ''<math>K</math>'' of the overall space, such that
| |
| | |
| :<math>a(u,v-u) \geq f(v-u)\qquad\forall v \in K.\,</math>
| |
| | |
| for [[Coercive function|coercive]], [[Real numbers|real-valued]], [[bounded operator|bounded]] [[bilinear form]]s <math>a(u,v)</math> and bounded [[linear functional]]s <math>f(v)</math>.<ref name="KS-chapter2">See {{harvnb|Kinderlehrer|Stampacchia|1980|pp=23–49}}.</ref>
| |
| | |
| ===Least superharmonic function===
| |
| {{See also|Superharmonic function|Viscosity solution}}
| |
| A variational argument shows that, away from the contact set, the solution to the obstacle problem is harmonic. A similar argument which restricts itself to variations that are positive shows that the solution is superharmonic on the contact set. Together, the two arguments imply that the solution is a superharmonic function.<ref name="Caf384"/>
| |
| | |
| In fact, an application of the [[maximum principle]] then shows that the solution to the obstacle problem is the least superharmonic function in the set of admissible functions.<ref name="KS-chapter2"/>
| |
| | |
| ==Regularity properties==
| |
| [[File:Ondulationamelioree.jpg|thumb|Solution of a one-dimensional obstacle problem. Notice how the solution stays superharmonic (concave down in 1-D), and matches derivatives with the obstacle (which is the <math>C^{1,1}</math> condition)]]
| |
| | |
| ===Optimal regularity===
| |
| The solution to the obstacle problem has <math>\scriptstyle C^{1,1}</math> regularity, or [[bounded function|bounded]] [[Derivative#Higher derivatives|second derivative]]s, when the obstacle itself has these properties.<ref>See {{harvnb|Frehse|1972}}.</ref> More precisely, the solution's [[modulus of continuity]] and the modulus of continuity for its [[derivative]] are related to those of the obstacle.
| |
| #If the obstacle <math>\scriptstyle\phi(x)</math> has modulus of continuity <math>\scriptstyle\sigma(r)</math>, that is to say that <math>\scriptstyle|\phi(x) - \phi(y)|\leq \sigma(|x-y|)</math>, then the solution <math>\scriptstyle u(x)</math> has modulus of continuity given by <math>\scriptstyle C\sigma(2r)</math>, where the constant depends only on the domain and not the obstacle.
| |
| #If the obstacle's first derivative has modulus of continuity <math>\scriptstyle\sigma(r)</math>, then the solution's first derivative has modulus of continuity given by <math>\scriptstyle C r \sigma(2r)</math>, where the constant again depends only on the domain.<ref>See {{harvnb|Caffarelli|1998|p=386}}.</ref>
| |
| | |
| ===Level surfaces and the free boundary===
| |
| Subject to a degeneracy condition, level sets of the difference between the solution and the obstacle, <math>\scriptstyle\{x: u(x) -\phi(x) = t\}</math> for <math>\scriptstyle t > 0</math> are <math>\scriptstyle C^{1,\alpha}</math> surfaces. The free boundary, which is the boundary of the set where the solution meets the obstacle, is also <math>\scriptstyle C^{1,\alpha}</math> except on a set of ''singular points,'' which are themselves either isolated or locally contained on a <math>\scriptstyle C^1</math> manifold.<ref>See {{harvnb|Caffarelli|1998|p=394 and 397}}.</ref>
| |
| | |
| ==Generalizations==
| |
| The theory of the obstacle problem is extended to other divergence form uniformly [[elliptic operator]]s,<ref name="KS-chapter2"/> and their associated energy functionals. It can be generalized to degenerate elliptic operators as well.
| |
| | |
| The double obstacle problem, where the function is constrained to lie above one obstacle function and below another, is also of interest.
| |
| | |
| The [[Signorini problem]] is a variant of the obstacle problem, where the energy functional is minimized subject to a constraint which only lives on a surface of one lesser dimension, which includes the ''boundary obstacle problem'', where the constraint operates on the boundary of the domain.
| |
| | |
| The [[parabolic partial differential equation|parabolic]], time-dependent cases of the obstacle problem and its variants are also objects of study.
| |
| | |
| == See also ==
| |
| *[[Barrier option]]
| |
| *[[Minimal surface]]
| |
| *[[Variational inequality]]
| |
| *[[Signorini problem]]
| |
| | |
| ==Notes==
| |
| {{reflist|30em}}
| |
| | |
| ==Historical references==
| |
| | |
| *{{Citation
| |
| | first = Sandro
| |
| | last = Faedo
| |
| | author-link = Sandro Faedo
| |
| | editor-last = Montalenti
| |
| | editor-first = G.
| |
| | editor2-last = Amerio
| |
| | editor2-first = L.
| |
| | editor2-link = Luigi Amerio
| |
| | editor3-last =et al
| |
| | contribution = Leonida Tonelli e la scuola matematica pisana
| |
| | title = Convegno celebrativo del centenario della nascita di Mauro Picone e Leonida Tonelli (6–9 maggio 1985)
| |
| | language = Italian
| |
| | url = http://www.lincei.it/pubblicazioni/catalogo/volume.php?lg=e&rid=32847
| |
| | series = Atti dei Convegni Lincei
| |
| | volume = 77
| |
| | year = 1986
| |
| | pages = 89–109
| |
| | place = Roma
| |
| | publisher = [[Accademia Nazionale dei Lincei]]
| |
| | doi =
| |
| }}. "''Leonida Tonelli and the Pisa mathematical school''" is a survey of the work of Tonelli in [[Pisa]] and his influence on the development of the school, presented at the ''International congress in occasion of the celebration of the centenary of birth of Mauro Picone and Leonida Tonelli'' (held in [[Rome]] on May 6–9, 1985). The Author was one of his pupils and, after his death, held his chair of mathematical analysis at the [[University of Pisa]], becoming dean of the faculty of sciences and then rector: he exerted a strong positive influence on the development of the university.
| |
| | |
| ==References==
| |
| *{{Citation
| |
| | last=Caffarelli
| |
| | first=Luis
| |
| | author-link=Luis Caffarelli
| |
| | date=July 1998
| |
| | title=The obstacle problem revisited
| |
| | journal=The Journal of Fourier Analysis and Applications
| |
| | volume=4
| |
| | issue=4-5
| |
| | pages=383–402
| |
| | url=http://www.springerlink.com/content/u2105854886n6282/
| |
| | doi=10.1007/BF02498216
| |
| | mr = 1658612
| |
| | zbl =0928.49030
| |
| }}
| |
| *{{Citation
| |
| | last=Evans
| |
| | first=Lawrence
| |
| | author-link=Lawrence C. Evans
| |
| | title=An Introduction to Stochastic Differential Equations
| |
| | year= Version 1.2
| |
| | url=http://math.berkeley.edu/~evans/SDE.course.pdf
| |
| | pages=130
| |
| | accessdate=July 11, 2011
| |
| }}. A set of lecture notes surveying "''without too many precise details, the basic theory of probability, random differential equations and some applications''", as the author himself states.
| |
| *{{Citation
| |
| | last=Frehse
| |
| | first=Jens
| |
| | author-link=Jens Frehse
| |
| | title=On the regularity of the solution of a second order variational inequality
| |
| | year=1972
| |
| | periodical=Bolletino della Unione Matematica Italiana
| |
| | series = Serie IV,
| |
| | volume=6
| |
| | issue=
| |
| | pages=312–215
| |
| | id=
| |
| | mr=318650
| |
| | zbl= 0261.49021
| |
| }}.
| |
| *{{Citation
| |
| | last=Friedman
| |
| | first=Avner
| |
| | author-link=Avner Friedman
| |
| | title=Variational principles and free boundary problems
| |
| | publisher=[[John Wiley & Sons]]
| |
| | place=New York
| |
| | isbn=0-471-86849-3
| |
| | year=1982
| |
| | series=Pure and Applied Mathematics
| |
| | pages=ix+710
| |
| | mr= 0679313
| |
| | zbl= 0564.49002
| |
| }}.
| |
| *{{Citation
| |
| | last=Kinderlehrer
| |
| | first=David
| |
| | author-link=David Kinderlehrer
| |
| | last2=Stampacchia
| |
| | first2=Guido
| |
| | author2-link=Guido Stampacchia
| |
| | title=An Introduction to Variational Inequalities and Their Applications
| |
| | series= Pure and Applied Mathematics
| |
| | volume=88
| |
| | publisher=[[Academic Press]]
| |
| | place=New York
| |
| | isbn=0-12-407350-6
| |
| | year=1980
| |
| | pages=xiv+313
| |
| | mr =0567696
| |
| | zbl=0457.35001
| |
| }}
| |
| | |
| == External links ==
| |
| *{{Citation
| |
| | last = Caffarelli
| |
| | first = Luis
| |
| | author-link = Luis Caffarelli
| |
| | title = The Obstacle Problem
| |
| | place =
| |
| | publisher =
| |
| | series = draft from the [[Fermi Lecture]]s
| |
| | year = 1998
| |
| | month= August
| |
| | pages = 45
| |
| | language =
| |
| | url = http://www.ma.utexas.edu/users/combs/obstacle-long.pdf
| |
| | accessdate = July 11, 2011
| |
| }}, delivered by the author at the [[Scuola Normale Superiore]] in 1998.
| |
| | |
| [[Category:Partial differential equations]]
| |
| [[Category:Calculus of variations]]
| |
e - Shop Word - Press is a excellent cart for your on the web shopping organization. Good luck on continue learning how to make a wordpress website. Change the site's theme and you have essentially changed the site's personality. Out of the various designs of photography identified these days, sports photography is preferred most, probably for the enjoyment and enjoyment associated with it. In the most current edition you can customize your retailer layout and display hues and fonts similar to your site or blog.
Thus, it is imperative that you must Hire Word - Press Developers who have the expertise and proficiency in delivering theme integration and customization services. When you write a new post, you'll see a small bar that goes across the text input area. A Wordpress plugin is a software that you can install into your Wordpress site. You can add new functionalities and edit the existing ones to suit your changing business needs. The biggest advantage of using a coupon or deal plugin is that it gives your readers the coupons and deals within minutes of them becoming available.
It is very easy to install Word - Press blog or website. It was also the very first year that the category of Martial Arts was included in the Parents - Connect nationwide online poll, allowing parents to vote for their favorite San Antonio Martial Arts Academy. Setting Up Your Business Online Using Free Wordpress Websites. To turn the Word - Press Plugin on, click Activate on the far right side of the list. There are plenty of tables that are attached to this particular database.
Word - Press installation is very easy and hassle free. And, make no mistake,India's Fertility Clinics and IVF specialists are amongst the best in the world,and have been for some time. Websites that do rank highly, do so becaue they use keyword-heavy post titles. So, we have to add our social media sharing buttons in website. If your site does well you can get paid professional designer to create a unique Word - Press theme.
For those who have virtually any issues with regards to exactly where and tips on how to utilize wordpress backup, you'll be able to email us on the web page. You will know which of your Word - Press blog posts are attracting more unique visitors which in turn will help you develop better products and services for your customers. By using Word - Press MLM websites or blogs, an online presence for you and your MLM company can be created swiftly and simply. While deciding couple should consider the expertise of the doctor,clinics success rate,the costs of fertility treatment,including fertility tests and IVF costs and overall ones own financial budget. with posts or testimonials updated as they are uploaded to a particular section of the website. Press CTRL and the numbers one to six to choose your option.