Showing 1–50 of 110 results for author: Martín, F

Tree-based adaptive finite element methods for deformable image registration

Authors: Nicolás A. Barnafi, Alberto F. Martın, Ricardo Ruiz-Baier

Abstract: In this work we propose an adaptive Finite Element Method (FEM) formulation for the Deformable Image Registration problem (DIR) together with a residual-based a posteriori error estimator, whose efficiency and reliability are theoretically established. This estimator is used to guide Adaptive Mesh Refinement and coarsening (AMR). The nonlinear Euler-Lagrange equations associated with the minimisat… ▽ More In this work we propose an adaptive Finite Element Method (FEM) formulation for the Deformable Image Registration problem (DIR) together with a residual-based a posteriori error estimator, whose efficiency and reliability are theoretically established. This estimator is used to guide Adaptive Mesh Refinement and coarsening (AMR). The nonlinear Euler-Lagrange equations associated with the minimisation of the relevant functional are solved with a pseudo time-stepping fixed-point scheme which is further accelerated using Anderson Acceleration (AA). The efficient implementation of these solvers relies on an efficient adaptive mesh data structure based on forests-of-octrees endowed with space-filling-curves. Several numerical results illustrate the performance of the proposed methods applied to adaptive DIR in application-oriented problems. △ Less

Submitted 18 June, 2025; originally announced June 2025.

MSC Class: 65N50; 65N15; 74B20; 74N25

Non-augmented velocity-vorticity-pressure formulation for the Navier--Stokes--Brinkman--Forchheimer problem

Authors: Santiago Badia, Carsten Carstensen, Alberto F. Martin, Ricardo Ruiz-Baier, Segundo Villa-Fuentes

Abstract: The flow of incompressible fluid in highly permeable porous media in vorticity - velocity - Bernoulli pressure form leads to a double saddle-point problem in the Navier--Stokes--Brinkman--Forchheimer equations. The paper establishes, for small sources, the existence of solutions on the continuous and discrete level of lowest-order piecewise divergence-free Crouzeix--Raviart finite elements. The vo… ▽ More The flow of incompressible fluid in highly permeable porous media in vorticity - velocity - Bernoulli pressure form leads to a double saddle-point problem in the Navier--Stokes--Brinkman--Forchheimer equations. The paper establishes, for small sources, the existence of solutions on the continuous and discrete level of lowest-order piecewise divergence-free Crouzeix--Raviart finite elements. The vorticity employs a vector version of the pressure space with normal and tangential velocity jump penalisation terms. A simple Raviart--Thomas interpolant leads to pressure-robust a priori error estimates. An explicit residual-based a posteriori error estimate allows for efficient and reliable a posteriori error control. The efficiency for the Forchheimer nonlinearity requires a novel discrete inequality of independent interest. The implementation is based upon a light-weight forest-of-trees data structure handled by a highly parallel set of adaptive {mesh refining} algorithms. Numerical simulations reveal robustness of the a posteriori error estimates and improved convergence rates by adaptive mesh-refining. △ Less

Submitted 12 June, 2025; originally announced June 2025.

Alg{è}bres diff{é}rentielles de formes quasi-Jacobi d'indice nul

Authors: François Dumas, François Martin, Emmanuel Royer

Abstract: The notion of double depth associated with quasi-Jacobi forms allows distinguishing,within the algebra of quasi-Jacobi singular forms of index zero, certain significant subalgebras (modular-type forms, elliptic-type forms, Jacobi forms). We study the stability of these subalgebras under the derivations of the algebra of quasi-Jacobi singular forms of index zero and through certain sequences of bi… ▽ More The notion of double depth associated with quasi-Jacobi forms allows distinguishing,within the algebra of quasi-Jacobi singular forms of index zero, certain significant subalgebras (modular-type forms, elliptic-type forms, Jacobi forms). We study the stability of these subalgebras under the derivations of the algebra of quasi-Jacobi singular forms of index zero and through certain sequences of bidifferential operators constituting analogs of Rankin-Cohen brackets or transvectants. △ Less

Submitted 26 March, 2025; originally announced March 2025.

Comments: in French language

Generating Shrinkers by Mean Curvature Flow

Authors: David Hoffman, Francisco Martin, Brian White

Abstract: We prove existence for many examples of shrinkers by producing compact, smoothly embedded surfaces that, under mean curvature flow, develop singularities at which the shrinkers occur as blowups. We prove existence for many examples of shrinkers by producing compact, smoothly embedded surfaces that, under mean curvature flow, develop singularities at which the shrinkers occur as blowups. △ Less

Submitted 14 March, 2025; v1 submitted 27 February, 2025; originally announced February 2025.

Comments: 47 pages, 9 figures. The new version (March 12, 2025) contains additional citations

MSC Class: 53E10

Unfitted finite element interpolated neural networks

Authors: Wei Li, Alberto F. Martín, Santiago Badia

Abstract: We present a novel approach that integrates unfitted finite element methods and neural networks to approximate partial differential equations on complex geometries. Easy-to-generate background meshes (e.g., a simple Cartesian mesh) that cut the domain boundary (i.e., they do not conform to it) are used to build suitable trial and test finite element spaces. The method seeks a neural network that,… ▽ More We present a novel approach that integrates unfitted finite element methods and neural networks to approximate partial differential equations on complex geometries. Easy-to-generate background meshes (e.g., a simple Cartesian mesh) that cut the domain boundary (i.e., they do not conform to it) are used to build suitable trial and test finite element spaces. The method seeks a neural network that, when interpolated onto the trial space, minimises a discrete norm of the weak residual functional on the test space associated to the equation. As with unfitted finite elements, essential boundary conditions are weakly imposed by Nitsche's method. The method is robust to variations in Nitsche coefficient values, and to small cut cells. We experimentally demonstrate the method's effectiveness in solving both forward and inverse problems across various 2D and 3D complex geometries, including those defined by implicit level-set functions and explicit stereolithography meshes. For forward problems with smooth analytical solutions, the trained neural networks achieve several orders of magnitude smaller $H^1$ errors compared to their interpolation counterparts. These interpolations also maintain expected $h$- and $p$-convergence rates. Using the same amount of training points, the method is faster than standard PINNs (on both GPU and CPU architectures) while achieving similar or superior accuracy. Moreover, using a discrete dual norm of the residual (achieved by cut cell stabilisation) remarkably accelerates neural network training and further enhances robustness to the choice of Nitsche coefficient values. The experiments also show the method's high accuracy and reliability in solving inverse problems, even with incomplete observations. △ Less

Submitted 10 June, 2025; v1 submitted 29 January, 2025; originally announced January 2025.

Characterization of subfields of adelic algebras by a product formula

Authors: Luis Manuel Navas Vicente, Francisco J. Plaza Martin

Abstract: We consider projective, irreducible, non-singular curves over an algebraically closed field $\k$. A cover $Y \to X$ of such curves corresponds to an extension $Ω/Σ$ of their function fields and yields an isomorphism $\A_{Y} \simeq \A_{X} \otimes_Σ Ω$ of their geometric adele rings. The primitive element theorem shows that $\A_{Y}$ is a quotient of $\A_{X}[T]$ by a polynomial. In general, we may… ▽ More We consider projective, irreducible, non-singular curves over an algebraically closed field $\k$. A cover $Y \to X$ of such curves corresponds to an extension $Ω/Σ$ of their function fields and yields an isomorphism $\A_{Y} \simeq \A_{X} \otimes_Σ Ω$ of their geometric adele rings. The primitive element theorem shows that $\A_{Y}$ is a quotient of $\A_{X}[T]$ by a polynomial. In general, we may look at quotient algebras $\AXp{\p} = \A_{X}[T]/(\p(T))$ where $\p(T) \in \A_{X}[T]$ is monic and separable over $\A_{X}$, and try to characterize the field extensions $Ω/Σ$ lying in $\AXp{\p}$ which arise from covers as above. We achieve this topologically, namely, as those $Ω$ which embed discretely in $\AXp{\p}$, and in terms of an additive analog of the product formula for global fields, a result which is reminiscent of classical work of Artin-Whaples and Iwasawa. The technical machinery requires studying which topology on $\AXp{\p}$ is natural for this problem. Local compactness no longer holds, but instead we have linear topologies defined by commensurability of $\k$-subspaces which coincide with the restricted direct product topology with respect to integral closures. The content function is given as an index measuring the discrepancy in commensurable subspaces. △ Less

Submitted 8 January, 2025; originally announced January 2025.

MSC Class: 14H05 (Primary); 12J20; 13B02; 13A18; 13J99 (Secondary)

Cyclic covers of an algebraic curve from an adelic viewpoint

Authors: Luis Manuel Navas Vicente, Francisco J. Plaza Martin

Abstract: We propose an algebraic method for the classification of branched Galois covers of a curve $X$ focused on studying Galois ring extensions of its geometric adele ring $\A_{X}$. As an application, we deal with cyclic covers; namely, we determine when a given cyclic ring extension of $\A_{X}$ comes from a corresponding cover of curves $Y \to X$, which is reminiscent of a Grunwald-Wang problem, and al… ▽ More We propose an algebraic method for the classification of branched Galois covers of a curve $X$ focused on studying Galois ring extensions of its geometric adele ring $\A_{X}$. As an application, we deal with cyclic covers; namely, we determine when a given cyclic ring extension of $\A_{X}$ comes from a corresponding cover of curves $Y \to X$, which is reminiscent of a Grunwald-Wang problem, and also determine when two covers yield isomorphic ring extensions, which is known in the literature as an equivalence problem. This completely algebraic method permits us to recover ramification, certain analytic data such as rotation numbers, and enumeration formulas for covers. △ Less

Submitted 8 January, 2025; originally announced January 2025.

MSC Class: 14H30 (Primary) 13B05 14H05; 11R56 (Secondary)

Complete translating solitons in Lorentzian products

Authors: Leonor Ferrer, Francisco Martín, Miguel Sánchez

Abstract: Obstructions to the existence of spacelike solitons depending on the growth of the mean curvature $H$ are proved for Lorentzian products $(M\times \mathbb{R}, \bar g=g_M-dt^2)$ with lowerly bounded curvature. The role of these bounds for both the completeness of the soliton $Σ$ and the applicability of the Omori-Yau principle for the drift Laplacian, is underlined. The differences between bounds i… ▽ More Obstructions to the existence of spacelike solitons depending on the growth of the mean curvature $H$ are proved for Lorentzian products $(M\times \mathbb{R}, \bar g=g_M-dt^2)$ with lowerly bounded curvature. The role of these bounds for both the completeness of the soliton $Σ$ and the applicability of the Omori-Yau principle for the drift Laplacian, is underlined. The differences between bounds in terms of the intrinsic distance $g$ of the soliton and the distance $g_M$ in the ambiance are analyzed, and lead to a revision of classic results on completeness for spacelike submanifolds. In particular, primary bounds, including affine $g$-bounds and logarithmic $g_M$-bounds, become enough to ensure both completeness and Omori-Yau's. Therefore, they become an obstruction to the existence of solitons when the ambiance Ricci is non-negative. These results, illustrated with a detailed example, deepen the uniqueness of solutions of elliptic equations which are not uniformly elliptic, providing insights into the interplay between mean curvature growth and the global properties of this geometric flow. △ Less

Submitted 13 December, 2024; originally announced December 2024.

Comments: 37 pages, 2 figures

MSC Class: 53E10; 53C50; 53C42; 53C21

Classification of Semigraphical Translators

Authors: Francisco Martín, Mariel Sáez, Raphael Tsiamis, Brian White

Abstract: We complete the classification of semigraphical translators for mean curvature flow in $\mathbb{R}^3$ that was initiated by Hoffman-Martín-White. Specifically, we show that there is no solution to the translator equation on the upper half-plane with alternating positive and negative infinite boundary values, and we prove the uniqueness of pitchfork and helicoid translators. The proofs use Morse-Ra… ▽ More We complete the classification of semigraphical translators for mean curvature flow in $\mathbb{R}^3$ that was initiated by Hoffman-Martín-White. Specifically, we show that there is no solution to the translator equation on the upper half-plane with alternating positive and negative infinite boundary values, and we prove the uniqueness of pitchfork and helicoid translators. The proofs use Morse-Radó theory for translators and an angular maximum principle. △ Less

Submitted 25 November, 2024; originally announced November 2024.

Comments: 13 pages, 2 figures. This paper supersedes the preprint arXiv:2310.06980

MSC Class: Primary 53E10; 53C21; 53C42

Compatible finite element interpolated neural networks

Authors: Santiago Badia, Wei Li, Alberto F. Martín

Abstract: We extend the finite element interpolated neural network (FEINN) framework from partial differential equations (PDEs) with weak solutions in $H^1$ to PDEs with weak solutions in $H(\textbf{curl})$ or $H(\textbf{div})$. To this end, we consider interpolation trial spaces that satisfy the de Rham Hilbert subcomplex, providing stable and structure-preserving neural network discretisations for a wide… ▽ More We extend the finite element interpolated neural network (FEINN) framework from partial differential equations (PDEs) with weak solutions in $H^1$ to PDEs with weak solutions in $H(\textbf{curl})$ or $H(\textbf{div})$. To this end, we consider interpolation trial spaces that satisfy the de Rham Hilbert subcomplex, providing stable and structure-preserving neural network discretisations for a wide variety of PDEs. This approach, coined compatible FEINNs, has been used to accurately approximate the $H(\textbf{curl})$ inner product. We numerically observe that the trained network outperforms finite element solutions by several orders of magnitude for smooth analytical solutions. Furthermore, to showcase the versatility of the method, we demonstrate that compatible FEINNs achieve high accuracy in solving surface PDEs such as the Darcy equation on a sphere. Additionally, the framework can integrate adaptive mesh refinements to effectively solve problems with localised features. We use an adaptive training strategy to train the network on a sequence of progressively adapted meshes. Finally, we compare compatible FEINNs with the adjoint neural network method for solving inverse problems. We consider a one-loop algorithm that trains the neural networks for unknowns and missing parameters using a loss function that includes PDE residual and data misfit terms. The algorithm is applied to identify space-varying physical parameters for the $H(\textbf{curl})$ model problem from partial or noisy observations. We find that compatible FEINNs achieve accuracy and robustness comparable to, if not exceeding, the adjoint method in these scenarios. △ Less

Submitted 13 March, 2025; v1 submitted 7 November, 2024; originally announced November 2024.

Differential algebras of quasi-Jacobi forms of index zero

Authors: François Dumas, François Martin, Emmanuel Royer

Abstract: The notion of double depth associated with quasi-Jacobi forms allows distinguishing, within the algebra of quasi-Jacobi singular forms of index zero, certain significant subalgebras (modular-type forms, elliptic-type forms, Jacobi forms). We study the stability of these subalgebras under the derivations of this algebra and through certain sequences of bidifferential operators constituting analogs… ▽ More The notion of double depth associated with quasi-Jacobi forms allows distinguishing, within the algebra of quasi-Jacobi singular forms of index zero, certain significant subalgebras (modular-type forms, elliptic-type forms, Jacobi forms). We study the stability of these subalgebras under the derivations of this algebra and through certain sequences of bidifferential operators constituting analogs of Rankin-Cohen brackets or transvectants △ Less

Submitted 27 March, 2025; v1 submitted 15 October, 2024; originally announced October 2024.

Well-posedness and long-term behaviour of buffered flows in infinite networks

Authors: Alexander Dobrick, Florian G. Martin

Abstract: We consider a transport problem on an infinite metric graph and discuss its well-posedness and long-term behaviour under the condition that the mass flow is buffered in at least one of the vertices. In order to show the well-posedness of the problem, we employ the theory of $C_0$-semigroups and prove a Desch--Schappacher type perturbation theorem for dispersive semigroups. Investigating the long-t… ▽ More We consider a transport problem on an infinite metric graph and discuss its well-posedness and long-term behaviour under the condition that the mass flow is buffered in at least one of the vertices. In order to show the well-posedness of the problem, we employ the theory of $C_0$-semigroups and prove a Desch--Schappacher type perturbation theorem for dispersive semigroups. Investigating the long-term behaviour of the system, we prove irreducibility of the semigroup under the assumption that the underlying graph is strongly connected and an additional spectral condition on its adjacency matrix. Moreover, we employ recent results about the convergence of stochastic semigroups that dominate a kernel operator to prove that the solutions converge strongly to equilibrium. Finally, we prove that the solutions converge uniformly under more restrictive assumptions. △ Less

Submitted 9 May, 2025; v1 submitted 22 April, 2024; originally announced April 2024.

Comments: Some stuff changed

MSC Class: 47D06; 35R02; 47D07; 60K20

Adaptive Finite Element Interpolated Neural Networks

Authors: Santiago Badia, Wei Li, Alberto F. Martín

Abstract: The use of neural networks to approximate partial differential equations (PDEs) has gained significant attention in recent years. However, the approximation of PDEs with localised phenomena, e.g., sharp gradients and singularities, remains a challenge, due to ill-defined cost functions in terms of pointwise residual sampling or poor numerical integration. In this work, we introduce $h$-adaptive fi… ▽ More The use of neural networks to approximate partial differential equations (PDEs) has gained significant attention in recent years. However, the approximation of PDEs with localised phenomena, e.g., sharp gradients and singularities, remains a challenge, due to ill-defined cost functions in terms of pointwise residual sampling or poor numerical integration. In this work, we introduce $h$-adaptive finite element interpolated neural networks. The method relies on the interpolation of a neural network onto a finite element space that is gradually adapted to the solution during the training process to equidistribute a posteriori error indicator. The use of adaptive interpolation is essential in preserving the non-linear approximation capabilities of the neural networks to effectively tackle problems with localised features. The training relies on a gradient-based optimisation of a loss function based on the (dual) norm of the finite element residual of the interpolated neural network. Automatic mesh adaptation (i.e., refinement and coarsening) is performed based on a posteriori error indicators till a certain level of accuracy is reached. The proposed methodology can be applied to indefinite and nonsymmetric problems. We carry out a detailed numerical analysis of the scheme and prove several a priori error estimates, depending on the expressiveness of the neural network compared to the interpolation mesh. Our numerical experiments confirm the effectiveness of the method in capturing sharp gradients and singularities for forward and inverse PDE problems, both in 2D and 3D scenarios. We also show that the proposed preconditioning strategy (i.e., using a dual residual norm of the residual as a cost function) enhances training robustness and accelerates convergence. △ Less

Submitted 28 January, 2025; v1 submitted 20 March, 2024; originally announced March 2024.

Helmholtz preconditioning for the compressible Euler equations using mixed finite elements with Lorenz staggering

Authors: David Lee, Alberto F. Martín, Kieran Ricardo

Abstract: Implicit solvers for atmospheric models are often accelerated via the solution of a preconditioned system. For block preconditioners this typically involves the factorisation of the (approximate) Jacobian resulting from linearization of the coupled system into a Helmholtz equation for some function of the pressure. Here we present a preconditioner for the compressible Euler equations with a flux f… ▽ More Implicit solvers for atmospheric models are often accelerated via the solution of a preconditioned system. For block preconditioners this typically involves the factorisation of the (approximate) Jacobian resulting from linearization of the coupled system into a Helmholtz equation for some function of the pressure. Here we present a preconditioner for the compressible Euler equations with a flux form representation of the potential temperature on the Lorenz grid using mixed finite elements. This formulation allows for spatial discretisations that conserve both energy and potential temperature variance. By introducing the dry thermodynamic entropy as an auxiliary variable for the solution of the algebraic system, the resulting preconditioner is shown to have a similar block structure to an existing preconditioner for the material form transport of potential temperature on the Charney-Phillips grid. This new formulation is also shown to be more efficient and stable than both the material form transport of potential temperature on the Charney-Phillips grid, and a previous Helmholtz preconditioner for the flux form transport of density weighted potential temperature on the Lorenz grid for a 1D thermal bubble configuration. The new preconditioner is further verified against standard two dimensional test cases in a vertical slice geometry. △ Less

Submitted 2 October, 2024; v1 submitted 6 March, 2024; originally announced March 2024.

Kummer theory over the geometric adeles of an algebraic curve

Authors: Luis Manuel Navas Vicente, Francisco J. Plaza Martín, Álvaro Serrano Holgado

Abstract: Our goal is to give a purely algebraic characterization of finite abelian Galois covers of a complete, irreducible, non-singular curve $X$ over an algebraically closed field $\k$. To achieve this, we make use of the Galois theory of commutative rings, in particular the Kummer theory of the ring of geometric adeles $\A_{X}$. After we establish the triviality of the Picard group $\Pic(\A_{X})$, th… ▽ More Our goal is to give a purely algebraic characterization of finite abelian Galois covers of a complete, irreducible, non-singular curve $X$ over an algebraically closed field $\k$. To achieve this, we make use of the Galois theory of commutative rings, in particular the Kummer theory of the ring of geometric adeles $\A_{X}$. After we establish the triviality of the Picard group $\Pic(\A_{X})$, the general Kummer sequence for Kummerian rings leads to a characterization of $p$-cyclic extensions of $\A_{X}$ in terms of the closed points of $X$. This is an example of a general local-global principle which we use throughout, allowing us to avoid needing the full spectrum of $\A_{X}$. We prove the existence of primitive elements in $p$-cyclic extensions of $\A_{X}$, which yields explicit invariants lying in $\bigoplus_{x \in X} \Zp$ (summing over closed points) classifying them. From a group-theoretical point of view, we give a complete characterization of which $p$-cyclic subgroups of the full automorphism group of a given $p$-cyclic extension of $\A_{X}$ endow it with a Galois structure. The result is a stratification by the algebraic ramification of the extension modulo a notion of conjugation or twisting of Galois structures, yielding other invariants, in the form of finite tuples over ramified points, which are related to the previous ones in terms of the local Kummer symbols. With these results in hand, a forthcoming paper will identify, inside the set of $p$-cyclic extensions of $\A_{X}$, those arising from extensions of the function field of the curve $X$, eventually leading to the algebraic characterization of abelian covers of $X$. △ Less

Submitted 20 October, 2023; originally announced October 2023.

MSC Class: 13B05 (Primary) 14H05; 11R56; 11R58 (Secondary)

Uniqueness of Semigraphical Translators

Authors: Francisco Martín, Mariel Sáez, Raphael Tsiamis

Abstract: We prove a conjecture by Hoffman, White, and the first author regarding the uniqueness of pitchfork and helicoid translators of the mean curvature flow in $\mathbb{R}^3$. We employ an arc-counting argument motivated by Morse-Radó theory for translators and a rotational maximum principle. Applications to the classification of semigraphical translators in $\mathbb{R}^3$ and their limits are discusse… ▽ More We prove a conjecture by Hoffman, White, and the first author regarding the uniqueness of pitchfork and helicoid translators of the mean curvature flow in $\mathbb{R}^3$. We employ an arc-counting argument motivated by Morse-Radó theory for translators and a rotational maximum principle. Applications to the classification of semigraphical translators in $\mathbb{R}^3$ and their limits are discussed, strengthening compactness results of the first author with Hoffman-White and with Gama-Moller. △ Less

Submitted 27 November, 2024; v1 submitted 10 October, 2023; originally announced October 2023.

Comments: This paper has been superseded by the more recent preprint, available as arXiv:2411.16889

MSC Class: 53E10; 53C21; 53C42

Translating Annuli for Mean Curvature Flow

Authors: David Hoffman, Francisco Martín, Brian White

Abstract: We construct a family of complete, properly embedded, annular translators $M$ such that $M$ lies in a slab and is invariant under reflections in the vertical coordinate planes. Each translator in the family is asymptotic as $z\to -\infty$ to four vertical planes $\{y= \pm b\}$ and $\{y= \pm B\}$, where $0<b \le B < \infty$. We call $b$ and $B$ the inner width and the (outer) width of the translato… ▽ More We construct a family of complete, properly embedded, annular translators $M$ such that $M$ lies in a slab and is invariant under reflections in the vertical coordinate planes. Each translator in the family is asymptotic as $z\to -\infty$ to four vertical planes $\{y= \pm b\}$ and $\{y= \pm B\}$, where $0<b \le B < \infty$. We call $b$ and $B$ the inner width and the (outer) width of the translator. We show that for each $b \ge π/2$ and each $s>0$, there is a translator in the family with inner width $b$ and with necksize $s$. (We also show that there are no translators with inner width $<π/2$ having the properties of the examples we construct.) △ Less

Submitted 30 July, 2024; v1 submitted 4 August, 2023; originally announced August 2023.

Comments: 86 pages, 9 figures. To appear in Advances In Mathematics

MSC Class: 53C44; 53C21; 53C42

Robust finite element methods and solvers for the Biot--Brinkman equations in vorticity form

Authors: Ruben Caraballo, Chansophea Wathanak In, Alberto F. Martín, Ricardo Ruiz-Baier

Abstract: In this paper, we propose a new formulation and a suitable finite element method for the steady coupling of viscous flow in deformable porous media using divergence-conforming filtration fluxes. The proposed method is based on the use of parameter-weighted spaces, which allows for a more accurate and robust analysis of the continuous and discrete problems. Furthermore, we conduct a solvability ana… ▽ More In this paper, we propose a new formulation and a suitable finite element method for the steady coupling of viscous flow in deformable porous media using divergence-conforming filtration fluxes. The proposed method is based on the use of parameter-weighted spaces, which allows for a more accurate and robust analysis of the continuous and discrete problems. Furthermore, we conduct a solvability analysis of the proposed method and derive optimal error estimates in appropriate norms. These error estimates are shown to be robust in the case of large Lamé parameters and small permeability and storativity coefficients. To illustrate the effectiveness of the proposed method, we provide a few representative numerical examples, including convergence verification, poroelastic channel flow simulation, and test the robustness of block-diagonal preconditioners with respect to model parameters. △ Less

Submitted 15 November, 2023; v1 submitted 4 July, 2023; originally announced July 2023.

MSC Class: 65N30; 65N15; 76S05; 35Q74

Efficient and reliable divergence-conforming methods for an elasticity-poroelasticity interface problem

Authors: S. Badia, M. Hornkjøl, A. Khan, K. -A. Mardal, A. F. Martín, R. Ruiz-Baier

Abstract: We present a finite element discretisation to model the interaction between a poroelastic structure and an elastic medium. The consolidation problem considers fully coupled deformations across an interface, ensuring continuity of displacement and total traction, as well as no-flux for the fluid phase. Our formulation of the poroelasticity equations incorporates displacement, fluid pressure, and to… ▽ More We present a finite element discretisation to model the interaction between a poroelastic structure and an elastic medium. The consolidation problem considers fully coupled deformations across an interface, ensuring continuity of displacement and total traction, as well as no-flux for the fluid phase. Our formulation of the poroelasticity equations incorporates displacement, fluid pressure, and total pressure, while the elasticity equations adopt a displacement-pressure formulation. Notably, the transmission conditions at the interface are enforced without the need for Lagrange multipliers. We demonstrate the stability and convergence of the divergence-conforming finite element method across various polynomial degrees. The a priori error bounds remain robust, even when considering large variations in intricate model parameters such as Lamé constants, permeability, and storativity coefficient. To enhance computational efficiency and reliability, we develop residual-based a posteriori error estimators that are independent of the aforementioned coefficients. Additionally, we devise parameter-robust and optimal block diagonal preconditioners. Through numerical examples, including adaptive scenarios, we illustrate the scheme's properties such as convergence and parameter robustness. △ Less

Submitted 19 June, 2023; originally announced June 2023.

Finite element interpolated neural networks for solving forward and inverse problems

Authors: Santiago Badia, Wei Li, Alberto F. Martín

Abstract: We propose a general framework for solving forward and inverse problems constrained by partial differential equations, where we interpolate neural networks onto finite element spaces to represent the (partial) unknowns. The framework overcomes the challenges related to the imposition of boundary conditions, the choice of collocation points in physics-informed neural networks, and the integration o… ▽ More We propose a general framework for solving forward and inverse problems constrained by partial differential equations, where we interpolate neural networks onto finite element spaces to represent the (partial) unknowns. The framework overcomes the challenges related to the imposition of boundary conditions, the choice of collocation points in physics-informed neural networks, and the integration of variational physics-informed neural networks. A numerical experiment set confirms the framework's capability of handling various forward and inverse problems. In particular, the trained neural network generalises well for smooth problems, beating finite element solutions by some orders of magnitude. We finally propose an effective one-loop solver with an initial data fitting step (to obtain a cheap initialisation) to solve inverse problems. △ Less

Submitted 9 October, 2023; v1 submitted 9 June, 2023; originally announced June 2023.

Annuloids and $Δ$-wings

Authors: D. Hoffman, F. Martin, B. White

Abstract: In this paper, we describe new annular examples of complete translating solitons for the mean curvature flow and how they are related to a family of translating graphs, the $Δ$-wings. In addition, we will prove several related results that answer questions that arise naturally in this investigation. These results apply to translators in general, not just to graphs or annuli. In this paper, we describe new annular examples of complete translating solitons for the mean curvature flow and how they are related to a family of translating graphs, the $Δ$-wings. In addition, we will prove several related results that answer questions that arise naturally in this investigation. These results apply to translators in general, not just to graphs or annuli. △ Less

Submitted 5 September, 2023; v1 submitted 22 April, 2023; originally announced April 2023.

Comments: Final version. To appear in Advanced Nonlinear Studies

MSC Class: Primary 53C44; 53C21; 53C42

Finite entropy translating solitons in slabs

Authors: Eddygledson Souza Gama, Francisco Martín, Niels Martin Møller

Abstract: We study translating solitons for the mean curvature flow, $Σ^2\subseteq\mathbb{R}^3$ which are contained in slabs, and are of finite genus and finite entropy. As a first consequence of our results, we can enumerate connected components of slices to define asymptotic invariants $ω^\pm(Σ)\in\mathbb{N}$, which count the numbers of "wings''. Analyzing these, we give a method for computing the entropi… ▽ More We study translating solitons for the mean curvature flow, $Σ^2\subseteq\mathbb{R}^3$ which are contained in slabs, and are of finite genus and finite entropy. As a first consequence of our results, we can enumerate connected components of slices to define asymptotic invariants $ω^\pm(Σ)\in\mathbb{N}$, which count the numbers of "wings''. Analyzing these, we give a method for computing the entropies $λ(Σ)$ via a simple formula involving the wing numbers, which in particular shows that for this class of solitons the entropy is quantized into integer steps. Finally, combining the concept of wing numbers with Morse theory for minimal surfaces, we prove the uniqueness theorem that if $Σ$ is a complete embedded simply connected translating soliton contained in a slab with entropy $λ(Σ)=3$ and containing a vertical line, then $Σ$ is one of the translating pitchforks of Hoffman-Martín-White △ Less

Submitted 14 June, 2025; v1 submitted 4 September, 2022; originally announced September 2022.

Comments: 40 pages, 3 figures. Final version accepted for publication in the American Journal of Mathematics

Report number: CPH-GEOTOP-DNRF151 MSC Class: 53A10; 53E10 (49Q05; 53C42)

Mean Escape Time of Switched Riccati Differential Equations

Authors: Masaki Ogura, Clyde F. Martin

Abstract: Riccati differential equations is the class of first-order and quadratic ordinary differential equations and has various applications in the systems and control theory. In this paper, we analyze a switched Riccati differential equation that is driven by a Poisson-like stochastic signal. We specifically focus on the computation of the mean escape time of the switched Riccati differential equation.… ▽ More Riccati differential equations is the class of first-order and quadratic ordinary differential equations and has various applications in the systems and control theory. In this paper, we analyze a switched Riccati differential equation that is driven by a Poisson-like stochastic signal. We specifically focus on the computation of the mean escape time of the switched Riccati differential equation. The contribution of this paper is twofold. We first show that, under the assumption that the subsystems described as a deterministic Riccati differential equation escape in finite time regardless of its initial state, the mean escape time of the switched Riccati differential equation admits a power series expression. In order to further expand the applicability of this result, we then present an approximative formula for computing the escape time of deterministic Riccati differential equations. We present numerical simulations to illustrate the obtained results. △ Less

Submitted 2 June, 2022; originally announced June 2022.

Morse-Radó Theory for Minimal Surfaces

Authors: David Hoffman, Francisco Martín, Brian White

Abstract: For a class of functions (called minimal Radó functions) that arise naturally in minimal surface theory, we bound the number of interior critical points (counting multiplicity) in terms of the boundary data and the Euler characteristic of the domain of the function. For a class of functions (called minimal Radó functions) that arise naturally in minimal surface theory, we bound the number of interior critical points (counting multiplicity) in terms of the boundary data and the Euler characteristic of the domain of the function. △ Less

Submitted 21 June, 2023; v1 submitted 5 April, 2022; originally announced April 2022.

Comments: 33 pages. 2 Figures. Final version to appear in the Journal of the LMS

MSC Class: 53A10 (Primary); 49Q05; 53C42 (Secondary)

A comparison of variational upwinding schemes for geophysical fluids, and their application to potential enstrophy conserving discretisations

Authors: David Lee, Alberto F. Martín, Christopher Bladwell, Santiago Badia

Abstract: Methods for upwinding the potential vorticity in a compatible finite element discretisation of the rotating shallow water equations are studied. These include the well-known anticipated potential vorticity method (APVM), streamwise upwind Petrov-Galerkin (SUPG) method, and a recent approach where the trial functions are evaluated downstream within the reference element. In all cases the upwinding… ▽ More Methods for upwinding the potential vorticity in a compatible finite element discretisation of the rotating shallow water equations are studied. These include the well-known anticipated potential vorticity method (APVM), streamwise upwind Petrov-Galerkin (SUPG) method, and a recent approach where the trial functions are evaluated downstream within the reference element. In all cases the upwinding scheme conserves both potential vorticity and energy, since the antisymmetric structure of the equations is preserved. The APVM leads to a symmetric definite correction to the potential enstrophy that is dissipative and inconsistent, resulting in a turbulent state where the potential enstrophy is more strongly damped than for the other schemes. While the SUPG scheme is widely known to be consistent, since it modifies the test functions only, the downwinded trial function formulation results in the advection of downwind corrections. Results of the SUPG and downwinded trial function schemes are very similar in terms of both potential enstrophy conservation and turbulent spectra. The main difference between these schemes is in the energy conservation and residual errors. If just two nonlinear iterations are applied then the energy conservation errors are improved for the downwinded trial function formulation, reflecting a smaller residual error than for the SUPG scheme. We also present formulations by which potential enstrophy is exactly integrated at each time level. Results using these formulations are observed to be stable in the absence of dissipation, despite the uncontrolled aliasing of grid scale turbulence. Using such a formulation and the APVM with a coefficient $\mathcal{O}(100)$ times smaller that its regular value leads to turbulent spectra that are greatly improved at the grid scale over the SUPG and downwinded trial function formulations with unstable potential enstrophy errors. △ Less

Submitted 6 March, 2024; v1 submitted 9 March, 2022; originally announced March 2022.

On the subalgebra of invariant elements: finiteness and immersions

Authors: Jesús Martín Ovejero, Ángel Luis Muñoz Castañeda, Francisco José Plaza Martín

Abstract: Let $R$ be an algebra over a ring $\Bbbk$, $T$ an $R$-algebra, $M$ a finitely generated projective $R$-module, and $N$ a $T$-module. Let $G$ be a linearly reductive group scheme over $\Bbbk$ equipped with a representation $ρ:\underline{G}_{R}\rightarrow \underline{\textrm{Aut}}_{\textrm{Mod}(R)}(M)$. For the graded $T$-algebra $A$, defined as… ▽ More Let $R$ be an algebra over a ring $\Bbbk$, $T$ an $R$-algebra, $M$ a finitely generated projective $R$-module, and $N$ a $T$-module. Let $G$ be a linearly reductive group scheme over $\Bbbk$ equipped with a representation $ρ:\underline{G}_{R}\rightarrow \underline{\textrm{Aut}}_{\textrm{Mod}(R)}(M)$. For the graded $T$-algebra $A$, defined as $ A := \left( S_{T}^{\bullet} (M^{\vee} \otimes_{R}N )\right)^{G}, $ we determine the conditions under which the graded $T$-algebra $A$ is finitely generated, finitely presented, or flat. Furthermore, we establish the conditions under which a closed embedding of $\textrm{Proj} \ A$ into a projective space exists. Since we do not impose any Noetherian hypotheses, our results generalize those in the literature, providing new powerful tools regarding moduli problems. △ Less

Submitted 8 June, 2023; v1 submitted 20 February, 2022; originally announced February 2022.

Comments: Most of the results have been generalized. For instance, $\Bbbk$ is now a commutative ring instead of a field of characteristic zero. The title and the abstract have changed as well

A robust and scalable unfitted adaptive finite element framework for nonlinear solid mechanics

Authors: Santiago Badia, Manuel Caicedo, Alberto F. Martín, Javier Principe

Abstract: In this work, we bridge standard adaptive mesh refinement and coarsening on scalable octree background meshes and robust unfitted finite element formulations for the automatic and efficient solution of large-scale nonlinear solid mechanics problems posed on complex geometries, as an alternative to standard body-fitted formulations, unstructured mesh generation and graph partitioning strategies. We… ▽ More In this work, we bridge standard adaptive mesh refinement and coarsening on scalable octree background meshes and robust unfitted finite element formulations for the automatic and efficient solution of large-scale nonlinear solid mechanics problems posed on complex geometries, as an alternative to standard body-fitted formulations, unstructured mesh generation and graph partitioning strategies. We pay special attention to those aspects requiring a specialized treatment in the extension of the unfitted h-adaptive aggregated finite element method on parallel tree-based adaptive meshes, recently developed for linear scalar elliptic problems, to handle nonlinear problems in solid mechanics. In order to accurately and efficiently capture localized phenomena that frequently occur in nonlinear solid mechanics problems, we perform pseudo time-stepping in combination with h-adaptive dynamic mesh refinement and rebalancing driven by a-posteriori error estimators. The method is implemented considering both irreducible and mixed (u/p) formulations and thus it is able to robustly face problems involving incompressible materials. In the numerical experiments, both formulations are used to model the inelastic behavior of a wide range of compressible and incompressible materials. First, a selected set of benchmarks are reproduced as a verification step. Second, a set of experiments is presented with problems involving complex geometries. Among them, we model a cantilever beam problem with spherical hollows distributed in a Simple Cubic array. This test involves a discrete domain with up to 11.7M Degrees Of Freedom solved in less than two hours on 3072 cores of a parallel supercomputer. △ Less

Submitted 25 July, 2021; v1 submitted 1 December, 2020; originally announced December 2020.

Non-Archimedean volumes of metrized nef line bundles

Authors: Sébastien Boucksom, Walter Gubler, Florent Martin

Abstract: Let $L$ be a line bundle on a proper, geometrically reduced scheme $X$ over a non-trivially valued non-Archimedean field $K$. Roughly speaking, the non-Archimedean volume of a continuous metric on the Berkovich analytification of $L$ measures the asymptotic growth of the space of small sections of tensor powers of $L$. For a continuous semipositive metric on $L$ in the sense of Zhang, we show firs… ▽ More Let $L$ be a line bundle on a proper, geometrically reduced scheme $X$ over a non-trivially valued non-Archimedean field $K$. Roughly speaking, the non-Archimedean volume of a continuous metric on the Berkovich analytification of $L$ measures the asymptotic growth of the space of small sections of tensor powers of $L$. For a continuous semipositive metric on $L$ in the sense of Zhang, we show first that the non-Archimedean volume agrees with the energy. The existence of such a semipositive metric yields that $L$ is nef. A second result is that the non-Archimedean volume is differentiable at any semipositive continuous metric. These results are known when $L$ is ample, and the purpose of this paper is to generalize them to the nef case. The method is based on a detailed study of the content and the volume of a finitely presented torsion module over the (possibly non-noetherian) valuation ring of $K$. △ Less

Submitted 4 October, 2021; v1 submitted 13 November, 2020; originally announced November 2020.

Comments: Published version, 34 pages

MSC Class: Primary 32P05; Secondary 14G22; 32U15; 32W20

Journal ref: Épijournal de Géométrie Algébrique, Volume 5 (October 5, 2021) epiga:6908

The aggregated unfitted finite element method on parallel tree-based adaptive meshes

Authors: Santiago Badia, Alberto F. Martín, Eric Neiva, Francesc Verdugo

Abstract: In this work, we present an adaptive unfitted finite element scheme that combines the aggregated finite element method with parallel adaptive mesh refinement. We introduce a novel scalable distributed-memory implementation of the resulting scheme on locally-adapted Cartesian forest-of-trees meshes. We propose a two-step algorithm to construct the finite element space at hand by means of a discrete… ▽ More In this work, we present an adaptive unfitted finite element scheme that combines the aggregated finite element method with parallel adaptive mesh refinement. We introduce a novel scalable distributed-memory implementation of the resulting scheme on locally-adapted Cartesian forest-of-trees meshes. We propose a two-step algorithm to construct the finite element space at hand by means of a discrete extension operator that carefully mixes aggregation constraints of problematic degrees of freedom, which get rid of the small cut cell problem, and standard hanging degree of freedom constraints, which ensure trace continuity on non-conforming meshes. Following this approach, we derive a finite element space that can be expressed as the original one plus well-defined linear constraints. Moreover, it requires minimum parallelization effort, using standard functionality available in existing large-scale finite element codes. Numerical experiments demonstrate its optimal mesh adaptation capability, robustness to cut location and parallel efficiency, on classical Poisson $hp$-adaptivity benchmarks. Our work opens the path to functional and geometrical error-driven dynamic mesh adaptation with the aggregated finite element method in large-scale realistic scenarios. Likewise, it can offer guidance for bridging other scalable unfitted methods and parallel adaptive mesh refinement. △ Less

Submitted 11 February, 2021; v1 submitted 9 June, 2020; originally announced June 2020.

Comments: 25 pages, 14 figures

Uniform convergence of stochastic semigroups

Authors: Jochen Glück, Florian G. Martin

Abstract: For stochastic $C_0$-semigroups on $L^1$-spaces there is wealth of results that show strong convergence to an equilibrium as $t \to \infty$, given that the semigroup contains a partial integral operator. This has plenty of applications to transport equations and in mathematical biology. However, up to now partial integral operators do not play a prominent role in theorems which yield uniform conve… ▽ More For stochastic $C_0$-semigroups on $L^1$-spaces there is wealth of results that show strong convergence to an equilibrium as $t \to \infty$, given that the semigroup contains a partial integral operator. This has plenty of applications to transport equations and in mathematical biology. However, up to now partial integral operators do not play a prominent role in theorems which yield uniform convergence of the semigroup rather than only strong convergence. In this article we prove that, for irreducible stochastic semigroups, uniform convergence to an equilibrium is actually equivalent to being partially integral and uniformly mean ergodic. In addition to this Tauberian theorem, we also show that our semigroup is uniformly convergent if and only if it is partially integral and the dual semigroup satisfies a certain irreducibility condition. Our proof is based on a uniform version of a lower bound theorem of Lasota and Yorke, which we combine with various techniques from Banach lattice theory. △ Less

Submitted 17 May, 2020; originally announced May 2020.

Comments: 12 pages

MSC Class: 47D06; 47D07

Differentiability of relative volumes over an arbitrary non-Archimedean field

Authors: Sébastien Boucksom, Walter Gubler, Florent Martin

Abstract: Given an ample line bundle $L$ on a geometrically reduced projective scheme defined over an arbitrary non-Archimedean field, we establish a differentiability property for the relative volume of two continuous metrics on the Berkovich analytification of $L$, extending previously known results in the discretely valued case. As applications, we provide fundamental solutions to certain non-Archimedean… ▽ More Given an ample line bundle $L$ on a geometrically reduced projective scheme defined over an arbitrary non-Archimedean field, we establish a differentiability property for the relative volume of two continuous metrics on the Berkovich analytification of $L$, extending previously known results in the discretely valued case. As applications, we provide fundamental solutions to certain non-Archimedean Monge--Ampère equations, and generalize an equidistribution result for Fekete points. Our main technical input comes from determinant of cohomology and Deligne pairings. △ Less

Submitted 8 April, 2020; originally announced April 2020.

Comments: 17 pages

MSC Class: Primary 32P05; Secondary 14G22; 32U15; 32W20

Balancing domain decomposition by constraints associated with subobjects

Authors: Santiago Badia, Alberto F. Martín, Hieu Nguyen

Abstract: A simple variant of the BDDC preconditioner in which constraints are imposed on a selected set of subobjects (subdomain subedges, subfaces and vertices between pairs of subedges) is presented. We are able to show that the condition number of the preconditioner is bounded by $C \big(1+\log (L/h)\big)^2$, where $C$ is a constant, and $h$ and $L$ are the characteristic sizes of the mesh and the subob… ▽ More A simple variant of the BDDC preconditioner in which constraints are imposed on a selected set of subobjects (subdomain subedges, subfaces and vertices between pairs of subedges) is presented. We are able to show that the condition number of the preconditioner is bounded by $C \big(1+\log (L/h)\big)^2$, where $C$ is a constant, and $h$ and $L$ are the characteristic sizes of the mesh and the subobjects, respectively. As $L$ can be chosen almost freely, the condition number can theoretically be as small as $O(1)$. We will discuss the pros and cons of the preconditioner and its application to heterogeneous problems. Numerical results on supercomputers are provided. △ Less

Submitted 20 January, 2020; originally announced January 2020.

Journal ref: Applied Mathematics Letters 87 (2019) 93-100

Nguyen's Tridents and the Classification of Semigraphical Translators for Mean Curvature Flow

Authors: David Hoffman, Francisco Martín, Brian White

Abstract: We construct a one-parameter family of singly periodic translating solutions to mean curvature flow that converge as the period tends to $0$ to the union of a grim reaper surface and a plane that bisects it lengthwise. The surfaces are semigraphical: they are properly embedded, and, after removing a discrete collection of vertical lines, they are graphs. We also provide a nearly complete classific… ▽ More We construct a one-parameter family of singly periodic translating solutions to mean curvature flow that converge as the period tends to $0$ to the union of a grim reaper surface and a plane that bisects it lengthwise. The surfaces are semigraphical: they are properly embedded, and, after removing a discrete collection of vertical lines, they are graphs. We also provide a nearly complete classification of semigraphical translators. △ Less

Submitted 1 February, 2022; v1 submitted 19 September, 2019; originally announced September 2019.

Comments: 26 pages, 5 Figures. J. Reine Angew. Math., to appear

MSC Class: 53C44; 53C21; 53C42

Invariants of formal pseudodifferential operator algebras and algebraic modular forms

Authors: François Dumas, François Martin

Abstract: We study from an algebraic point of view the question of extending an action of a group \(Γ\) on a commutative domain \(R\) to a formal pseudodifferential operator ring \(B=R(\!(x\,;\,d)\!)\) with coefficients in \(R\), as well as to some canonical quadratic extension \(C=R(\!(x^{1/2}\,;\,\frac 12 d)\!)_2\) of \(B\). We give a necessary and sufficient condition of compatibility between the action… ▽ More We study from an algebraic point of view the question of extending an action of a group \(Γ\) on a commutative domain \(R\) to a formal pseudodifferential operator ring \(B=R(\!(x\,;\,d)\!)\) with coefficients in \(R\), as well as to some canonical quadratic extension \(C=R(\!(x^{1/2}\,;\,\frac 12 d)\!)_2\) of \(B\). We give a necessary and sufficient condition of compatibility between the action and the derivation $d$ of $R$ for such an extension to exist, and we determine all possible extensions of the action to \(B\) and \(C\). We describe under suitable assumptions the invariant subalgebras \(B^Γ\) and \(C^Γ\) as Laurent series rings with coefficients in \(R^Γ\). The main results of this general study are applied in a numbertheoretical context to the case where \(Γ\) is a subgroup of \({\rm SL}(2,\C)\) acting by homographies on an algebra \(R\) of functions in one complex variable. Denoting by \(M_j\) the vector space of algebraic modular forms in $R$ of weight \(j\) (even or odd), we build for any nonnegative integer \(k\) a linear isomorphism between the subspace \(C_k^Γ\) of invariant operators of order \(\geq k\) in \(C^Γ\) and the product space \(\mathcal{M}_k=\prod_{j\geq k}M_j\), which can be identified with a space of algebraic Jacobi forms of weight \(k\). It results in particular a structure of noncommutative algebra on \(\mathcal M_0\) and an algebra isomorphism \(Ψ:\mathcal M_0\to C_0^Γ\), whose restriction to the particular case of even weights was previously known in the litterature. We study properties of this correspondence combining arithmetical arguments and the use of the algebraic results of the first part of the article. △ Less

Submitted 11 July, 2019; originally announced July 2019.

MSC Class: 11F03; 11F11; 11F50; 16S32; 16W22; 16W60

A generic finite element framework on parallel tree-based adaptive meshes

Authors: Santiago Badia, Alberto F. Martín, Eric Neiva, Francesc Verdugo

Abstract: In this work we formally derive and prove the correctness of the algorithms and data structures in a parallel, distributed-memory, generic finite element framework that supports h-adaptivity on computational domains represented as forest-of-trees. The framework is grounded on a rich representation of the adaptive mesh suitable for generic finite elements that is built on top of a low-level, light-… ▽ More In this work we formally derive and prove the correctness of the algorithms and data structures in a parallel, distributed-memory, generic finite element framework that supports h-adaptivity on computational domains represented as forest-of-trees. The framework is grounded on a rich representation of the adaptive mesh suitable for generic finite elements that is built on top of a low-level, light-weight forest-of-trees data structure handled by a specialized, highly parallel adaptive meshing engine, for which we have identified the requirements it must fulfill to be coupled into our framework. Atop this two-layered mesh representation, we build the rest of data structures required for the numerical integration and assembly of the discrete system of linear equations. We consider algorithms that are suitable for both subassembled and fully-assembled distributed data layouts of linear system matrices. The proposed framework has been implemented within the FEMPAR scientific software library, using p4est as a practical forest-of-octrees demonstrator. A strong scaling study of this implementation when applied to Poisson and Maxwell problems reveals remarkable scalability up to 32.2K CPU cores and 482.2M degrees of freedom. Besides, a comparative performance study of FEMPAR and the state-of-the-art deal.ii finite element software shows at least comparative performance, and at most factor 2-3 improvements in the h-adaptive approximation of a Poisson problem with first- and second-order Lagrangian finite elements, respectively. △ Less

Submitted 9 April, 2020; v1 submitted 8 July, 2019; originally announced July 2019.

Weil Reciprocity Law and the Theorem of Residues

Authors: José M. Muñoz Porras, Francisco J. Plaza Martín

Abstract: This paper shows how the Theorem of Residues (TR) and the Gelfand-Fuchs cocycle can be deduced in a simple way from the Weil Reciprocity Law (WRL). Indeed, if one understand WRL as the triviality of certain extension of groups, then TR is the same statement at the level of Lie algebras. Finally, the Gelfand-Fuchs cocycle can also be obtained in this way. This paper shows how the Theorem of Residues (TR) and the Gelfand-Fuchs cocycle can be deduced in a simple way from the Weil Reciprocity Law (WRL). Indeed, if one understand WRL as the triviality of certain extension of groups, then TR is the same statement at the level of Lie algebras. Finally, the Gelfand-Fuchs cocycle can also be obtained in this way. △ Less

Submitted 28 May, 2019; originally announced May 2019.

MSC Class: 14H05; 19F15; 11R37

An idelic quotient related to Weil reciprocity and the Picard group

Authors: José María Muñoz Porras, Luis Manuel Navas Vicente, Fernando Pablos Romo, Francisco José Plaza Martín

Abstract: This paper studies the function field of an algebraic curve over an arbitrary perfect field by using the Weil reciprocity law and topologies on the adele ring. A topological subgroup of the idele class group is introduced and it is shown how it encodes arithmetic properties of the base field and of the Picard group of the curve. These results are applied to study extensions of the function field. This paper studies the function field of an algebraic curve over an arbitrary perfect field by using the Weil reciprocity law and topologies on the adele ring. A topological subgroup of the idele class group is introduced and it is shown how it encodes arithmetic properties of the base field and of the Picard group of the curve. These results are applied to study extensions of the function field. △ Less

Submitted 10 May, 2019; originally announced May 2019.

Comments: to appear in Collectanea Mathematica

MSC Class: 14H05 (Primary) 19F15; 11R37 (Secondary)

Lie subalgebras of Differential Operators in one Variable

Authors: Francisco J. Plaza Martin, Carlos Tejero Prieto

Abstract: Let $\operatorname{Witt}$ be the Lie algebra generated by the set $\{L_i\,\vert\, i \in {\mathbb Z}\}$ and $\operatorname{Vir}$ its universal central extension. Let $\operatorname{Diff}(V)$ be the Lie algebra of differential operators on $V=\mathbb{C}[[z]]$, $\mathbb{C}((z))$ or $V=\mathbb{C}(z)$. We explicitly describe all Lie algebra homomorphisms from $\mathfrak{sl}(2)$, $\operatorname{Witt}$ a… ▽ More Let $\operatorname{Witt}$ be the Lie algebra generated by the set $\{L_i\,\vert\, i \in {\mathbb Z}\}$ and $\operatorname{Vir}$ its universal central extension. Let $\operatorname{Diff}(V)$ be the Lie algebra of differential operators on $V=\mathbb{C}[[z]]$, $\mathbb{C}((z))$ or $V=\mathbb{C}(z)$. We explicitly describe all Lie algebra homomorphisms from $\mathfrak{sl}(2)$, $\operatorname{Witt}$ and $\operatorname{Vir}$ to $\operatorname{Diff}(V)$ such that $L_0$ acts on $V$ as a first order differential operator. △ Less

Submitted 1 May, 2019; originally announced May 2019.

Comments: To appear in the Mediterranean Journal of Mathematics, Vol. 16 (2019), issue no. 6

MSC Class: 17B68 (Primary) 81R10 (Secondary)

Scherk-like Translators for Mean Curvature Flow

Authors: David Hoffman, Francisco Martín, Brian White

Abstract: We prove existence and uniqueness for a two-parameter family of translators for mean curvature flow. We get additional examples by taking limits at the boundary of the parameter space. Some of the translators resemble well-known minimal surfaces (Scherk's doubly periodic minimal surfaces, helicoids), but others have no minimal surface analogs. A one-parameter subfamily of the examples (the pitchfo… ▽ More We prove existence and uniqueness for a two-parameter family of translators for mean curvature flow. We get additional examples by taking limits at the boundary of the parameter space. Some of the translators resemble well-known minimal surfaces (Scherk's doubly periodic minimal surfaces, helicoids), but others have no minimal surface analogs. A one-parameter subfamily of the examples (the pitchforks) have finite topology and quadratic area growth, and thus might arise as blowups at singularities of initially smooth, closed surfaces flowing by mean curvature flow. △ Less

Submitted 4 February, 2020; v1 submitted 11 March, 2019; originally announced March 2019.

Comments: 43 pages, 14 Figures. This revised version will appear in Journal of Differential Geometry

MSC Class: 53C44; 53C21; 53C42

Distributed-memory parallelization of the aggregated unfitted finite element method

Authors: Francesc Verdugo, Alberto F. Martín, Santiago Badia

Abstract: The aggregated unfitted finite element method (AgFEM) is a methodology recently introduced in order to address conditioning and stability problems associated with embedded, unfitted, or extended finite element methods. The method is based on removal of basis functions associated with badly cut cells by introducing carefully designed constraints, which results in well-posed systems of linear algebr… ▽ More The aggregated unfitted finite element method (AgFEM) is a methodology recently introduced in order to address conditioning and stability problems associated with embedded, unfitted, or extended finite element methods. The method is based on removal of basis functions associated with badly cut cells by introducing carefully designed constraints, which results in well-posed systems of linear algebraic equations, while preserving the optimal approximation order of the underlying finite element spaces. The specific goal of this work is to present the implementation and performance of the method on distributed-memory platforms aiming at the efficient solution of large-scale problems. In particular, we show that, by considering AgFEM, the resulting systems of linear algebraic equations can be effectively solved using standard algebraic multigrid preconditioners. This is in contrast with previous works that consider highly customized preconditioners in order to allow one the usage of iterative solvers in combination with unfitted techniques. Another novelty with respect to the methods available in the literature is the problem sizes that can be handled with the proposed approach. While most of previous references discussing linear solvers for unfitted methods are based on serial non-scalable algorithms, we propose a parallel distributed-memory method able to efficiently solve problems at large scales. This is demonstrated by means of a weak scaling test defined on complex 3D domains up to 300M degrees of freedom and one billion cells on 16K CPU cores in the Marenostrum-IV platform. The parallel implementation of the AgFEM method is available in the large-scale finite element package FEMPAR. △ Less

Submitted 7 August, 2019; v1 submitted 4 February, 2019; originally announced February 2019.

Notes on translating solitons for Mean Curvature Flow

Authors: David Hoffman, Tom Ilmanen, Francisco Martín, Brian White

Abstract: The purpose of these notes is to provide an introduction to those who want to learn more about translating solitons for the mean curvature flow in $\mathbb{R}^3$, particularly those which are complete graphs over domains in $\mathbb{R}^2$. In this paper we describe a full classification of complete translating graphs in $\mathbb{R}^3$. The purpose of these notes is to provide an introduction to those who want to learn more about translating solitons for the mean curvature flow in $\mathbb{R}^3$, particularly those which are complete graphs over domains in $\mathbb{R}^2$. In this paper we describe a full classification of complete translating graphs in $\mathbb{R}^3$. △ Less

Submitted 18 December, 2021; v1 submitted 25 January, 2019; originally announced January 2019.

Comments: Proceedings of the conference M:IV. Version accepted for publication

MSC Class: 53C44; 53C21; 53C42

Scalable solvers for complex electromagnetics problems

Authors: Santiago Badia, Alberto F. Martín, Marc Olm

Abstract: In this work, we present scalable balancing domain decomposition by constraints methods for linear systems arising from arbitrary order edge finite element discretizations of multi-material and heterogeneous 3D problems. In order to enforce the continuity across subdomains of the method, we use a partition of the interface objects (edges and faces) into sub-objects determined by the variation of t… ▽ More In this work, we present scalable balancing domain decomposition by constraints methods for linear systems arising from arbitrary order edge finite element discretizations of multi-material and heterogeneous 3D problems. In order to enforce the continuity across subdomains of the method, we use a partition of the interface objects (edges and faces) into sub-objects determined by the variation of the physical coefficients of the problem. For multi-material problems, a constant coefficient condition is enough to define this sub-partition of the objects. For arbitrarily heterogeneous problems, a relaxed version of the method is defined, where we only require that the maximal contrast of the physical coefficient in each object is smaller than a predefined threshold. Besides, the addition of perturbation terms to the preconditioner is empirically shown to be effective in order to deal with the case where the two coefficients of the model problem jump simultaneously across the interface. The new method, in contrast to existing approaches for problems in curl-conforming spaces does not require spectral information whilst providing robustness with regard to coefficient jumps and heterogeneous materials. A detailed set of numerical experiments, which includes the application of the preconditioner to 3D realistic cases, shows excellent weak scalability properties of the implementation of the proposed algorithms. △ Less

Submitted 10 April, 2019; v1 submitted 25 January, 2019; originally announced January 2019.

MSC Class: 65N30; 65F08; 65Y05

Jenkins-Serrin problem for translating horizontal graphs in $M \times\mathbb{R}$

Authors: Eddygledson S. Gama, Esko Heinonen, Jorge H. de Lira, Francisco Martin

Abstract: We prove the existence of horizontal Jenkins-Serrin graphs that are translating solitons of the mean curvature flow in Riemannian product manifolds $M\times\mathbb{R}$. Moreover, we give examples of these graphs in the cases of $\mathbb{R}^3$ and $\mathbb{H}^2\times\mathbb{R}$. We prove the existence of horizontal Jenkins-Serrin graphs that are translating solitons of the mean curvature flow in Riemannian product manifolds $M\times\mathbb{R}$. Moreover, we give examples of these graphs in the cases of $\mathbb{R}^3$ and $\mathbb{H}^2\times\mathbb{R}$. △ Less

Submitted 29 July, 2019; v1 submitted 22 January, 2019; originally announced January 2019.

Comments: To appear in Rev. Mat. Iberoam

Families of minimal surfaces in $\mathbb{H}^2 \times \mathbb{R}$ foliated by arcs and their Jacobi fields

Authors: Leonor Ferrer, Francisco Martín, Rafe Mazzeo, Magdalena Rodríguez

Abstract: This note provides some new perspectives and calculations regarding an interesting known family of minimal surfaces in $\mathbb{H}^2 \times \mathbb{R}$. The surfaces in this family are the catenoids, parabolic catenoids and tall rectangles. Each is foliated by either circles, horocycles or circular arcs in horizontal copies of $\mathbb{H}^2$. All of these surfaces are well-known, but the emphasis… ▽ More This note provides some new perspectives and calculations regarding an interesting known family of minimal surfaces in $\mathbb{H}^2 \times \mathbb{R}$. The surfaces in this family are the catenoids, parabolic catenoids and tall rectangles. Each is foliated by either circles, horocycles or circular arcs in horizontal copies of $\mathbb{H}^2$. All of these surfaces are well-known, but the emphasis here is on their unifying features and the fact that they lie in a single continuous family. We also initiate a study of the Jacobi operator on the parabolic catenoid, and compute the Jacobi fields associated to deformations to either of the two other types of surfaces in this family. △ Less

Submitted 13 January, 2019; originally announced January 2019.

Comments: Proceedings of the conference M:IV

MSC Class: 53A10; 49Q05; 49Q10

On a general implementation of $h$- and $p$-adaptive curl-conforming finite elements

Authors: Marc Olm, Santiago Badia, Alberto F. Martín

Abstract: Edge (or Nédélec) finite elements are theoretically sound and widely used by the computational electromagnetics community. However, its implementation, specially for high order methods, is not trivial, since it involves many technicalities that are not properly described in the literature. To fill this gap, we provide a comprehensive description of a general implementation of edge elements of firs… ▽ More Edge (or Nédélec) finite elements are theoretically sound and widely used by the computational electromagnetics community. However, its implementation, specially for high order methods, is not trivial, since it involves many technicalities that are not properly described in the literature. To fill this gap, we provide a comprehensive description of a general implementation of edge elements of first kind within the scientific software project FEMPAR. We cover into detail how to implement arbitrary order (i.e., $p$-adaptive) elements on hexahedral and tetrahedral meshes. First, we set the three classical ingredients of the finite element definition by Ciarlet, both in the reference and the physical space: cell topologies, polynomial spaces and moments. With these ingredients, shape functions are automatically implemented by defining a judiciously chosen polynomial pre-basis that spans the local finite element space combined with a change of basis to automatically obtain a canonical basis with respect to the moments at hand. Next, we discuss global finite element spaces putting emphasis on the construction of global shape functions through oriented meshes, appropriate geometrical mappings, and equivalence classes of moments, in order to preserve the inter-element continuity of tangential components of the magnetic field. Finally, we extend the proposed methodology to generate global curl-conforming spaces on non-conforming hierarchically refined (i.e., $h$-adaptive) meshes with arbitrary order finite elements. Numerical results include experimental convergence rates to test the proposed implementation. △ Less

Submitted 19 March, 2019; v1 submitted 24 October, 2018; originally announced October 2018.

Jenkins-Serrin graphs in $M\times\mathbb{R}$

Authors: Eddygledson S. Gama, Esko Heinonen, Jorge H. de Lira, Francisco Martin

Abstract: The so called Jenkins-Serrin problem is a kind of Dirichlet problem for graphs with prescribed mean curvature that combines, at the same time, continuous boundary data with regions of the boundary where the boundary values explodes either to $+\infty$ or to $-\infty.$ We give a survey on the development of Jenkins-Serrin type problems over domains on Riemannian manifolds. The existence of this typ… ▽ More The so called Jenkins-Serrin problem is a kind of Dirichlet problem for graphs with prescribed mean curvature that combines, at the same time, continuous boundary data with regions of the boundary where the boundary values explodes either to $+\infty$ or to $-\infty.$ We give a survey on the development of Jenkins-Serrin type problems over domains on Riemannian manifolds. The existence of this type of graphs imposes restrictions on the geometry of the boundary of these domains. We also improve some earlier results by proving Theorem 1.8, and prove the existence of translating Jenkins-Serrin graphs (Theorem 1.9). △ Less

Submitted 4 July, 2019; v1 submitted 6 June, 2018; originally announced June 2018.

Comments: Revised version. To appear in the proceedings of the "M:IV winter workshop 2018" held at the University of Granada, January 9-12, 2018

MSC Class: 53C44; 53A10; 53C21; 53C42

Graphical Translators for Mean Curvature Flow

Authors: David Hoffman, Tom Ilmanen, Francisco Martin, Brian White

Abstract: In this paper we provide a full classification of complete translating graphs in $\mathbf{R}^3$. We also construct two $(n-1)$-parameter families of new examples of translating graphs in $\mathbf{R}^{n+1}$. In this paper we provide a full classification of complete translating graphs in $\mathbf{R}^3$. We also construct two $(n-1)$-parameter families of new examples of translating graphs in $\mathbf{R}^{n+1}$. △ Less

Submitted 11 June, 2019; v1 submitted 28 May, 2018; originally announced May 2018.

Comments: 29 pages, 3 Figures. A few typos have been corrected

MSC Class: 53C44; 53C21; 53C42

Mixed aggregated finite element methods for the unfitted discretization of the Stokes problem

Authors: Santiago Badia, Alberto F. Martín, Francesc Verdugo

Abstract: In this work, we consider unfitted finite element methods for the numerical approximation of the Stokes problem. It is well-known that this kind of methods lead to arbitrarily ill-conditioned systems. In order to solve this issue, we consider the recently proposed aggregated finite element method, originally motivated for coercive problems. However, the well-posedness of the Stokes problem is far… ▽ More In this work, we consider unfitted finite element methods for the numerical approximation of the Stokes problem. It is well-known that this kind of methods lead to arbitrarily ill-conditioned systems. In order to solve this issue, we consider the recently proposed aggregated finite element method, originally motivated for coercive problems. However, the well-posedness of the Stokes problem is far more subtle and relies on a discrete inf-sup condition. We consider mixed finite element methods that satisfy the discrete version of the inf-sup condition for body-fitted meshes, and analyze how the discrete inf-sup is affected when considering the unfitted case. We propose different aggregated mixed finite element spaces combined with simple stabilization terms, which can include pressure jumps and/or cell residuals, to fix the potential deficiencies of the aggregated inf-sup. We carry out a complete numerical analysis, which includes stability, optimal a priori error estimates, and condition number bounds that are not affected by the small cut cell problem. For the sake of conciseness, we have restricted the analysis to hexahedral meshes and discontinuous pressure spaces. A thorough numerical experimentation bears out the numerical analysis. The aggregated mixed finite element method is ultimately applied to two problems with non-trivial geometries. △ Less

Submitted 4 May, 2018; originally announced May 2018.

MSC Class: 65N12; 65N15; 65N30

Translating solitons in Riemannian products

Authors: Jorge H. de Lira, Francisco Martin

Abstract: In this paper we study solitons invariant with respect to the flow generated by a complete Killing vector field in a ambient Riemannian manifold. A special case occurs when the ambient manifold is the Riemannian product $(\mathbb{R} \times P, {\rm d}t^2+g_0)$ and the Killing field is $X=\partial_t$. Similarly to what happens in the Euclidean setting, we call them translating solitons. We see that… ▽ More In this paper we study solitons invariant with respect to the flow generated by a complete Killing vector field in a ambient Riemannian manifold. A special case occurs when the ambient manifold is the Riemannian product $(\mathbb{R} \times P, {\rm d}t^2+g_0)$ and the Killing field is $X=\partial_t$. Similarly to what happens in the Euclidean setting, we call them translating solitons. We see that a translating soliton in $\mathbb{R} \times P$ can be seen as a minimal submanifold for a weighted volume functional. Moreover we show that this kind of solitons appear in a natural way in the context of a monotonicity formula for the mean curvature flow in $\mathbb{R} \times P$. When $g_0$ is rotationally invariant and its sectional curvature is non-positive, we are able to characterize all the rotationally invariant translating solitons. Furthermore, we use these families of new examples as barriers to deduce several non-existence results. △ Less

Submitted 4 March, 2018; originally announced March 2018.

Comments: 32 pages, 1 figure

MSC Class: 53C44; 53A10; 53C21; 53C42

Translating solitons of the mean curvature flow asymptotic to hyperplanes in $\mathbb{R}^{n+1}$

Authors: Eddygledson S. Gama, Francisco Martin

Abstract: A translating soliton is a hypersurface $M$ in $\mathbb{R}^{n+1}$ such that the family $M_t= M- t \,\mathbf{e}_{n+1}$ is a mean curvature flow, i.e., such that normal component of the velocity at each point is equal to the mean curvature at that point $\mathbf{H}=\mathbf{e}_{n+1}^{\perp}.$ In this paper we obtain a characterization of hyperplanes which are parallel to $\mathbf{e}_{n+1}$ and the fa… ▽ More A translating soliton is a hypersurface $M$ in $\mathbb{R}^{n+1}$ such that the family $M_t= M- t \,\mathbf{e}_{n+1}$ is a mean curvature flow, i.e., such that normal component of the velocity at each point is equal to the mean curvature at that point $\mathbf{H}=\mathbf{e}_{n+1}^{\perp}.$ In this paper we obtain a characterization of hyperplanes which are parallel to $\mathbf{e}_{n+1}$ and the family of tilted grim reaper cylinders as the only translating solitons in $\mathbb{R}^{n+1}$ which are $C^1$-asymptotic to two half-hyperplanes outside a non-vertical cylinder. This result was proven for translators in $\mathbb{R}^3$ by the second author, Perez-Garcia, Savas-Halilaj and Smoczyk under the additional hypotheses that the genus of the surface was locally bounded and the cylinder was perpendicular to the translating velocity. △ Less

Submitted 11 November, 2018; v1 submitted 23 February, 2018; originally announced February 2018.

Comments: 37 pages, 12 figures. This revised version will appear in IMRN

MSC Class: 53C44; 53A10; 53C21; 53C42