Showing 1–38 of 38 results for author: Henning, P

The pollution effect for the Ginzburg-Landau equation

Authors: Théophile Chaumont-Frelet, Patrick Henning

Abstract: In this paper, we investigate the approximation properties of solutions to the Ginzburg-Landau equation (GLE) in finite element spaces. Special attention is given to how the errors are influenced by coupling the mesh size $h$ and the polynomial degree $p$ of the finite element space to the size of the so-called Ginzburg-Landau material parameter $κ$. As observed in previous works, the finite eleme… ▽ More In this paper, we investigate the approximation properties of solutions to the Ginzburg-Landau equation (GLE) in finite element spaces. Special attention is given to how the errors are influenced by coupling the mesh size $h$ and the polynomial degree $p$ of the finite element space to the size of the so-called Ginzburg-Landau material parameter $κ$. As observed in previous works, the finite element approximations to the GLE are suffering from a numerical pollution effect, that is, the best-approximation error in the finite element space converges under mild coupling conditions between $h$ and $κ$, whereas the actual finite element solutions possess poor accuracy in a large pre-asymptotic regime which depends on $κ$. In this paper, we provide a new error analysis that allows us to quantify the pre-asymptotic regime and the corresponding pollution effect in terms of explicit resolution conditions. In particular, we are able to prove that higher polynomial degrees reduce the pollution effect, i.e., the accuracy of the best-approximation is achieved under relaxed conditions for the mesh size. We provide both error estimates in the $H^1$- and the $L^2$-norm and we illustrate our findings with numerical examples. △ Less

Submitted 9 June, 2025; originally announced June 2025.

MSC Class: 65N12; 65N15; 65N30; 35Q56

Stable localized orthogonal decomposition in Raviart-Thomas spaces

Authors: Patrick Henning, Hao Li, Timo Sprekeler

Abstract: This work proposes a computational multiscale method for the mixed formulation of a second-order linear elliptic equation subject to a homogeneous Neumann boundary condition, based on a stable localized orthogonal decomposition (LOD) in Raviart-Thomas finite element spaces. In the spirit of numerical homogenization, the construction provides low-dimensional coarse approximation spaces that incorpo… ▽ More This work proposes a computational multiscale method for the mixed formulation of a second-order linear elliptic equation subject to a homogeneous Neumann boundary condition, based on a stable localized orthogonal decomposition (LOD) in Raviart-Thomas finite element spaces. In the spirit of numerical homogenization, the construction provides low-dimensional coarse approximation spaces that incorporate fine-scale information from the heterogeneous coefficients by solving local patch problems on a fine mesh. The resulting numerical scheme is accompanied by a rigorous error analysis, and it is applicable beyond periodicity and scale-separation in spatial dimensions two and three. In particular, this novel realization circumvents the presence of pollution terms observed in a previous LOD construction for elliptic problems in mixed formulation. Finally, various numerical experiments are provided that demonstrate the performance of the method. △ Less

Submitted 25 April, 2025; originally announced April 2025.

MSC Class: 35J15; 65N12; 65N30

Riemannian conjugate Sobolev gradients and their application to compute ground states of BECs

Authors: Yueshan Ai, Patrick Henning, Mahima Yadav, Sitong Yuan

Abstract: This work considers the numerical computation of ground states of rotating Bose-Einstein condensates (BECs) which can exhibit a multiscale lattice of quantized vortices. This problem involves the minimization of an energy functional on a Riemannian manifold. For this we apply the framework of nonlinear conjugate gradient methods in combination with the paradigm of Sobolev gradients to investigate… ▽ More This work considers the numerical computation of ground states of rotating Bose-Einstein condensates (BECs) which can exhibit a multiscale lattice of quantized vortices. This problem involves the minimization of an energy functional on a Riemannian manifold. For this we apply the framework of nonlinear conjugate gradient methods in combination with the paradigm of Sobolev gradients to investigate different metrics. Here we build on previous work that proposed to enhance the convergence of regular Riemannian gradients methods by an adaptively changing metric that is based on the current energy. In this work, we extend this approach to the branch of Riemannian conjugate gradient (CG) methods and investigate the arising schemes numerically. Special attention is given to the selection of the momentum parameter in search direction and how this affects the performance of the resulting schemes. As known from similar applications, we find that the choice of the momentum parameter plays a critical role, with certain parameters reducing the number of iterations required to achieve a specified tolerance by a significant factor. Besides the influence of the momentum parameters, we also investigate how the methods with adaptive metric compare to the corresponding realizations with a standard $H^1_0$-metric. As one of our main findings, the results of the numerical experiments show that the Riemannian CG method with the proposed adaptive metric along with a Polak-Ribiére or Hestenes-Stiefel-type momentum parameter show the best performance and highest robustness compared to the other CG methods that were part of our numerical study. △ Less

Submitted 6 July, 2025; v1 submitted 25 September, 2024; originally announced September 2024.

A multiscale approach to the stationary Ginzburg-Landau equations of superconductivity

Authors: Christian Döding, Benjamin Dörich, Patrick Henning

Abstract: In this work, we study the numerical approximation of minimizers of the Ginzburg-Landau free energy, a common model to describe the behavior of superconductors under magnetic fields. The unknowns are the order parameter, which characterizes the density of superconducting charge carriers, and the magnetic vector potential, which allows to deduce the magnetic field that penetrates the superconductor… ▽ More In this work, we study the numerical approximation of minimizers of the Ginzburg-Landau free energy, a common model to describe the behavior of superconductors under magnetic fields. The unknowns are the order parameter, which characterizes the density of superconducting charge carriers, and the magnetic vector potential, which allows to deduce the magnetic field that penetrates the superconductor. Physically important and numerically challenging are especially settings which involve lattices of quantized vortices which can be formed in materials with a large Ginzburg-Landau parameter $κ$. In particular, $κ$ introduces a severe mesh resolution condition for numerical approximations. In order to reduce these computational restrictions, we investigate a particular discretization which is based on mixed meshes where we apply a Lagrange finite element approach for the vector potential and a localized orthogonal decomposition (LOD) approach for the order parameter. We justify the proposed method by a rigorous a-priori error analysis (in $L^2$ and $H^1$) in which we keep track of the influence of $κ$ in all error contributions. This allows us to conclude $κ$-dependent resolution conditions for the various meshes and which only impose moderate practical constraints compared to a conventional finite element discretization. Finally, our theoretical findings are illustrated by numerical experiments. △ Less

Submitted 18 September, 2024; originally announced September 2024.

MSC Class: 65N12; 65N15 (Primary) 65N30; 35Q56 (Secondary)

Convergence of a Riemannian gradient method for the Gross-Pitaevskii energy functional in a rotating frame

Authors: Patrick Henning, Mahima Yadav

Abstract: This paper investigates the numerical approximation of ground states of rotating Bose-Einstein condensates. This problem requires the minimization of the Gross-Pitaevskii energy $E$ on a Hilbert manifold $\mathbb{S}$. To find a corresponding minimizer $u$, we use a generalized Riemannian gradient method that is based on the concept of Sobolev gradients in combination with an adaptively changing me… ▽ More This paper investigates the numerical approximation of ground states of rotating Bose-Einstein condensates. This problem requires the minimization of the Gross-Pitaevskii energy $E$ on a Hilbert manifold $\mathbb{S}$. To find a corresponding minimizer $u$, we use a generalized Riemannian gradient method that is based on the concept of Sobolev gradients in combination with an adaptively changing metric on the manifold. By a suitable choice of the metric, global energy dissipation for the arising gradient method can be proved. The energy dissipation property in turn implies global convergence to the density $|u|^2$ of a critical point $u$ of $E$ on $\mathbb{S}$. Furthermore, we present a precise characterization of the local convergence rates in a neighborhood of each ground state $u$ and how these rates depend on the first spectral gap of $E^{\prime\prime}(u)$ restricted to the $L^2$-orthogonal complement of $u$. With this we establish the first convergence results for a Riemannian gradient method to minimize the Gross-Pitaevskii energy functional in a rotating frame. At the same, we refine previous results obtained in the case without rotation. The major complication in our new analysis is the missing isolation of minimizers, which are at most unique up to complex phase shifts. For that, we introduce an auxiliary iteration in the tangent space $T_{\mathrm{i} u} \mathbb{S}$ and apply the Ostrowski theorem to characterize the asymptotic convergence rates through a weighted eigenvalue problem. Afterwards, we link the auxiliary iteration to the original Riemannian gradient method and bound the spectrum of the weighted eigenvalue problem to obtain quantitative convergence rates. Our findings are validated in numerical experiments. △ Less

Submitted 18 March, 2025; v1 submitted 6 June, 2024; originally announced June 2024.

MSC Class: 35Q55; 65N12; 65N25; 81Q05

Vortex-capturing multiscale spaces for the Ginzburg-Landau equation

Authors: Maria Blum, Christian Döding, Patrick Henning

Abstract: This paper considers minimizers of the Ginzburg-Landau energy functional in special multiscale spaces that are based on finite elements. The spaces are constructed by localized orthogonal decomposition techniques and their usage for solving the Ginzburg-Landau equation was first suggested in [Dörich, Henning, SINUM 2024]. In this work we further explore their approximation properties and give an a… ▽ More This paper considers minimizers of the Ginzburg-Landau energy functional in special multiscale spaces that are based on finite elements. The spaces are constructed by localized orthogonal decomposition techniques and their usage for solving the Ginzburg-Landau equation was first suggested in [Dörich, Henning, SINUM 2024]. In this work we further explore their approximation properties and give an analytical explanation for why vortex structures of energy minimizers can be captured more accurately in these spaces. We quantify the necessary mesh resolution in terms of the Ginzburg-Landau parameter $κ$ and a stabilization parameter $β\ge 0$ that is used in the construction of the multiscale spaces. Furthermore, we analyze how $κ$ affects the necessary locality of the multiscale basis functions and we prove that the choice $β=0$ yields typically the highest accuracy. Our findings are supported by numerical experiments. △ Less

Submitted 24 January, 2025; v1 submitted 23 May, 2024; originally announced May 2024.

MSC Class: 65N12; 65N15; 65N30; 35Q56

Error bounds for discrete minimizers of the Ginzburg-Landau energy in the high-$κ$ regime

Authors: Benjamin Dörich, Patrick Henning

Abstract: In this work, we study discrete minimizers of the Ginzburg-Landau energy in finite element spaces. Special focus is given to the influence of the Ginzburg-Landau parameter $κ$. This parameter is of physical interest as large values can trigger the appearance of vortex lattices. Since the vortices have to be resolved on sufficiently fine computational meshes, it is important to translate the size o… ▽ More In this work, we study discrete minimizers of the Ginzburg-Landau energy in finite element spaces. Special focus is given to the influence of the Ginzburg-Landau parameter $κ$. This parameter is of physical interest as large values can trigger the appearance of vortex lattices. Since the vortices have to be resolved on sufficiently fine computational meshes, it is important to translate the size of $κ$ into a mesh resolution condition, which can be done through error estimates that are explicit with respect to $κ$ and the spatial mesh width $h$. For that, we first work in an abstract framework for a general class of discrete spaces, where we present convergence results in a problem-adapted $κ$-weighted norm. Afterwards we apply our findings to Lagrangian finite elements and a particular generalized finite element construction. In numerical experiments we further explore the asymptotic optimality of our derived $L^2$- and $H^1$-error estimates with respect to $κ$ and $h$. Preasymptotic effects are observed for large mesh sizes $h$. △ Less

Submitted 19 February, 2024; v1 submitted 24 March, 2023; originally announced March 2023.

MSC Class: 65N12; 65N15; 65N30; 35Q56

On discrete ground states of rotating Bose-Einstein condensates

Authors: Patrick Henning, Mahima Yadav

Abstract: The ground states of Bose-Einstein condensates in a rotating frame can be described as constrained minimizers of the Gross-Pitaevskii energy functional with an angular momentum term. In this paper we consider the corresponding discrete minimization problem in Lagrange finite element spaces of arbitrary polynomial order and we investigate the approximation properties of discrete ground states. In p… ▽ More The ground states of Bose-Einstein condensates in a rotating frame can be described as constrained minimizers of the Gross-Pitaevskii energy functional with an angular momentum term. In this paper we consider the corresponding discrete minimization problem in Lagrange finite element spaces of arbitrary polynomial order and we investigate the approximation properties of discrete ground states. In particular, we prove a priori error estimates of optimal order in the $L^2$- and $H^1$-norm, as well as for the ground state energy and the corresponding chemical potential. A central issue in the analysis of the problem is the missing uniqueness of ground states, which is mainly caused by the invariance of the energy functional under complex phase shifts. Our error analysis is therefore based on an Euler-Lagrange functional that we restrict to certain tangent spaces in which we have local uniqueness of ground states. This gives rise to an error decomposition that is ultimately used to derive the desired a priori error estimates. We also present numerical experiments to illustrate various aspects of the problem structure. △ Less

Submitted 25 March, 2024; v1 submitted 1 March, 2023; originally announced March 2023.

MSC Class: 35Q55; 65N15; 65N30

A two level approach for simulating Bose-Einstein condensates by localized orthogonal decomposition

Authors: Christian Döding, Patrick Henning, Johan Wärnegård

Abstract: In this work, we consider the numerical computation of ground states and dynamics of single-component Bose-Einstein condensates (BECs). The corresponding models are spatially discretized with a multiscale finite element approach known as Localized Orthogonal Decomposition (LOD). Despite the outstanding approximation properties of such a discretization in the context of BECs, taking full advantage… ▽ More In this work, we consider the numerical computation of ground states and dynamics of single-component Bose-Einstein condensates (BECs). The corresponding models are spatially discretized with a multiscale finite element approach known as Localized Orthogonal Decomposition (LOD). Despite the outstanding approximation properties of such a discretization in the context of BECs, taking full advantage of it without creating severe computational bottlenecks can be tricky. In this paper, we therefore present two fully-discrete numerical approaches that are formulated in such a way that they take special account of the structure of the LOD spaces. One approach is devoted to the computation of ground states and another one for the computation of dynamics. A central focus of this paper is also the discussion of implementation aspects that are very important for the practical realization of the methods. In particular, we discuss the use of suitable data structures that keep the memory costs economical. The paper concludes with various numerical experiments in 1d, 2d and 3d that investigate convergence rates and approximation properties of the methods and which demonstrate their performance and computational efficiency, also in comparison to spectral and standard finite element approaches. △ Less

Submitted 23 May, 2024; v1 submitted 14 December, 2022; originally announced December 2022.

MSC Class: 35Q55; 65M60; 65M15; 81Q05

Uniform $L^\infty$-bounds for energy-conserving higher-order time integrators for the Gross-Pitaevskii equation with rotation

Authors: Christian Döding, Patrick Henning

Abstract: In this paper, we consider an energy-conserving continuous Galerkin discretization of the Gross-Pitaevskii equation with a magnetic trapping potential and a stirring potential for angular momentum rotation. The discretization is based on finite elements in space and time and allows for arbitrary polynomial orders. It was first analyzed in [O. Karakashian, C. Makridakis; SIAM J. Numer. Anal. 36(6):… ▽ More In this paper, we consider an energy-conserving continuous Galerkin discretization of the Gross-Pitaevskii equation with a magnetic trapping potential and a stirring potential for angular momentum rotation. The discretization is based on finite elements in space and time and allows for arbitrary polynomial orders. It was first analyzed in [O. Karakashian, C. Makridakis; SIAM J. Numer. Anal. 36(6):1779-1807, 1999] in the absence of potential terms and corresponding a priori error estimates were derived in 2D. In this work we revisit the approach in the generalized setting of the Gross-Pitaevskii equation with rotation and we prove uniform $L^\infty$-bounds for the corresponding numerical approximations in 2D and 3D without coupling conditions between the spatial mesh size and the time step size. With this result at hand, we are in particular able to extend the previous error estimates to the 3D setting while avoiding artificial CFL conditions. △ Less

Submitted 21 September, 2023; v1 submitted 4 October, 2022; originally announced October 2022.

MSC Class: 35Q55; 65M60; 65M15; 81Q05

The dependency of spectral gaps on the convergence of the inverse iteration for a nonlinear eigenvector problem

Authors: Patrick Henning

Abstract: In this paper we consider the generalized inverse iteration for computing ground states of the Gross-Pitaevskii eigenvector problem (GPE). For that we prove explicit linear convergence rates that depend on the maximum eigenvalue in magnitude of a weighted linear eigenvalue problem. Furthermore, we show that this eigenvalue can be bounded by the first spectral gap of a linearized Gross-Pitaevskii o… ▽ More In this paper we consider the generalized inverse iteration for computing ground states of the Gross-Pitaevskii eigenvector problem (GPE). For that we prove explicit linear convergence rates that depend on the maximum eigenvalue in magnitude of a weighted linear eigenvalue problem. Furthermore, we show that this eigenvalue can be bounded by the first spectral gap of a linearized Gross-Pitaevskii operator, recovering the same rates as for linear eigenvector problems. With this we establish the first local convergence result for the basic inverse iteration for the GPE without damping. We also show how our findings directly generalize to extended inverse iterations, such as the Gradient Flow Discrete Normalized (GFDN) proposed in [W. Bao, Q. Du, SIAM J. Sci. Comput., 25 (2004)] or the damped inverse iteration suggested in [P. Henning, D. Peterseim, SIAM J. Numer. Anal., 53 (2020)]. Our analysis also reveals why the inverse iteration for the GPE does not react favourably to spectral shifts. This empirical observation can now be explained with a blow-up of a weighting function that crucially contributes to the convergence rates. Our findings are illustrated by numerical experiments. △ Less

Submitted 8 March, 2024; v1 submitted 15 February, 2022; originally announced February 2022.

MSC Class: 35Q55; 65N12; 65N25; 65N30; 81Q05

On optimal convergence rates for discrete minimizers of the Gross-Pitaevskii energy in LOD spaces

Authors: Patrick Henning, Anna Persson

Abstract: In this paper we revisit a two-level discretization based on the Localized Orthogonal Decomposition (LOD). It was originally proposed in [P.Henning, A.Målqvist, D.Peterseim. SIAM J. Numer. Anal.52-4:1525-1550, 2014] to compute ground states of Bose-Einstein condensates by finding discrete minimizers of the Gross-Pitaevskii energy functional. The established convergence rates for the method appeare… ▽ More In this paper we revisit a two-level discretization based on the Localized Orthogonal Decomposition (LOD). It was originally proposed in [P.Henning, A.Målqvist, D.Peterseim. SIAM J. Numer. Anal.52-4:1525-1550, 2014] to compute ground states of Bose-Einstein condensates by finding discrete minimizers of the Gross-Pitaevskii energy functional. The established convergence rates for the method appeared however suboptimal compared to numerical observations and a proof of optimal rates in this setting remained open. In this paper we shall close this gap by proving optimal order error estimates for the $L^2$- and $H^1$-error between the exact ground state and discrete minimizers, as well as error estimates for the ground state energy and the ground state eigenvalue. In particular, the achieved convergence rates for the energy and the eigenvalue are of $6$th order with respect to the mesh size on which the discrete LOD space is based, without making any additional regularity assumptions. These high rates justify the use of very coarse meshes, which significantly reduces the computational effort for finding accurate approximations of ground states. In addition, we include numerical experiments that confirm the optimality of the new theoretical convergence rates, both for smooth and discontinuous potentials. △ Less

Submitted 14 April, 2023; v1 submitted 15 December, 2021; originally announced December 2021.

Superconvergence of time invariants for the Gross-Pitaevskii equation

Authors: Patrick Henning, Johan Wärnegård

Abstract: This paper considers the numerical treatment of the time-dependent Gross-Pitaevskii equation. In order to conserve the time invariants of the equation as accurately as possible, we propose a Crank-Nicolson-type time discretization that is combined with a suitable generalized finite element discretization in space. The space discretization is based on the technique of Localized Orthogonal Decomposi… ▽ More This paper considers the numerical treatment of the time-dependent Gross-Pitaevskii equation. In order to conserve the time invariants of the equation as accurately as possible, we propose a Crank-Nicolson-type time discretization that is combined with a suitable generalized finite element discretization in space. The space discretization is based on the technique of Localized Orthogonal Decompositions (LOD) and allows to capture the time invariants with an accuracy of order $\mathcal{O}(H^6)$ with respect to the chosen mesh size $H$. This accuracy is preserved due to the conservation properties of the time stepping method. Furthermore, we prove that the resulting scheme approximates the exact solution in the $L^{\infty}(L^2)$-norm with order $\mathcal{O}(τ^2 + H^4)$, where $τ$ denotes the step size. The computational efficiency of the method is demonstrated in numerical experiments for a benchmark problem with known exact solution. △ Less

Submitted 19 October, 2021; v1 submitted 17 August, 2020; originally announced August 2020.

MSC Class: 35Q55; 65M60; 65M15; 81Q05

Localization and delocalization of ground states of Bose-Einstein condensates under disorder

Authors: Robert Altmann, Patrick Henning, Daniel Peterseim

Abstract: This paper studies the localization behaviour of Bose-Einstein condensates in disorder potentials, modeled by a Gross-Pitaevskii eigenvalue problem on a bounded interval. In the regime of weak particle interaction, we are able to quantify exponential localization of the ground state, depending on statistical parameters and the strength of the potential. Numerical studies further show delocalizatio… ▽ More This paper studies the localization behaviour of Bose-Einstein condensates in disorder potentials, modeled by a Gross-Pitaevskii eigenvalue problem on a bounded interval. In the regime of weak particle interaction, we are able to quantify exponential localization of the ground state, depending on statistical parameters and the strength of the potential. Numerical studies further show delocalization if we leave the identified parameter range, which is in agreement with experimental data. These mathematical and numerical findings allow the prediction of physically relevant regimes where localization of ground states may be observed experimentally. △ Less

Submitted 8 October, 2021; v1 submitted 1 June, 2020; originally announced June 2020.

Comments: accepted for publication in SIAM J. Appl. Math

MSC Class: 47H40; 81Q10; 65N25

Shadow Lagrangian dynamics for superfluidity

Authors: Patrick Henning, Anders M. N. Niklasson

Abstract: Motivated by a similar approach for Born-Oppenheimer molecular dynamics, this paper proposes an extended "shadow" Lagrangian density for quantum states of superfluids. The extended Lagrangian contains an additional field variable that is forced to follow the wave function of the quantum state through a rapidly oscillating extended harmonic oscillator. By considering the adiabatic limit for large f… ▽ More Motivated by a similar approach for Born-Oppenheimer molecular dynamics, this paper proposes an extended "shadow" Lagrangian density for quantum states of superfluids. The extended Lagrangian contains an additional field variable that is forced to follow the wave function of the quantum state through a rapidly oscillating extended harmonic oscillator. By considering the adiabatic limit for large frequencies of the harmonic oscillator, we can derive the two equations of motions, a Schrödinger-type equation for the quantum state and a wave equation for the extended field variable. The equations are coupled in a nonlinear way, but each equation individually is linear with respect to the variable that it defines. The computational advantage of this new system is that it can be easily discretized using linear time stepping methods, where we propose to use a Crank-Nicolson-type approach for the Schrödinger equation and an extended leapfrog scheme for the wave equation. Furthermore, the difference between the quantum state and the extended field variable defines a consistency error that should go to zero if the frequency tends to infinity. By coupling the time-step size in our discretization to the frequency of the harmonic oscillator we can extract an easily computable consistency error indicator that can be used to estimate the numerical error without any additional costs. The findings are illustrated in numerical experiments. △ Less

Submitted 11 January, 2021; v1 submitted 21 December, 2019; originally announced December 2019.

Computational homogenization of time-harmonic Maxwell's equations

Authors: Patrick Henning, Anna Persson

Abstract: In this paper we consider a numerical homogenization technique for curl-curl-problems that is based on the framework of the Localized Orthogonal Decomposition and which was proposed in [D. Gallistl, P. Henning, B. Verfürth. SIAM J. Numer. Anal. 56-3:1570-1596, 2018] for problems with essential boundary conditions. The findings of the aforementioned work establish quantitative homogenization result… ▽ More In this paper we consider a numerical homogenization technique for curl-curl-problems that is based on the framework of the Localized Orthogonal Decomposition and which was proposed in [D. Gallistl, P. Henning, B. Verfürth. SIAM J. Numer. Anal. 56-3:1570-1596, 2018] for problems with essential boundary conditions. The findings of the aforementioned work establish quantitative homogenization results for the time-harmonic Maxwell's equations that hold beyond assumptions of periodicity, however, a practical realization of the approach was left open. In this paper, we transfer the findings from essential boundary conditions to natural boundary conditions and we demonstrate that the approach yields a computable numerical method. We also investigate how boundary values of the source term can effect the computational complexity and accuracy. Our findings will be supported by various numerical experiments, both in $2D$ and $3D$. △ Less

Submitted 3 March, 2020; v1 submitted 16 October, 2019; originally announced October 2019.

MSC Class: 35Q61; 65N30; 65N12; 78M10

The $J$-method for the Gross-Pitaevskii eigenvalue problem

Authors: Robert Altmann, Patrick Henning, Daniel Peterseim

Abstract: This paper studies the $J$-method of [E. Jarlebring, S. Kvaal, W. Michiels. SIAM J. Sci. Comput. 36-4:A1978-A2001, 2014] for nonlinear eigenvector problems in a general Hilbert space framework. This is the basis for variational discretization techniques and a mesh-independent numerical analysis. A simple modification of the method mimics an energy-decreasing discrete gradient flow. In the case of… ▽ More This paper studies the $J$-method of [E. Jarlebring, S. Kvaal, W. Michiels. SIAM J. Sci. Comput. 36-4:A1978-A2001, 2014] for nonlinear eigenvector problems in a general Hilbert space framework. This is the basis for variational discretization techniques and a mesh-independent numerical analysis. A simple modification of the method mimics an energy-decreasing discrete gradient flow. In the case of the Gross-Pitaevskii eigenvalue problem, we prove global convergence towards an eigenfunction for a damped version of the $J$-method. More importantly, when the iterations are sufficiently close to an eigenfunction, the damping can be switched off and we recover a local linear convergence rate previously known from the discrete setting. This quantitative convergence analysis is closely connected to the~$J$-method's unique feature of sensitivity with respect to spectral shifts. Contrary to classical gradient flows, this allows both the selective approximation of excited states as well as the amplification of convergence beyond linear rates in the spirit of the Rayleigh quotient iteration for linear eigenvalue problems. These advantageous convergence properties are demonstrated in a series of numerical experiments involving exponentially localized states under disorder potentials and vortex lattices in rotating traps. △ Less

Submitted 9 December, 2020; v1 submitted 1 August, 2019; originally announced August 2019.

MSC Class: 35Q55; 65N12; 65N25; 81Q05

A note on optimal $H^1$-error estimates for Crank-Nicolson approximations to the nonlinear Schrödinger equation

Authors: Patrick Henning, Johan Wärnegård

Abstract: In this paper we consider a mass- and energy--conserving Crank-Nicolson time discretization for a general class of nonlinear Schrödinger equations. This scheme, which enjoys popularity in the physics community due to its conservation properties, was already subject to several analytical and numerical studies. However, a proof of optimal $L^{\infty}(H^1)$-error estimates is still open, both in the… ▽ More In this paper we consider a mass- and energy--conserving Crank-Nicolson time discretization for a general class of nonlinear Schrödinger equations. This scheme, which enjoys popularity in the physics community due to its conservation properties, was already subject to several analytical and numerical studies. However, a proof of optimal $L^{\infty}(H^1)$-error estimates is still open, both in the semi-discrete Hilbert space setting, as well as in fully-discrete finite element settings. This paper aims at closing this gap in the literature. We also suggest a fixed point iteration to solve the arising nonlinear system of equations that makes the method easy to implement and efficient. This is illustrated by numerical experiments. △ Less

Submitted 7 July, 2020; v1 submitted 5 July, 2019; originally announced July 2019.

MSC Class: 35Q55; 65M60; 65M15; 81Q05

Sobolev gradient flow for the Gross-Pitaevskii eigenvalue problem: global convergence and computational efficiency

Authors: Patrick Henning, Daniel Peterseim

Abstract: We propose a new normalized Sobolev gradient flow for the Gross-Pitaevskii eigenvalue problem based on an energy inner product that depends on time through the density of the flow itself. The gradient flow is well-defined and converges to an eigenfunction. For ground states we can quantify the convergence speed as exponentially fast where the rate depends on spectral gaps of a linearized operator.… ▽ More We propose a new normalized Sobolev gradient flow for the Gross-Pitaevskii eigenvalue problem based on an energy inner product that depends on time through the density of the flow itself. The gradient flow is well-defined and converges to an eigenfunction. For ground states we can quantify the convergence speed as exponentially fast where the rate depends on spectral gaps of a linearized operator. The forward Euler time discretization of the flow yields a numerical method which generalizes the inverse iteration for the nonlinear eigenvalue problem. For sufficiently small time steps, the method reduces the energy in every step and converges globally in $H^1$ to an eigenfunction. In particular, for any nonnegative starting value, the ground state is obtained. A series of numerical experiments demonstrates the computational efficiency of the method and its competitiveness with established discretizations arising from other gradient flows for this problem. △ Less

Submitted 2 April, 2020; v1 submitted 3 December, 2018; originally announced December 2018.

MSC Class: 35Q55; 65N12; 65N25; 65N30; 81Q05

Numerical comparison of mass-conservative schemes for the Gross-Pitaevskii equation

Authors: Patrick Henning, Johan Wärnegård

Abstract: In this paper we present a numerical comparison of various mass-conservative discretizations for the time-dependent Gross-Pitaevskii equation. We have three main objectives. First, we want to clarify how purely mass-conservative methods perform compared to methods that are additionally energy-conservative or symplectic. Second, we shall compare the accuracy of energy-conservative and symplectic me… ▽ More In this paper we present a numerical comparison of various mass-conservative discretizations for the time-dependent Gross-Pitaevskii equation. We have three main objectives. First, we want to clarify how purely mass-conservative methods perform compared to methods that are additionally energy-conservative or symplectic. Second, we shall compare the accuracy of energy-conservative and symplectic methods among each other. Third, we will investigate if a linearized energy-conserving method suffers from a loss of accuracy compared to an approach which requires to solve a full nonlinear problem in each time-step. In order to obtain a representative comparison, our numerical experiments cover different physically relevant test cases, such as traveling solitons, stationary multi-solitons, Bose-Einstein condensates in an optical lattice and vortex pattern in a rapidly rotating superfluid. We shall also consider a computationally severe test case involving a pseudo Mott insulator. Our space discretization is based on finite elements throughout the paper. We will also give special attention to long time behavior and possible coupling conditions between time-step sizes and mesh sizes. The main observation of this paper is that mass conservation alone will not lead to a competitive method in complex settings. Furthermore, energy-conserving and symplectic methods are both reliable and accurate, yet, the energy-conservative schemes achieve a visibly higher accuracy in our test cases. Finally, the scheme that performs best throughout our experiments is an energy-conserving relaxation scheme with linear time-stepping proposed by C. Besse (SINUM,42(3):934--952,2004). △ Less

Submitted 26 June, 2019; v1 submitted 27 April, 2018; originally announced April 2018.

MSC Class: 35Q55; 65M60; 65Y20; 65Z99; 65P10; 81Q05

Quantitative Anderson localization of Schrödinger eigenstates under disorder potentials

Authors: Robert Altmann, Patrick Henning, Daniel Peterseim

Abstract: This paper concerns spectral properties of linear Schrödinger operators under oscillatory high-amplitude potentials on bounded domains. Depending on the degree of disorder, we prove the existence of spectral gaps amongst the lowermost eigenvalues and the emergence of exponentially localized states. We quantify the rate of decay in terms of geometric parameters that characterize the potential. The… ▽ More This paper concerns spectral properties of linear Schrödinger operators under oscillatory high-amplitude potentials on bounded domains. Depending on the degree of disorder, we prove the existence of spectral gaps amongst the lowermost eigenvalues and the emergence of exponentially localized states. We quantify the rate of decay in terms of geometric parameters that characterize the potential. The proofs are based on the convergence theory of iterative solvers for eigenvalue problems and their optimal local preconditioning by domain decomposition. △ Less

Submitted 9 February, 2020; v1 submitted 27 March, 2018; originally announced March 2018.

Comments: accepted for publication in M3AS

MSC Class: 35P15; 81Q10; 65N25; 65N55; 47B80

Numerical homogenization of H(curl)-problems

Authors: Dietmar Gallistl, Patrick Henning, Barbara Verfürth

Abstract: If an elliptic differential operator associated with an $\mathbf{H}(\mathrm{curl})$-problem involves rough (rapidly varying) coefficients, then solutions to the corresponding $\mathbf{H}(\mathrm{curl})$-problem admit typically very low regularity, which leads to arbitrarily bad convergence rates for conventional numerical schemes. The goal of this paper is to show that the missing regularity can b… ▽ More If an elliptic differential operator associated with an $\mathbf{H}(\mathrm{curl})$-problem involves rough (rapidly varying) coefficients, then solutions to the corresponding $\mathbf{H}(\mathrm{curl})$-problem admit typically very low regularity, which leads to arbitrarily bad convergence rates for conventional numerical schemes. The goal of this paper is to show that the missing regularity can be compensated through a corrector operator. More precisely, we consider the lowest order Nédélec finite element space and show the existence of a linear corrector operator with four central properties: it is computable, $\mathbf{H}(\mathrm{curl})$-stable, quasi-local and allows for a correction of coarse finite element functions so that first-order estimates (in terms of the coarse mesh-size) in the $\mathbf{H}(\mathrm{curl})$ norm are obtained provided the right-hand side belongs to $\mathbf{H}(\mathrm{div})$. With these four properties, a practical application is to construct generalized finite element spaces which can be straightforwardly used in a Galerkin method. In particular, this characterizes a homogenized solution and a first order corrector, including corresponding quantitative error estimates without the requirement of scale separation. △ Less

Submitted 9 June, 2017; originally announced June 2017.

MSC Class: 35Q61; 65N12; 65N15; 65N30; 78M10

Crank-Nicolson Galerkin approximations to nonlinear Schrödinger equations with rough potentials

Authors: Patrick Henning, Daniel Peterseim

Abstract: This paper analyses the numerical solution of a class of non-linear Schrödinger equations by Galerkin finite elements in space and a mass- and energy conserving variant of the Crank-Nicolson method due to Sanz-Serna in time. The novel aspects of the analysis are the incorporation of rough, discontinuous potentials in the context of weak and strong disorder, the consideration of some general class… ▽ More This paper analyses the numerical solution of a class of non-linear Schrödinger equations by Galerkin finite elements in space and a mass- and energy conserving variant of the Crank-Nicolson method due to Sanz-Serna in time. The novel aspects of the analysis are the incorporation of rough, discontinuous potentials in the context of weak and strong disorder, the consideration of some general class of non-linearities, and the proof of convergence with rates in $L^{\infty}(L^2)$ under moderate regularity assumptions that are compatible with discontinuous potentials. For sufficiently smooth potentials, the rates are optimal without any coupling condition between the time step size and the spatial mesh width. △ Less

Submitted 17 June, 2017; v1 submitted 7 August, 2016; originally announced August 2016.

Multiscale methods for wave problems in heterogeneous media

Authors: Assyr Abdulle, Patrick Henning

Abstract: In this paper we give a survey on various multiscale methods for the numerical solution of second order hyperbolic equations in highly heterogeneous media. We concentrate on the wave equation and distinguish between two classes of applications. First we discuss numerical methods for the wave equation in heterogeneous media without scale separation. Such a setting is for instance encountered in the… ▽ More In this paper we give a survey on various multiscale methods for the numerical solution of second order hyperbolic equations in highly heterogeneous media. We concentrate on the wave equation and distinguish between two classes of applications. First we discuss numerical methods for the wave equation in heterogeneous media without scale separation. Such a setting is for instance encountered in the geosciences, where natural structures often exhibit a continuum of different scales, that all need to be resolved numerically to get meaningful approximations. Approaches tailored for these settings typically involve the construction of generalized finite element spaces, where the basis functions incorporate information about the data variations. In the second part of the paper, we discuss numerical methods for the case of structured media with scale separation. This setting is for instance encountered in engineering sciences, where materials are often artificially designed. If this is the case, the structure and the scale separation can be explicitly exploited to compute appropriate homogenized/upscaled wave models that only exhibit a single coarse scale and that can be hence solved at significantly reduced computational costs. △ Less

Submitted 25 May, 2016; originally announced May 2016.

A multiscale method for linear elasticity reducing Poisson locking

Authors: Patrick Henning, Anna Persson

Abstract: We propose a generalized finite element method for linear elasticity equations with highly varying and oscillating coefficients. The method is formulated in the framework of localized orthogonal decomposition techniques introduced by Målqvist and Peterseim (Math. Comp., 83(290): 2583--2603, 2014). Assuming only $L_\infty$-coefficients we prove linear convergence in the $H^1$-norm, also for materia… ▽ More We propose a generalized finite element method for linear elasticity equations with highly varying and oscillating coefficients. The method is formulated in the framework of localized orthogonal decomposition techniques introduced by Målqvist and Peterseim (Math. Comp., 83(290): 2583--2603, 2014). Assuming only $L_\infty$-coefficients we prove linear convergence in the $H^1$-norm, also for materials with large Lamé parameter $λ$. The theoretical a priori error estimate is confirmed by numerical examples. △ Less

Submitted 31 March, 2016; originally announced March 2016.

Efficient implementation of the Localized Orthogonal Decomposition method

Authors: Christian Engwer, Patrick Henning, Axel Målqvist, Daniel Peterseim

Abstract: In this paper we present algorithms for an efficient implementation of the Localized Orthogonal Decomposition method (LOD). The LOD is a multiscale method for the numerical simulation of partial differential equations with a continuum of inseparable scales. We show how the method can be implemented in a fairly standard Finite Element framework and discuss its realization for different types of pro… ▽ More In this paper we present algorithms for an efficient implementation of the Localized Orthogonal Decomposition method (LOD). The LOD is a multiscale method for the numerical simulation of partial differential equations with a continuum of inseparable scales. We show how the method can be implemented in a fairly standard Finite Element framework and discuss its realization for different types of problems, such as linear elliptic problems with rough coefficients and linear eigenvalue problems. △ Less

Submitted 20 February, 2019; v1 submitted 4 February, 2016; originally announced February 2016.

A new Heterogeneous Multiscale Method for time-harmonic Maxwell's equations based on divergence-regularization

Authors: Patrick Henning, Mario Ohlberger, Barbara Verfürth

Abstract: In this paper, we suggest a new heterogeneous multiscale method (HMM) for the time-harmonic Maxwell equations in locally periodic media. The method is constructed by using a divergence-regularization in one of the cell problems. This allows us to introduce fine-scale correctors that are not subject to a cumbersome divergence-free constraint and which can hence easily be implemented. To analyze the… ▽ More In this paper, we suggest a new heterogeneous multiscale method (HMM) for the time-harmonic Maxwell equations in locally periodic media. The method is constructed by using a divergence-regularization in one of the cell problems. This allows us to introduce fine-scale correctors that are not subject to a cumbersome divergence-free constraint and which can hence easily be implemented. To analyze the method, we first revisit classical homogenization theory for time-harmonic Maxwell equations and derive a new homogenization result that makes use of the divergence-regularization in the two-scale homogenized equation. We then show that the HMM is equivalent to a discretization of this equation. In particular, writing both problems in a fully coupled two-scale formulation is the crucial starting point for a corresponding numerical analysis of the method. With this approach we are able to prove rigorous a priori error estimates in the $\mathbf{H}(\mbox{curl})$- and the $H^{-1}$-norm and we derive reliable and efficient localized residual-based a posteriori error estimates. △ Less

Submitted 14 September, 2015; v1 submitted 10 September, 2015; originally announced September 2015.

Comments: 31 pages, fixed typos in this version

MSC Class: 35B27; 65N15; 65N30; 78M40

The Finite Element Method for the time-dependent Gross-Pitaevskii equation with angular momentum rotation

Authors: Patrick Henning, Axel Målqvist

Abstract: We consider the time-dependent Gross-Pitaevskii equation describing the dynamics of rotating Bose-Einstein condensates and its discretization with the finite element method. We analyze a mass conserving Crank-Nicolson-type discretization and prove corresponding a priori error estimates with respect to the maximum norm in time and the $L^2$- and energy-norm in space. The estimates show that we obta… ▽ More We consider the time-dependent Gross-Pitaevskii equation describing the dynamics of rotating Bose-Einstein condensates and its discretization with the finite element method. We analyze a mass conserving Crank-Nicolson-type discretization and prove corresponding a priori error estimates with respect to the maximum norm in time and the $L^2$- and energy-norm in space. The estimates show that we obtain optimal convergence rates under the assumption of additional regularity for the solution to the Gross-Pitaevskii equation. We demonstrate the performance of the method in numerical experiments. △ Less

Submitted 7 June, 2016; v1 submitted 17 February, 2015; originally announced February 2015.

Multiscale mixed finite elements

Authors: Fredrik Hellman, Patrick Henning, Axel Målqvist

Abstract: In this work, we propose a mixed finite element method for solving elliptic multiscale problems based on a localized orthogonal decomposition (LOD) of Raviart-Thomas finite element spaces. It requires to solve local problems in small patches around the elements of a coarse grid. These computations can be perfectly parallelized and are cheap to perform. Using the results of these patch problems, we… ▽ More In this work, we propose a mixed finite element method for solving elliptic multiscale problems based on a localized orthogonal decomposition (LOD) of Raviart-Thomas finite element spaces. It requires to solve local problems in small patches around the elements of a coarse grid. These computations can be perfectly parallelized and are cheap to perform. Using the results of these patch problems, we construct a low dimensional multiscale mixed finite element space with very high approximation properties. This space can be used for solving the original saddle point problem in an efficient way. We prove convergence of our approach, independent of structural assumptions or scale separation. Finally, we demonstrate the applicability of our method by presenting a variety of numerical experiments, including a comparison with an MsFEM approach. △ Less

Submitted 20 June, 2016; v1 submitted 22 January, 2015; originally announced January 2015.

MSC Class: 35J15; 35M10; 65N12; 65N30; 76S05

A reduced basis localized orthogonal decomposition

Authors: Assyr Abdulle, Patrick Henning

Abstract: In this work we combine the framework of the Reduced Basis method (RB) with the framework of the Localized Orthogonal Decomposition (LOD) in order to solve parametrized elliptic multiscale problems. The idea of the LOD is to split a high dimensional Finite Element space into a low dimensional space with comparably good approximation properties and a remainder space with negligible information. The… ▽ More In this work we combine the framework of the Reduced Basis method (RB) with the framework of the Localized Orthogonal Decomposition (LOD) in order to solve parametrized elliptic multiscale problems. The idea of the LOD is to split a high dimensional Finite Element space into a low dimensional space with comparably good approximation properties and a remainder space with negligible information. The low dimensional space is spanned by locally supported basis functions associated with the node of a coarse mesh obtained by solving decoupled local problems. However, for parameter dependent multiscale problems, the local basis has to be computed repeatedly for each choice of the parameter. To overcome this issue, we propose an RB approach to compute in an "offline" stage LOD for suitable representative parameters. The online solution of the multiscale problems can then be obtained in a coarse space (thanks to the LOD decomposition) and for an arbitrary value of the parameters (thanks to a suitable "interpolation" of the selected RB). The online RB-LOD has a basis with local support and leads to sparse systems. Applications of the strategy to both linear and nonlinear problems are given. △ Less

Submitted 12 May, 2015; v1 submitted 13 October, 2014; originally announced October 2014.

MSC Class: 65N30; 65M60; 74Q05; 74Q15

Journal ref: Journal of Computational Physics, Vol. 295, pp 379--401, 2015

Localized orthogonal decomposition method for the wave equation with a continuum of scales

Authors: Assyr Abdulle, Patrick Henning

Abstract: This paper is devoted to numerical approximations for the wave equation with a multiscale character. Our approach is formulated in the framework of the Localized Orthogonal Decomposition (LOD) interpreted as a numerical homogenization with an $L^2$-projection. We derive explicit convergence rates of the method in the $L^{\infty}(L^2)$-, $W^{1,\infty}(L^2)$- and $L^{\infty}(H^1)$-norms without any… ▽ More This paper is devoted to numerical approximations for the wave equation with a multiscale character. Our approach is formulated in the framework of the Localized Orthogonal Decomposition (LOD) interpreted as a numerical homogenization with an $L^2$-projection. We derive explicit convergence rates of the method in the $L^{\infty}(L^2)$-, $W^{1,\infty}(L^2)$- and $L^{\infty}(H^1)$-norms without any assumptions on higher order space regularity or scale-separation. The order of the convergence rates depends on further graded assumptions on the initial data. We also prove the convergence of the method in the framework of G-convergence without any structural assumptions on the initial data, i.e. without assuming that it is well-prepared. This rigorously justifies the method. Finally, the performance of the method is demonstrated in numerical experiments. △ Less

Submitted 22 September, 2015; v1 submitted 24 June, 2014; originally announced June 2014.

On Multiscale Methods in Petrov-Galerkin formulation

Authors: Daniel Elfverson, Victor Ginting, Patrick Henning

Abstract: In this work we investigate the advantages of multiscale methods in Petrov-Galerkin (PG) formulation in a general framework. The framework is based on a localized orthogonal decomposition of a high dimensional solution space into a low dimensional multiscale space with good approximation properties and a high dimensional remainder space{, which only contains negligible fine scale information}. The… ▽ More In this work we investigate the advantages of multiscale methods in Petrov-Galerkin (PG) formulation in a general framework. The framework is based on a localized orthogonal decomposition of a high dimensional solution space into a low dimensional multiscale space with good approximation properties and a high dimensional remainder space{, which only contains negligible fine scale information}. The multiscale space can then be used to obtain accurate Galerkin approximations. As a model problem we consider the Poisson equation. We prove that a Petrov-Galerkin formulation does not suffer from a significant loss of accuracy, and still preserve the convergence order of the original multiscale method. We also prove inf-sup stability of a PG Continuous and a Discontinuous Galerkin Finite Element multiscale method. Furthermore, we demonstrate that the Petrov-Galerkin method can decrease the computational complexity significantly, allowing for more efficient solution algorithms. As another application of the framework, we show how the Petrov-Galerkin framework can be used to construct a locally mass conservative solver for two-phase flow simulation that employs the Buckley-Leverett equation. To achieve this, we couple a PG Discontinuous Galerkin Finite Element method with an upwind scheme for a hyperbolic conservation law. △ Less

Submitted 30 December, 2014; v1 submitted 22 May, 2014; originally announced May 2014.

Multiscale Partition of Unity

Authors: Daniel Peterseim, Patrick Henning, Philipp Morgenstern

Abstract: We introduce a new Partition of Unity Method for the numerical homogenization of elliptic partial differential equations with arbitrarily rough coefficients. We do not restrict to a particular ansatz space or the existence of a finite element mesh. The method modifies a given partition of unity such that optimal convergence is achieved independent of oscillation or discontinuities of the diffusion… ▽ More We introduce a new Partition of Unity Method for the numerical homogenization of elliptic partial differential equations with arbitrarily rough coefficients. We do not restrict to a particular ansatz space or the existence of a finite element mesh. The method modifies a given partition of unity such that optimal convergence is achieved independent of oscillation or discontinuities of the diffusion coefficient. The modification is based on an orthogonal decomposition of the solution space while preserving the partition of unity property. This precomputation involves the solution of independent problems on local subdomains of selectable size. We deduce quantitative error estimates for the method that account for the chosen amount of localization. Numerical experiments illustrate the high approximation properties even for 'cheap' parameter choices. △ Less

Submitted 10 October, 2014; v1 submitted 20 December, 2013; originally announced December 2013.

Comments: Proceedings for Seventh International Workshop on Meshfree Methods for Partial Differential Equations, 18 pages, 3 figures

Report number: 1315 MSC Class: 65N99; 65B99; 74Q05 ACM Class: G.1.8

Localized orthogonal decomposition techniques for boundary value problems

Authors: Patrick Henning, Axel Målqvist

Abstract: In this paper we propose a Local Orthogonal Decomposition method (LOD) for elliptic partial differential equations with inhomogeneous Dirichlet- and Neumann boundary conditions. For this purpose, we present new boundary correctors which preserve the common convergence rates of the LOD, even if the boundary condition has a rapidly oscillating fine scale structure. We prove a corresponding a-priori… ▽ More In this paper we propose a Local Orthogonal Decomposition method (LOD) for elliptic partial differential equations with inhomogeneous Dirichlet- and Neumann boundary conditions. For this purpose, we present new boundary correctors which preserve the common convergence rates of the LOD, even if the boundary condition has a rapidly oscillating fine scale structure. We prove a corresponding a-priori error estimate and present numerical experiments. We also demonstrate numerically that the method is reliable with respect to thin conductivity channels in the diffusion matrix. Accurate results are obtained without resolving these channels by the coarse grid and without using patches that contain the channels. △ Less

Submitted 17 July, 2014; v1 submitted 15 August, 2013; originally announced August 2013.

MSC Class: 35J15; 65N12; 65N30

Adaptive Heterogeneous Multiscale Methods for immiscible two-phase flow in porous media

Authors: Patrick Henning, Mario Ohlberger, Ben Schweizer

Abstract: In this contribution we present the first formulation of a heterogeneous multiscale method for an incompressible immiscible two-phase flow system with degenerate permeabilities. The method is in a general formulation which includes oversampling. We do not specify the discretization of the derived macroscopic equation, but we give two examples of possible realizations, suggesting a finite element s… ▽ More In this contribution we present the first formulation of a heterogeneous multiscale method for an incompressible immiscible two-phase flow system with degenerate permeabilities. The method is in a general formulation which includes oversampling. We do not specify the discretization of the derived macroscopic equation, but we give two examples of possible realizations, suggesting a finite element solver for the fine scale and a vertex centered finite volume method for the effective coarse scale equations. Assuming periodicity, we show that the method is equivalent to a discretization of the homogenized equation. We provide an a-posteriori estimate for the error between the homogenized solutions of the pressure and saturation equations and the corresponding HMM approximations. The error estimate is based on the results recently achieved in [C. Canc{è}s, I. S. Pop, and M. Vohralík. An a posteriori error estimate for vertex-centered finite volume discretizations of immiscible incompressible two-phase flow. Math. Comp., 2014]. △ Less

Submitted 23 October, 2014; v1 submitted 8 July, 2013; originally announced July 2013.

MSC Class: 76S05; 35B27; 65G99; 65N08; 65N30

Two-Level discretization techniques for ground state computations of Bose-Einstein condensates

Authors: Patrick Henning, Axel Målqvist, Daniel Peterseim

Abstract: This work presents a new methodology for computing ground states of Bose-Einstein condensates based on finite element discretizations on two different scales of numerical resolution. In a pre-processing step, a low-dimensional (coarse) generalized finite element space is constructed. It is based on a local orthogonal decomposition and exhibits high approximation properties. The non-linear eigenval… ▽ More This work presents a new methodology for computing ground states of Bose-Einstein condensates based on finite element discretizations on two different scales of numerical resolution. In a pre-processing step, a low-dimensional (coarse) generalized finite element space is constructed. It is based on a local orthogonal decomposition and exhibits high approximation properties. The non-linear eigenvalue problem that characterizes the ground state is solved by some suitable iterative solver exclusively in this low-dimensional space, without loss of accuracy when compared with the solution of the full fine scale problem. The pre-processing step is independent of the types and numbers of bosons. A post-processing step further improves the accuracy of the method. We present rigorous a priori error estimates that predict convergence rates H^3 for the ground state eigenfunction and H^4 for the corresponding eigenvalue without pre-asymptotic effects; H being the coarse scale discretization parameter. Numerical experiments indicate that these high rates may still be pessimistic. △ Less

Submitted 20 May, 2014; v1 submitted 17 May, 2013; originally announced May 2013.

Comments: Accepted for publication in SIAM J. Numer. Anal., 2014

MSC Class: 35Q55; 65N15; 65N25; 65N30; 81Q05

Oversampling for the Multiscale Finite Element Method

Authors: Patrick Henning, Daniel Peterseim

Abstract: This paper reviews standard oversampling strategies as performed in the Multiscale Finite Element Method (MsFEM). Common to those approaches is that the oversampling is performed in the full space restricted to a patch but including coarse finite element functions. We suggest, by contrast, to perform local computations with the additional constraint that trial and test functions are linear indepen… ▽ More This paper reviews standard oversampling strategies as performed in the Multiscale Finite Element Method (MsFEM). Common to those approaches is that the oversampling is performed in the full space restricted to a patch but including coarse finite element functions. We suggest, by contrast, to perform local computations with the additional constraint that trial and test functions are linear independent from coarse finite element functions. This approach re-interprets the Variational Multiscale Method in the context of computational homogenization. This connection gives rise to a general fully discrete error analysis for the proposed multiscale method with constrained oversampling without any resonance effects. In particular, we are able to give the first rigorous proof of convergence for a MsFEM with oversampling. △ Less

Submitted 3 July, 2013; v1 submitted 26 November, 2012; originally announced November 2012.

MSC Class: 35J15; 65N12; 65N30

Journal ref: SIAM Multiscale Mod. Simul. pages 1149--1175 vol. 11 num. 4 - 2013

A localized orthogonal decomposition method for semi-linear elliptic problems

Authors: Patrick Henning, Axel Malqvist, Daniel Peterseim

Abstract: In this paper we propose and analyze a new Multiscale Method for solving semi-linear elliptic problems with heterogeneous and highly variable coefficient functions. For this purpose we construct a generalized finite element basis that spans a low dimensional multiscale space. The basis is assembled by performing localized linear fine-scale computations in small patches that have a diameter of orde… ▽ More In this paper we propose and analyze a new Multiscale Method for solving semi-linear elliptic problems with heterogeneous and highly variable coefficient functions. For this purpose we construct a generalized finite element basis that spans a low dimensional multiscale space. The basis is assembled by performing localized linear fine-scale computations in small patches that have a diameter of order H |log H| where H is the coarse mesh size. Without any assumptions on the type of the oscillations in the coefficients, we give a rigorous proof for a linear convergence of the H1-error with respect to the coarse mesh size. To solve the arising equations, we propose an algorithm that is based on a damped Newton scheme in the multiscale space. △ Less

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

Journal ref: ESAIM: M2AN 48 (2014) 1331-1349