Automating the formulation and resolution of convex variational problems: applications from image processing to computational mechanics

Abstract : Convex variational problems arise in many fields ranging from image processing to fluid and solid mechanics communities. Interesting applications usually involve non-smooth terms which require well-designed optimization algorithms for their resolution. The present manuscript presents the Python package called fenics_optim built on top of the FEniCS finite element software which enables to automate the formulation and resolution of various convex variational problems. Formulating such a problem relies on FEniCS domain-specific language and the representation of convex functions, in particular non-smooth ones, in the conic programming framework. The discrete formulation of the corresponding optimization problems hinges on the finite element discretization capabilities offered by FEniCS while their numerical resolution is carried out by the interior-point solver Mosek. Through various illustrative examples, we show that convex optimization problems can be formulated using only a few lines of code, discretized in a very simple manner and solved extremely efficiently.
Document type :
Preprints, Working Papers, ...
Complete list of metadatas

Cited literature [48 references]  Display  Hide  Download

https://hal-enpc.archives-ouvertes.fr/hal-02388646
Contributor : Jérémy Bleyer <>
Submitted on : Monday, December 2, 2019 - 9:16:06 AM
Last modification on : Wednesday, December 4, 2019 - 1:39:41 AM

File

paper.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Jeremy Bleyer. Automating the formulation and resolution of convex variational problems: applications from image processing to computational mechanics. 2019. ⟨hal-02388646⟩

Share

Metrics

Record views

17

Files downloads

34