Introduction to Mathematical Physics/Some mathematical problems and their solution/Boundary, spectral and evolution problems

In order to help the reading of the next chapters, a quick classification of various mathematical problems encountered in the modelization of physical phenomena is proposed in the present chapter. More precisely, the problems considered in this chapter are those that can be reduced to the finding of the solution of a partial differential equation (PDE). Indeed, for many physicists, to provide a model of a phenomenon means to provide a PDE describing this phenomenon. They can be boundary problems, spectral problems, evolution problems. General ideas about the methods of exact and approximate solving of those PDE is also proposedThe reader is supposed to have a good knowledge of the solving of ordinary differential equations. A good reference on this subject is (ma:equad:Arnold83).. This chapter contains numerous references to the "physical" part of this book which justifies the interest given to those mathematical problems. In classical books about PDE, equations are usually classified into three categories: hyperbolic, parabolic and elliptic equation. This classification is connected to the proof of existence and unicity of the solutions rather than to the actual way of obtaining the solution. We present here another classification connected to the way one obtains the solutions: we distinguish mainly boundary problems and evolution problems. Let us introduce boundary problems: proeq (Boundary problem) Find such that: <li> <li> satisfies the boundary conditions. This class of problems can be solved by integral methods (see section chapmethint) and by variational methods (see section chapmetvar). Let us introduce a second class of problems: evolution problems. Initial conditions are usually implied by time variables. One knows at time the function and try to get the values of for greater than . This our second class of problem: probevollin (Evolution problem) Find such that: <li> eqevollinspec <li> satisfies the boundary conditions. <li> satisfies initial conditions. Of course in some problems time can act "like" a space variable. This is the case when shooting problems where should satisfy a condition at and another condition at . The third class of problem (spectral problem) often arises from the solving (see section chapmethspec) of linear evolution problems (evolution problems where the operator is linear): prospec1 (Spectral problem) Find and such that: <li> <li> satisfies the boundary conditions. The difference between boundary problems and evolution problem rely on the different role played by the different independent variables on which depend the unknown function. Space variables usually implies boundary conditions. For instance the elevation of a membrane which is defined for each position in a domain delimited by a boundary should be zero on the boundary. If the equation satisfied by at equilibrium and at position in is: then should be a differential operator acting on space variables which is at least of the second order. Let us now develop some ideas about boundary conditions. In the case of ordinary differential equations (ODE) the unicity of solution is connected to the initial conditions via the Cauchy theorem. For instance to determine fully a solution of an equation: one needs to know both and . Boundary conditions are more subtle, since the space can have a dimension greater than one. Let us consider a 1-D boundary problem. The equation is then an ODE that can be written: eqgenerwrit Boundary conditions are imposed for two (at least) different values of the space variables . Thus the operator should be at least of second order. Let us take . Equation eqgenerwrit is then called Laplace equation\index{Laplace equation}. The elevation of a string obey to such an equation, where is the distribution of weight on the string. A clamped string (see Fig. figcordef) corresponds to the case where the boundary conditions are: Those conditions are called Dirichlet conditions. A sliding string (see Fig. figcordeg) corresponds to the case where the boundary conditions are: Those conditions are called Neumann conditions. Let us recall here the definition of adjoint operator\index{adjoint operator}: The adjoint operator in a Hilbert space of an operator is the operator such that for all and in , one has . figcordef center | frame | The elevation of a clamped string verifies a Laplace equation with Dirichlet boundary conditions. One can show that , the space of functions zero in and is a Hilbert space for the scalar product . (One speaks of Sobolev space, see section secvafor). Moreover, one can show that the adjoint of is : eqadjoimq As , is called self-adjoint . figcordeg center | frame | The elevation of a sliding string verifies a Laplace equation with Neumann boundary conditions. One can also show that the space of function with derivative zero at and at is a Hilbert space for the scalar product: . Using equation eqadjoimq, one shows that is also self-adjoint. The form \index{form (definite)} is negative definite in the case of the clamped string and negative (no definite) in the case of the sliding string. Indeed, in this last case, function makes zero. Let us conclude those remarks about boundary conditions by the compatibility between the solution of a boundary problem and the right hand member ([#References|references]). If there exists a solution for the homogeneous adjoint problem : then a necessary condition that the problem has a solution is that is orthogonal to . Let us assume that is solution of: Then thus If there exists a function such that , then previous equation implies: In the case of the sliding string, function over is solution of the homogeneous adjoint problem. The previous compatibility equation is then: should be of average zero: For the clamped string the homogeneous adjoint problem has no non zero solution.