Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.
In this thesis we study calculus of variations for differential forms. In the first part we develop the framework of direct methods of calculus of variations in the context of minimization problems for functionals of one or several differential forms of the type, We introduce the appropriate convexity notions in each case, called \emph{ext. polyconvexity}, \emph{ext. quasiconvexity} and \emph{ext. one convexity} for functionals of the type \emph{vectorial ext. polyconvexity}, \emph{vectorial ext. quasiconvexity} and \emph{vectorial ext. one convexity} for functionals of the type and \emph{ext-int. polyconvexity}, \emph{ext-int. quasiconvexity} and \emph{ext-int. one convexity} for functionals of the type We study their interrelationships and the connections of these convexity notions with the classical notion of polyconvexity, quasiconvexity and rank one convexity in classical vectorial calculus of variations. We also study weak lower semicontinuity and weak continuity of these functionals in appropriate spaces, address coercivity issues and obtain existence theorems for minimization problems for functionals of one differential forms.\smallskip In the second part we study different boundary value problems for linear, semilinear and quasilinear Maxwell type operator for differential forms. We study existence and derive interior regularity and boundary regularity estimates for the linear Maxwell operator with different boundary conditions and the related Hodge Laplacian type system with appropriate boundary data. We also deduce, as a corollary, some existence and regularity results for div-curl type first order systems. We also deduce existence results for semilinear boundary value problems \begin{align*} \left\lbrace \begin{gathered} \delta ( A (x) ( d\omega ) ) + f( \omega ) = \lambda\omega \text{ in } \Omega, \ \nu \wedge \omega = 0 \text{ on } \partial\Omega. \end{gathered} \right. \end{align*} Lastly, we briefly discuss existence results for quasilinear Maxwell operator \begin{align*} \delta ( A ( x, d \omega ) ) = f , \end{align*} with different boundary data.
Annalisa Buffa, Pablo Antolin Sanchez, Giuliano Guarino
Le Chen, Cheuk Yin Lee, David Jean-Michel Candil