This first post will be dedicated to introduce a math seminar about some classical and new results in PDEs studied in the Universidad Nacional de Colombia in Medellín, this is a joint work with Alexander Muñoz and Cristian Chica.
The aim of this seminar is study and solve some problems related to PDEs. To achieve this goal it is necessary to provide ourselves with many tools from PDE theory, functional analysis, measure theory, stochastic processes and so forth.
The idea is to study a very specific type of operators called elliptic operators, the most important example of these operators is the laplacian. The laplacian of a function ,twice differentiable, is given by:
This operator appears in many contexts and it has a lot of important (and also beautiful) properties.
To illustrate some of this properties, consider a holomorphic function in a domain , it is easy to see that (using the Cauchy-Riemann equations), this conclusion also holds for the imaginary part of . Conversely, if is a real valued function defined in and is simply connected, then there exist such that is holomorphic and .
A function that satisfies is called harmonic, in this particular example and are both harmonic functions, moreover a simple linear combination of them (over the complex numbers) satisfies an extra condition of analyticity, when these conditions are fullfilled, and are called harmonic conjugates.
Now let be a bounded harmonic function, since is simply connected there exist such that is analytic. Given that is bounded, the analytic function is also bounded because . Applying Liouville’s theorem we conclude that is a constant function therefore is constant too.
We have proved that if a harmonic function in is bounded then it must be constant. Actually, this result holds for any harmonic function defined in .
The amazing properties of the solutions of the homogeneus laplace equation suggest us that the harmonic functions are a good candidate to play the role of the holomorphic functions in .
The solutions of the inhomogeneus laplace equation also have a lot of interesting properties, for instance let be a simply connected domain in , let be a continuous function and let be a continuous function, consider:
Suppose that there exist two continuous solutions of the problem (2), and . Let us define , cleary and on . Since is simply connected there exist such that is holomorphic in , by our hypotheses is clear that is pure imaginary on , then the holomorphic functions and have modulus on the boundary so using the maximum modulus principle and for every . Therefore since is continuous, has to be identically 0 in implying that the solution of our problem is unique.
These proofs can be performed without these amount of hypotheses about the domain (simply connectedness) or about the regularity of the functions (analicity) and in higher dimensions developing the theory of elliptic operators.
I present these results as a motivation for our future work. Hence, if these results are a small part of our future investigation, you can imagine what kind of amazing stuff we can undestand studying more about the PDE theory.
To achieve these goals I propose the following (sketch of) work scheme:
Properties elliptic operators
For this part the plan is study Alex’s thesis to understand the behaviour of the harmonic functions and the solution of elliptic equations in general. A stardand reference for this part is the classic book of Gilbarg and Trudinger.
Spectrum elliptic operators and linear equations
We can study this part from some works from students of our university and also I can teach this part using the results that I had learned from my previous courses. A good reference to study linear PDEs is the PDE course of the professor Fernando Morales.
Functional or modelling spaces
In this part we are going to study the modelling spaces where the solutions of the PDEs naturally appears. For example we are going to study Sobolev spaces, Sobolev embeddings and so forth in this part. Two important references for this part are the books of PDE of Evans and the book of Functional Analysis of Brezis
Variational and topological methods in linear and nonlinear analysis
In this part we are going to study how can we solve PDEs using energy functionals, to do that is necessary to learn more about nonlinear analysis and also about the topology of the level sets of these functionals (Morse theory), also sometimes is necessary to distinguish solutions of a PDE that come from different methods, in this part we are going to study how can we characterize or identify these solutions using topological and variational methods. Some good references for this part are the books of Chang about Morse theory and nonlinear analysis methods, also the Kesavan’s book of nonlinear analysis and a book about minmax methods of Rabinowitz.
I am attentive to your comments!!.
Note: Many of the references of the seminar like a student thesis may not be available online so if somebody feels that needs a copy of that thesis to understand this material I will be glad to share them.