We gratefully acknowledge support from
the Simons Foundation and member institutions.

Numerical Analysis

New submissions

[ total of 42 entries: 1-42 ]
[ showing up to 2000 entries per page: fewer | more ]

New submissions for Tue, 19 Jan 21

[1]  arXiv:2101.06293 [pdf, ps, other]
Title: A generalized inf-sup stable variational formulation for the wave equation
Comments: 27 pages
Subjects: Numerical Analysis (math.NA); Analysis of PDEs (math.AP)

In this paper, we consider a variational formulation for the Dirichlet problem of the wave equation with zero boundary and initial conditions, where we use integration by parts in space and time. To prove unique solvability in a subspace of $H^1(Q$) with $Q$ being the space-time domain, the classical assumption is to consider the right-hand side $f$ in $L^2(Q)$. Here, we analyze a generalized setting of this variational formulation, which allows us to prove unique solvability also for $f$ being in the dual space of the test space, i.e., the solution operator is an isomorphism between the ansatz space and the dual of the test space. This new approach is based on a suitable extension of the ansatz space to include the information of the differential operator of the wave equation at the initial time $t=0$. These results are of utmost importance for the formulation and numerical analysis of unconditionally stable space-time finite element methods, and for the numerical analysis of boundary element methods to overcome the well-known norm gap in the analysis of boundary integral operators.

[2]  arXiv:2101.06297 [pdf, other]
Title: A Stable Mixed FE Method for Nearly Incompressible Linear Elastostatics
Subjects: Numerical Analysis (math.NA); Computational Engineering, Finance, and Science (cs.CE)

We present a new, stable, mixed finite element (FE) method for linear elastostatics of nearly incompressible solids. The method is the automatic variationally stable FE (AVS-FE) method of Calo, Romkes and Valseth, in which we consider a Petrov-Galerkin weak formulation where the stress and displacement variables are in the space H(div)xH1, respectively. This allows us to employ a fully conforming FE discretization for any elastic solid using classical FE subspaces of H(div) and H1. Hence, the resulting FE approximation yields both continuous stresses and displacements.
To ensure stability of the method, we employ the philosophy of the discontinuous Petrov-Galerkin (DPG) method of Demkowicz and Gopalakrishnan and use optimal test spaces. Thus, the resulting FE discretization is stable even as the Poisson ratio approaches 0.5, and the system of linear algebraic equations is symmetric and positive definite. Our method also comes with a built-in a posteriori error estimator as well as well as indicators which are used to drive mesh adaptive refinements. We present several numerical verifications of our method including comparisons to existing FE technologies.

[3]  arXiv:2101.06434 [pdf, ps, other]
Title: A symbol based analysis for multigrid methods for Block-Circulant and Block-Toeplitz Systems
Subjects: Numerical Analysis (math.NA)

In the literature, there exist several studies on symbol-based multigrid methods for the solution of linear systems having structured coefficient matrices. In particular, the convergence analysis for such methods has been obtained in an elegant form in the case of Toeplitz matrices generated by a scalar-valued function. In the block-Toeplitz setting, that is, in the case where the matrix entries are small generic matrices instead of scalars, some algorithms have already been proposed regarding specific applications and a first rigorous convergence analysis has been performed in [7]. However, with the existent symbol-based theoretical tools, it is still not possible to prove the convergence of many multigrid methods known in the literature. This paper aims to generalize the previous results giving more general sufficient conditions on the symbol of the grid transfer operators.In particular, we treat matrix-valued trigonometric polynomials which can be non-diagonalizable and singular at all points and we express the new conditions in terms of the eigenvectors associated with the ill-conditioned subspace. Moreover, we extend the analysis to the V-cycle method proving a linear convergence rate under stronger conditions, which resemble those given in the scalar case. In order to validate our theoretical findings, we present a classical block structured problem stemming from a FEM approximation of a second order differential problem. We focus on two multigrid strategies that use the geometric and the standard bisection grid transfer operators and we prove that both fall into the category of projectors satisfying the proposed conditions. In addition, using a tensor product argument, we provide a strategy to construct efficient V-cycle procedures in the block multilevel setting.

[4]  arXiv:2101.06497 [pdf, other]
Title: High-accuracy mesh-free quadrature for trimmed parametric surfaces and volumes
Comments: 19 pages, 17 figures, submitted to Computer-Aided Design
Subjects: Numerical Analysis (math.NA)

This work presents a high-accuracy, mesh-free, generalized Stokes theorem-based numerical quadrature scheme for integrating functions over trimmed parametric surfaces and volumes. The algorithm relies on two fundamental steps: (1) We iteratively reduce the dimensionality of integration using the generalized Stokes theorem to line integrals over trimming curves, and (2) we employ numerical antidifferentiation in the generalized Stokes theorem using high-order quadrature rules. The scheme achieves exponential convergence up to trimming curve approximation error and has applications to computation of geometric moments, immersogeometric analysis, conservative field transfer between high-order curvilinear meshes, and initialization of multi-material simulations. We compare the quadrature scheme to commonly-used quadrature schemes in the literature and show that our scheme is much more efficient in terms of number of quadrature points used. We provide an open-source implementation of the scheme in MATLAB as part of QuaHOG, a software package for Quadrature of High-Order Geometries.

[5]  arXiv:2101.06505 [pdf, other]
Title: What was the river Ister in the time of Strabo? A mathematical approach
Subjects: Numerical Analysis (math.NA); Computers and Society (cs.CY)

In this paper, we introduce a novel method for map registration and apply it to transformation of the river Ister from Strabo's map of the World to the current map in the World Geodetic System. This transformation leads to the surprising but convincing result that Strabo's river Ister best coincides with the nowadays Tauernbach-Isel-Drava-Danube course and not with the Danube river what is commonly assumed. Such a result is supported by carefully designed mathematical measurements and it resolves all related controversies otherwise appearing in understanding and translation of Strabo's original text. Based on this result we also show that {\it Strabo's Suevi in the Hercynian Forest} corresponds to the Slavic people in the Carpathian-Alpine basin and thus that the compact Slavic settlement was there already at the beginning of the first millennium AD.

[6]  arXiv:2101.06550 [pdf, other]
Title: GPU Methodologies for Numerical Partial Differential Equations
Authors: Andrew Gloster
Comments: PhD Thesis
Subjects: Numerical Analysis (math.NA); Distributed, Parallel, and Cluster Computing (cs.DC); Mathematical Software (cs.MS)

In this thesis we develop techniques to efficiently solve numerical Partial Differential Equations (PDEs) using Graphical Processing Units (GPUs). Focus is put on both performance and re--usability of the methods developed, to this end a library, cuSten, for applying finite--difference stencils to numerical grids is presented herein. On top of this various batched tridiagonal and pentadiagonal matrix solvers are discussed. These have been benchmarked against the current state of the art and shown to improve performance in the solution of numerical PDEs. A variety of other benchmarks and use cases for the GPU methodologies are presented using the Cahn--Hilliard equation as a core example, but it is emphasised the methods are completely general. Finally through the application of the GPU methodologies to the Cahn--Hilliard equation new results are presented on the growth rates of the coarsened domains. In particular a statistical model is built up using batches of simulations run on GPUs from which the growth rates are extracted, it is shown that in a finite domain that the traditionally presented results of 1/3 scaling is in fact a distribution around this value. This result is discussed in conjunction with modelling via a stochastic PDE and sheds new light on the behaviour of the Cahn--Hilliard equation in finite domains.

[7]  arXiv:2101.06584 [pdf, other]
Title: Acceleration of multiple precision matrix multiplication based on multi-component floating-point arithmetic using AVX2
Authors: Tomonori Kouya
Subjects: Numerical Analysis (math.NA); Mathematical Software (cs.MS); Performance (cs.PF)

In this paper, we report the results obtained from the acceleration of multi-binary64-type multiple precision matrix multiplication with AVX2. We target double-double (DD), triple-double (TD), and quad-double (QD) precision arithmetic designed by certain types of error-free transformation (EFT) arithmetic. Furthermore, we implement SIMDized EFT functions, which simultaneously compute with four binary64 numbers on x86_64 computing environment, and by using help of them, we also develop SIMDized DD, TD, and QD additions and multiplications. In addition, AVX2 load/store functions were adopted to efficiently speed up reading and storing matrix elements from/to memory. Owing to these combined techniques, our implemented multiple precision matrix multiplications have been accelerated more than three times compared with non-accelerated ones. Our accelerated matrix multiplication modifies the performance of parallelization with OpenMP.

[8]  arXiv:2101.06682 [pdf, other]
Title: On the efficient parallel computing of long term reliable trajectories for the Lorenz system
Comments: 10 pages, 2 figures. arXiv admin note: text overlap with arXiv:2010.14993
Subjects: Numerical Analysis (math.NA); Distributed, Parallel, and Cluster Computing (cs.DC); Mathematical Software (cs.MS)

In this work we propose an efficient parallelization of multiple-precision Taylor series method with variable stepsize and fixed order. For given level of accuracy the optimal variable stepsize determines higher order of the method than in the case of optimal fixed stepsize. Although the used order of the method is greater then that in the case of fixed stepsize, and hence the computational work per step is greater, the reduced number of steps gives less overall work. Also the greater order of the method is beneficial in the sense that it increases the parallel efficiency. As a model problem we use the paradigmatic Lorenz system. With 256 CPU cores in Nestum cluster, Sofia, Bulgaria, we succeed to obtain a correct reference solution in the rather long time interval - [0,11000]. To get this solution we performed two large computations: one computation with 4566 decimal digits of precision and 5240-th order method, and second computation for verification - with 4778 decimal digits of precision and 5490-th order method.

[9]  arXiv:2101.06818 [pdf, ps, other]
Title: Approximating monomials using Chebyshev polynomials
Comments: 6 pages, 2 figures
Subjects: Numerical Analysis (math.NA)

This paper considers the approximation of a monomial $x^n$ over the interval $[-1,1]$ by a lower-degree polynomial. This polynomial approximation can be easily computed analytically and is obtained by truncating the analytical Chebyshev series expansion of $x^n$. The error in the polynomial approximation in the supremum norm has an exact expression with an interesting probabilistic interpretation. We use this interpretation along with concentration inequalities to develop a useful upper bound for the error.

[10]  arXiv:2101.06852 [pdf, ps, other]
Title: High order efficient algorithm for computation of MHD flow ensembles
Comments: 19 pages, 10 figures. arXiv admin note: substantial text overlap with arXiv:1803.06980
Subjects: Numerical Analysis (math.NA)

In this paper, we propose, analyze, and test a new fully discrete, efficient, decoupled, stable, and practically second-order time-stepping algorithm for computing MHD ensemble flow averages under uncertainties in the initial conditions and forcing. For each viscosity and magnetic diffusivity pair, the algorithm picks the largest possible parameter $\theta\in[0,1]$ to avoid the instability that arises due to the presence of some explicit viscous terms. At each time step, the algorithm shares the same system matrix with all $J$ realizations but with different right-hand-side vectors. That saves assembling time and computer memory, allows the reuse of the same preconditioner, and can take the advantage of block linear solvers. For the proposed algorithm, we prove stability and convergence rigorously. To illustrate the predicted convergence rates of our analysis, numerical experiments with manufactured solutions are given on a unit square domain. Finally, we test the scheme on a benchmark channel flow over a step problem and it performs well.

[11]  arXiv:2101.07003 [pdf, other]
Title: Space-time block preconditioning for incompressible flow
Comments: 27 pages, 6 figures, 4 tables
Subjects: Numerical Analysis (math.NA)

Parallel-in-time methods have become increasingly popular in the simulation of time-dependent numerical PDEs, allowing for the efficient use of additional MPI processes when spatial parallelism saturates. Most methods treat the solution and parallelism in space and time separately. In contrast, all-at-once methods solve the full space-time system directly, largely treating time as simply another spatial dimension. All-at-once methods offer a number of benefits over separate treatment of space and time, most notably significantly increased parallelism and faster time-to-solution (when applicable). However, the development of fast, scalable all-at-once methods has largely been limited to time-dependent (advection-)diffusion problems. This paper introduces the concept of space-time block preconditioning for the all-at-once solution of incompressible flow. By extending well-known concepts of spatial block preconditioning to the space-time setting, we develop a block preconditioner whose application requires the solution of a space-time (advection-)diffusion equation in the velocity block, coupled with a pressure Schur complement approximation consisting of independent spatial solves at each time-step, and a space-time matrix-vector multiplication. The new method is tested on four classical models in incompressible flow. Results indicate perfect scalability in refinement of spatial and temporal mesh spacing, perfect scalability in nonlinear Picard iterations count when applied to a nonlinear Navier-Stokes problem, and minimal overhead in terms of number of preconditioner applications compared with sequential time-stepping.

[12]  arXiv:2101.07023 [pdf, other]
Title: Deep neural network surrogates for non-smooth quantities of interest in shape uncertainty quantification
Authors: Laura Scarabosio
Subjects: Numerical Analysis (math.NA); Machine Learning (cs.LG); Machine Learning (stat.ML)

We consider the point evaluation of the solution to interface problems with geometric uncertainties, where the uncertainty in the obstacle is described by a high-dimensional parameter $\boldsymbol{y}\in[-1,1]^d$, $d\in\mathbb{N}$. We focus in particular on an elliptic interface problem and a Helmholtz transmission problem. Point values of the solution in the physical domain depend in general non-smoothly on the high-dimensional parameter, posing a challenge when one is interested in building surrogates. Indeed, high-order methods show poor convergence rates, while methods which are able to track discontinuities usually suffer from the so-called curse of dimensionality. For this reason, in this work we propose to build surrogates for point evaluation using deep neural networks. We provide a theoretical justification for why we expect neural networks to provide good surrogates. Furthermore, we present extensive numerical experiments showing their good performance in practice. We observe in particular that neural networks do not suffer from the curse of dimensionality, and we study the dependence of the error on the number of point evaluations (that is, the number of discontinuities in the parameter space), as well as on several modeling parameters, such as the contrast between the two materials and, for the Helmholtz transmission problem, the wavenumber.

[13]  arXiv:2101.07057 [pdf, other]
Title: Stabilized finite element method for incompressible solid dynamics using an updated Lagrangian formulation
Comments: 31 pages, 16 figures, submitted to CMAME
Subjects: Numerical Analysis (math.NA)

This paper proposes a novel way to solve transient linear, and non-linear solid dynamics for compressible, nearly incompressible, and incompressible material in the updated Lagrangian framework for tetrahedral unstructured finite elements. It consists of a mixed formulation in both displacement and pressure, where the momentum equation of the continuum is complemented with a pressure equation that handles incompresibility inherently. It is obtained through the deviatoric and volumetric split of the stress, that enables us to solve the problem in the incompressible limit. The Varitaional Multi-Scale method (VMS) is developed based on the orthogonal decomposition of the variables, which damps out spurious pressure fields for piece wise linear tetrahedral elements. Various numerical examples are presented to assess the robustness, accuracy and capabilities of our scheme in bending dominated problems, and for complex geometries.

[14]  arXiv:2101.07088 [pdf, other]
Title: A fast spectral method for electrostatics in doubly-periodic slit channels
Comments: 60 pages, 7 figures
Subjects: Numerical Analysis (math.NA)

We develop a fast method for computing the electrostatic energy and forces for a collection of charges in doubly-periodic slabs with jumps in the dielectric permittivity at the slab boundaries. Our method achieves spectral accuracy by using Ewald splitting to replace the original Poisson equation for nearly-singular sources with a smooth far-field Poisson equation, combined with a localized near-field correction. Unlike existing spectral Ewald methods, which make use of the Fourier transform in the aperiodic direction, we recast the problem as a two-point boundary value problem in the aperiodic direction for each transverse Fourier mode, for which exact analytic boundary conditions are available. We solve each of these boundary value problems using a fast, well-conditioned Chebyshev method. In the presence of dielectric jumps, combining Ewald splitting with the classical method of images results in smoothed charge distributions which overlap the dielectric boundaries themselves. We show how to preserve high order accuracy in this case through the use of a harmonic correction which involves solving a simple Laplace equation with smooth boundary data. We implement our method on Graphical Processing Units, and combine our doubly-periodic Poisson solver with Brownian Dynamics to study the equilibrium structure of double layers in binary electrolytes confined by dielectric boundaries. Consistent with prior studies, we find strong charge depletion near the interfaces due to repulsive interactions with image charges, which points to the need for incorporating polarization effects in understanding confined electrolytes, both theoretically and computationally.

[15]  arXiv:2101.07104 [pdf, other]
Title: An efficient dynamical low-rank algorithm for the Boltzmann-BGK equation close to the compressible viscous flow regime
Subjects: Numerical Analysis (math.NA); Computational Physics (physics.comp-ph)

It has recently been demonstrated that dynamical low-rank algorithms can provide robust and efficient approximation to a range of kinetic equations. This is true especially if the solution is close to some asymptotic limit where it is known that the solution is low-rank. A particularly interesting case is the fluid dynamic limit that is commonly obtained in the limit of small Knudsen number. However, in this case the Maxwellian which describes the corresponding equilibrium distribution is not necessarily low-rank; because of this, the methods known in the literature are only applicable to the weakly compressible case. In this paper, we propose an efficient dynamical low-rank integrator that can capture the fluid limit -- the Navier-Stokes equations -- of the Boltzmann-BGK model even in the compressible regime. This is accomplished by writing the solution as $f=Mg$, where $M$ is the Maxwellian and the low-rank approximation is only applied to $g$. To efficiently implement this decomposition within a low-rank framework requires that certain coefficients are evaluated using convolutions, for which fast algorithms are known. Using the proposed decomposition also has the advantage that the rank required to obtain accurate results is significantly reduced compared to the previous state of the art. We demonstrate this by performing a number of numerical experiments and also show that our method is able to capture sharp gradients/shock waves.

[16]  arXiv:2101.07206 [pdf, other]
Title: DeepGreen: Deep Learning of Green's Functions for Nonlinear Boundary Value Problems
Subjects: Numerical Analysis (math.NA); Machine Learning (cs.LG); Computational Physics (physics.comp-ph)

Boundary value problems (BVPs) play a central role in the mathematical analysis of constrained physical systems subjected to external forces. Consequently, BVPs frequently emerge in nearly every engineering discipline and span problem domains including fluid mechanics, electromagnetics, quantum mechanics, and elasticity. The fundamental solution, or Green's function, is a leading method for solving linear BVPs that enables facile computation of new solutions to systems under any external forcing. However, fundamental Green's function solutions for nonlinear BVPs are not feasible since linear superposition no longer holds. In this work, we propose a flexible deep learning approach to solve nonlinear BVPs using a dual-autoencoder architecture. The autoencoders discover an invertible coordinate transform that linearizes the nonlinear BVP and identifies both a linear operator $L$ and Green's function $G$ which can be used to solve new nonlinear BVPs. We find that the method succeeds on a variety of nonlinear systems including nonlinear Helmholtz and Sturm--Liouville problems, nonlinear elasticity, and a 2D nonlinear Poisson equation. The method merges the strengths of the universal approximation capabilities of deep learning with the physics knowledge of Green's functions to yield a flexible tool for identifying fundamental solutions to a variety of nonlinear systems.

[17]  arXiv:2101.07249 [pdf, ps, other]
Title: Randomised preconditioning for the forcing formulation of weak constraint 4D-Var
Subjects: Numerical Analysis (math.NA); Optimization and Control (math.OC)

There is growing awareness that errors in the model equations cannot be ignored in data assimilation methods such as four-dimensional variational assimilation (4D-Var). If allowed for, more information can be extracted from observations, longer time windows are possible, and the minimisation process is easier, at least in principle. Weak constraint 4D-Var estimates the model error and minimises a series of linear least-squares cost functions using the conjugate gradient (CG) method; minimising each cost function is called an inner loop. CG needs preconditioning to improve its performance. In previous work, limited memory preconditioners (LMPs) have been constructed using approximations of the eigenvalues and eigenvectors of the Hessian in the previous inner loop. If the Hessian changes significantly in consecutive inner loops, the LMP may be of limited usefulness. To circumvent this, we propose using randomised methods for low rank eigenvalue decomposition and use these approximations to cheaply construct LMPs using information from the current inner loop. Three randomised methods are compared. Numerical experiments in idealized systems show that the resulting LMPs perform better than the existing LMPs. Using these methods may allow more efficient and robust implementations of incremental weak constraint 4D-Var.

Cross-lists for Tue, 19 Jan 21

[18]  arXiv:2101.06298 (cross-list from cs.CE) [pdf]
Title: A second-order self-adjusting steepness based remapping method for arbitrary quadrilateral meshes
Authors: Zhiwei He
Subjects: Computational Engineering, Finance, and Science (cs.CE); Numerical Analysis (math.NA); Computational Physics (physics.comp-ph)

In this paper, based on the idea of self-adjusting steepness based schemes[5], a two-dimensional calculation method of steepness parameter is proposed, and thus a two-dimensional self-adjusting steepness based limiter is constructed. With the application of such limiter to the over-intersection based remapping framework, a low dissipation remapping method has been proposed that can be applied to the existing ALE method.

[19]  arXiv:2101.06331 (cross-list from math.PR) [pdf, ps, other]
Title: Asymptotic analysis in multivariate average case approximation with Gaussian kernels
Subjects: Probability (math.PR); Numerical Analysis (math.NA)

We consider tensor product random fields $Y_d$, $d\in\mathbb{N}$, whose covariance funtions are Gaussian kernels. The average case approximation complexity $n^{Y_d}(\varepsilon)$ is defined as the minimal number of evaluations of arbitrary linear functionals needed to approximate $Y_d$, with relative $2$-average error not exceeding a given threshold $\varepsilon\in(0,1)$. We investigate the growth of $n^{Y_d}(\varepsilon)$ for arbitrary fixed $\varepsilon\in(0,1)$ and $d\to\infty$.
Namely, we find criteria of boundedness for $n^{Y_d}(\varepsilon)$ on $d$ and of tending $n^{Y_d}(\varepsilon)\to\infty$, $d\to\infty$, for any fixed $\varepsilon\in(0,1)$. In the latter case we obtain necessary and sufficient conditions for the following logarithmic asymptotics
\begin{eqnarray*}
\ln n^{Y_d}(\varepsilon)= a_d+q(\varepsilon)b_d+o(b_d),\quad d\to\infty,
\end{eqnarray*}
with any $\varepsilon\in(0,1)$. Here $q\colon (0,1)\to\mathbb{R}$ is a non-decreasing function, $(a_d)_{d\in\mathbb{N}}$ is a sequence and $(b_d)_{d\in\mathbb{N}}$ is a positive sequence such that $b_d\to\infty$, $d\to\infty$.
We show that only special quantiles of self-decomposable distribution functions appear as functions $q$ in a given asymptotics.

[20]  arXiv:2101.06589 (cross-list from physics.chem-ph) [pdf, ps, other]
Title: Data-driven discovery of multiscale chemical reactions governed by the law of mass action
Subjects: Chemical Physics (physics.chem-ph); Machine Learning (cs.LG); Numerical Analysis (math.NA); Optimization and Control (math.OC); Computational Physics (physics.comp-ph)

In this paper, we propose a method to discover multiscale chemical reactions governed by the law of mass action from data. First, we use one matrix to represent the stoichiometric coefficients for both the reactants and products in a system without catalysis reactions. The negative entries in the matrix denote the stoichiometric coefficients for the reactants and the positive ones denote the products. Second, we find that the conventional optimization methods usually get stuck in the local minima and could not find the true solution in learning multiscale chemical reactions. To overcome this difficulty, we propose to perform a round operation on the stoichiometric coefficients which are closed to integers and do not update them in the afterwards training. With such a treatment, the dimension of the searching space is greatly reduced and the global mimina is eventually obtained. Several numerical experiments including the classical Michaelis-Menten kinetics and the hydrogen oxidation reactions verify the good performance of our algorithm in learning multiscale chemical reactions.The code is available at \url{https://github.com/JuntaoHuang/multiscale-chemical-reaction}.

[21]  arXiv:2101.06656 (cross-list from math.AP) [pdf, ps, other]
Title: On the simultaneous recovery of the conductivity and the nonlinear reaction term in a parabolic equation
Journal-ref: Inverse Problems and Imaging, 14:939-966, 2020
Subjects: Analysis of PDEs (math.AP); Numerical Analysis (math.NA)

This paper considers the inverse problem of recovering both the unknown, spatially-dependent conductivity $a(x)$ and the nonlinear reaction term $f(u)$ in a reaction-diffusion equation from overposed data. These measurements can consist of: the value of two different solution measurements taken at a later time $T$; time-trace profiles from two solutions; or both final time and time-trace measurements from a single forwards solve data run. We prove both uniqueness results and the convergence of iteration schemes designed to recover these coefficients. The last section of the paper shows numerical reconstructions based on these algorithms.

[22]  arXiv:2101.06696 (cross-list from math.AP) [pdf, ps, other]
Title: On uniqueness and reconstruction of a nonlinear diffusion term in a parabolic equation
Subjects: Analysis of PDEs (math.AP); Numerical Analysis (math.NA)

The problem of recovering coefficients in a diffusion equation is one of the basic inverse problems. Perhaps the most important term is the one that couples the length and time scales and is often referred to as {\it the\/} diffusion coefficient $a$ in $u_t - \nabla(a\nabla u) = f$. In this paper we seek the unknown $a$ assuming that $a=a(u)$ depends only on the value of the solution at a given point. Such diffusion models are the basic of a wide range of physical phenomena such as nonlinear heat conduction, chemical mixing and population dynamics. We shall look at two types of overposed data in order to effect recovery of $a(u)$: the value of a time trace $u(x_0,t)$ for some fixed point $x_0$ on the boundary of the region $\Omega$; or the value of $u$ on an interior curve $\Sigma$ lying within $\Omega$. As examples, these might represent a temperature measurement on the boundary or a census of the population in some subset of $\Omega$ taken at a fixed time $T>0$. In the latter case we shall show a uniqueness result that leads to a constructive method for recovery of $a$. Indeed, for both types of measured data we shall show reconstructions based on the iterative algorithms developed in the paper.

[23]  arXiv:2101.07055 (cross-list from math.OC) [pdf, other]
Title: Explicit continuation methods with L-BFGS updating formulas for linearly constrained optimization problems
Comments: arXiv admin note: substantial text overlap with arXiv:2012.14808; text overlap with arXiv:2005.05965
Subjects: Optimization and Control (math.OC); Dynamical Systems (math.DS); Numerical Analysis (math.NA)

This paper considers an explicit continuation method with the trusty time-stepping scheme and the limited-memory BFGS (L-BFGS) updating formula (Eptctr) for the linearly constrained optimization problem. At every iteration, Eptctr only involves three pairs of the inner product of vector and one matrix-vector product, other than the traditional and representative optimization method such as the sequential quadratic programming (SQP) or the latest continuation method such as Ptctr \cite{LLS2020}, which needs to solve a quadratic programming subproblem (SQP) or a linear system of equations (Ptctr). Thus, Eptctr can save much more computational time than SQP or Ptctr. Numerical results also show that the consumed time of EPtctr is about one tenth of that of Ptctr or one fifteenth to 0.4 percent of that of SQP. Furthermore, Eptctr can save the storage space of an $(n+m) \times (n+m)$ large-scale matrix, in comparison to SQP. The required memory of Eptctr is about one fifth of that of SQP. Finally, we also give the global convergence analysis of the new method under the standard assumptions.

Replacements for Tue, 19 Jan 21

[24]  arXiv:1712.04732 (replaced) [pdf, other]
Title: Fast Ewald summation for electrostatic potentials with arbitrary periodicity
Comments: 45 pages, 15 figures
Subjects: Numerical Analysis (math.NA)
[25]  arXiv:1903.12417 (replaced) [pdf, other]
Title: Nonlinear fourth order Taylor expansion of lattice Boltzmann schemes
Authors: François Dubois (LM-Orsay, LMSSC)
Subjects: Numerical Analysis (math.NA); Discrete Mathematics (cs.DM); Classical Physics (physics.class-ph)
[26]  arXiv:1905.04844 (replaced) [pdf, ps, other]
Title: A stabilized nonconforming Nitsche's extended finite element method for Stokes interface problems
Comments: 36 pages
Subjects: Numerical Analysis (math.NA)
[27]  arXiv:2002.05277 (replaced) [pdf, other]
Title: Classical limit for the varying-mass Schrödinger equation with random inhomogeneities
Authors: Shi Chen, Qin Li, Xu Yang
Subjects: Numerical Analysis (math.NA)
[28]  arXiv:2003.09906 (replaced) [pdf, ps, other]
Title: Complexity of randomized algorithms for underdamped Langevin dynamics
Comments: 27 pages; some revision (e.g., Sec 2.1), and new supplementary materials in Appendices
Subjects: Numerical Analysis (math.NA); Probability (math.PR)
[29]  arXiv:2004.02497 (replaced) [pdf, other]
Title: Stable Boundary Conditions and Discretization for PN Equations
Comments: 26 pages, 17 figures
Subjects: Numerical Analysis (math.NA)
[30]  arXiv:2006.07282 (replaced) [pdf, other]
Title: A supervised learning approach involving active subspaces for an efficient genetic algorithm in high-dimensional optimization problems
Subjects: Numerical Analysis (math.NA); Optimization and Control (math.OC)
[31]  arXiv:2006.12120 (replaced) [pdf, other]
Title: Sketched Newton-Raphson
Comments: 43 pages, 4 figures, 3 tables
Subjects: Numerical Analysis (math.NA); Optimization and Control (math.OC)
[32]  arXiv:2006.16373 (replaced) [src]
Title: A high-order discontinuous Galerkin method for the poro-elasto-acoustic problem on polygonal and polyhedral grids
Comments: The proof of the well-posedness contains an error. This has an impact on the whole paper. We need time to fix the issue
Subjects: Numerical Analysis (math.NA)
[33]  arXiv:2012.15581 (replaced) [pdf, other]
Title: An hp-hierarchical framework for the finite element exterior calculus
Comments: 24 pages, 12 figures
Subjects: Numerical Analysis (math.NA); Computational Physics (physics.comp-ph)
[34]  arXiv:2101.01290 (replaced) [pdf, ps, other]
Title: A deterministic-statistical approach to reconstruct moving sources using sparse partial data
Subjects: Numerical Analysis (math.NA)
[35]  arXiv:2101.02444 (replaced) [pdf, ps, other]
Title: Analysis of fully discrete finite element methods for 2D Navier--Stokes equations with critical initial data
Subjects: Numerical Analysis (math.NA)
[36]  arXiv:2101.06182 (replaced) [pdf, other]
Title: STENCIL-NET: Data-driven solution-adaptive discretization of partial differential equations
Subjects: Numerical Analysis (math.NA); Machine Learning (cs.LG)
[37]  arXiv:1905.04520 (replaced) [src]
Title: A stable semi-implicit algorithm
Comments: Although the matrix decomposition results are correct, they are only applicable to the integration of differential systems when the decomposition matrices M_1 and M_2 are of order \delta_t
Subjects: Plasma Physics (physics.plasm-ph); Numerical Analysis (math.NA); Computational Physics (physics.comp-ph)
[38]  arXiv:1908.00865 (replaced) [pdf, other]
Title: Gradient flows and proximal splitting methods: a unified view on accelerated and stochastic optimization
Comments: the paper was reorganized; new additional material
Subjects: Optimization and Control (math.OC); Numerical Analysis (math.NA); Machine Learning (stat.ML)
[39]  arXiv:2005.09369 (replaced) [pdf, other]
Title: Global bifurcation diagrams of positive solutions for a class of 1-D superlinear indefinite problems
Comments: 31 pages, 22 figures
Subjects: Analysis of PDEs (math.AP); Numerical Analysis (math.NA)
[40]  arXiv:2006.07568 (replaced) [pdf, other]
Title: Primal-dual path-following methods and the trust-region updating strategy for linear programming with noisy data
Comments: arXiv admin note: text overlap with arXiv:2006.02634
Subjects: Optimization and Control (math.OC); Machine Learning (cs.LG); Dynamical Systems (math.DS); Numerical Analysis (math.NA)
[41]  arXiv:2006.14482 (replaced) [pdf, other]
Title: A metric on directed graphs and Markov chains based on hitting probabilities
Comments: 26 pages, 9 figures, for associated code, visit this https URL, accepted at SIAM J. Math. Data Sci
Subjects: Social and Information Networks (cs.SI); Machine Learning (cs.LG); Numerical Analysis (math.NA); Probability (math.PR); Machine Learning (stat.ML)
[42]  arXiv:2008.12834 (replaced) [pdf, other]
Title: An Efficient Augmented Lagrangian Method with Semismooth Newton Solver for Total Generalized Variation
Authors: Hongpeng Sun
Comments: arXiv admin note: text overlap with arXiv:1911.10968
Subjects: Optimization and Control (math.OC); Numerical Analysis (math.NA)
[ total of 42 entries: 1-42 ]
[ showing up to 2000 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, math, recent, 2101, contact, help  (Access key information)