Numerical Analysis
New submissions
[ 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 infsup stable variational formulation for the wave equationComments: 27 pagesSubjects: 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 spacetime domain, the classical assumption is to consider the righthand 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 spacetime finite element methods, and for the numerical analysis of boundary element methods to overcome the wellknown 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 ElastostaticsSubjects: 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 (AVSFE) method of Calo, Romkes and Valseth, in which we consider a PetrovGalerkin 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 PetrovGalerkin (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 builtin 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 BlockCirculant and BlockToeplitz SystemsSubjects: Numerical Analysis (math.NA)
In the literature, there exist several studies on symbolbased 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 scalarvalued function. In the blockToeplitz 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 symbolbased 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 matrixvalued trigonometric polynomials which can be nondiagonalizable and singular at all points and we express the new conditions in terms of the eigenvectors associated with the illconditioned subspace. Moreover, we extend the analysis to the Vcycle 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 Vcycle procedures in the block multilevel setting.
 [4] arXiv:2101.06497 [pdf, other]

Title: Highaccuracy meshfree quadrature for trimmed parametric surfaces and volumesComments: 19 pages, 17 figures, submitted to ComputerAided DesignSubjects: Numerical Analysis (math.NA)
This work presents a highaccuracy, meshfree, generalized Stokes theorembased 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 highorder 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 highorder curvilinear meshes, and initialization of multimaterial simulations. We compare the quadrature scheme to commonlyused 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 opensource implementation of the scheme in MATLAB as part of QuaHOG, a software package for Quadrature of HighOrder Geometries.
 [5] arXiv:2101.06505 [pdf, other]

Title: What was the river Ister in the time of Strabo? A mathematical approachSubjects: 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 TauernbachIselDravaDanube 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 CarpathianAlpine 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 EquationsAuthors: Andrew GlosterComments: PhD ThesisSubjects: 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 reusability of the methods developed, to this end a library, cuSten, for applying finitedifference 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 CahnHilliard equation as a core example, but it is emphasised the methods are completely general. Finally through the application of the GPU methodologies to the CahnHilliard 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 CahnHilliard equation in finite domains.
 [7] arXiv:2101.06584 [pdf, other]

Title: Acceleration of multiple precision matrix multiplication based on multicomponent floatingpoint arithmetic using AVX2Authors: Tomonori KouyaSubjects: Numerical Analysis (math.NA); Mathematical Software (cs.MS); Performance (cs.PF)
In this paper, we report the results obtained from the acceleration of multibinary64type multiple precision matrix multiplication with AVX2. We target doubledouble (DD), tripledouble (TD), and quaddouble (QD) precision arithmetic designed by certain types of errorfree 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 nonaccelerated 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 systemAuthors: I. Hristov, R. Hristova, S. Dimova, P. Armyanov, N. Shegunov, I. Puzynin, T. Puzynina, Z. Sharipov, Z. TukhlievComments: 10 pages, 2 figures. arXiv admin note: text overlap with arXiv:2010.14993Subjects: Numerical Analysis (math.NA); Distributed, Parallel, and Cluster Computing (cs.DC); Mathematical Software (cs.MS)
In this work we propose an efficient parallelization of multipleprecision 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 5240th order method, and second computation for verification  with 4778 decimal digits of precision and 5490th order method.
 [9] arXiv:2101.06818 [pdf, ps, other]

Title: Approximating monomials using Chebyshev polynomialsAuthors: Arvind K. SaibabaComments: 6 pages, 2 figuresSubjects: Numerical Analysis (math.NA)
This paper considers the approximation of a monomial $x^n$ over the interval $[1,1]$ by a lowerdegree 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 ensemblesAuthors: Muhammad MohebujjamanComments: 19 pages, 10 figures. arXiv admin note: substantial text overlap with arXiv:1803.06980Subjects: Numerical Analysis (math.NA)
In this paper, we propose, analyze, and test a new fully discrete, efficient, decoupled, stable, and practically secondorder timestepping 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 righthandside 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: Spacetime block preconditioning for incompressible flowComments: 27 pages, 6 figures, 4 tablesSubjects: Numerical Analysis (math.NA)
Parallelintime methods have become increasingly popular in the simulation of timedependent 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, allatonce methods solve the full spacetime system directly, largely treating time as simply another spatial dimension. Allatonce methods offer a number of benefits over separate treatment of space and time, most notably significantly increased parallelism and faster timetosolution (when applicable). However, the development of fast, scalable allatonce methods has largely been limited to timedependent (advection)diffusion problems. This paper introduces the concept of spacetime block preconditioning for the allatonce solution of incompressible flow. By extending wellknown concepts of spatial block preconditioning to the spacetime setting, we develop a block preconditioner whose application requires the solution of a spacetime (advection)diffusion equation in the velocity block, coupled with a pressure Schur complement approximation consisting of independent spatial solves at each timestep, and a spacetime matrixvector 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 NavierStokes problem, and minimal overhead in terms of number of preconditioner applications compared with sequential timestepping.
 [12] arXiv:2101.07023 [pdf, other]

Title: Deep neural network surrogates for nonsmooth quantities of interest in shape uncertainty quantificationAuthors: Laura ScarabosioSubjects: 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 highdimensional 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 nonsmoothly on the highdimensional parameter, posing a challenge when one is interested in building surrogates. Indeed, highorder methods show poor convergence rates, while methods which are able to track discontinuities usually suffer from the socalled 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 formulationComments: 31 pages, 16 figures, submitted to CMAMESubjects: Numerical Analysis (math.NA)
This paper proposes a novel way to solve transient linear, and nonlinear 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 MultiScale 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 doublyperiodic slit channelsComments: 60 pages, 7 figuresSubjects: Numerical Analysis (math.NA)
We develop a fast method for computing the electrostatic energy and forces for a collection of charges in doublyperiodic 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 nearlysingular sources with a smooth farfield Poisson equation, combined with a localized nearfield correction. Unlike existing spectral Ewald methods, which make use of the Fourier transform in the aperiodic direction, we recast the problem as a twopoint 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, wellconditioned 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 doublyperiodic 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 lowrank algorithm for the BoltzmannBGK equation close to the compressible viscous flow regimeSubjects: Numerical Analysis (math.NA); Computational Physics (physics.compph)
It has recently been demonstrated that dynamical lowrank 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 lowrank. 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 lowrank; 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 lowrank integrator that can capture the fluid limit  the NavierStokes equations  of the BoltzmannBGK model even in the compressible regime. This is accomplished by writing the solution as $f=Mg$, where $M$ is the Maxwellian and the lowrank approximation is only applied to $g$. To efficiently implement this decomposition within a lowrank 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 ProblemsSubjects: Numerical Analysis (math.NA); Machine Learning (cs.LG); Computational Physics (physics.compph)
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 dualautoencoder 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 SturmLiouville 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 4DVarSubjects: 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 fourdimensional variational assimilation (4DVar). 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 4DVar estimates the model error and minimises a series of linear leastsquares 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 4DVar.
Crosslists for Tue, 19 Jan 21
 [18] arXiv:2101.06298 (crosslist from cs.CE) [pdf]

Title: A secondorder selfadjusting steepness based remapping method for arbitrary quadrilateral meshesAuthors: Zhiwei HeSubjects: Computational Engineering, Finance, and Science (cs.CE); Numerical Analysis (math.NA); Computational Physics (physics.compph)
In this paper, based on the idea of selfadjusting steepness based schemes[5], a twodimensional calculation method of steepness parameter is proposed, and thus a twodimensional selfadjusting steepness based limiter is constructed. With the application of such limiter to the overintersection based remapping framework, a low dissipation remapping method has been proposed that can be applied to the existing ALE method.
 [19] arXiv:2101.06331 (crosslist from math.PR) [pdf, ps, other]

Title: Asymptotic analysis in multivariate average case approximation with Gaussian kernelsSubjects: 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 nondecreasing 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 selfdecomposable distribution functions appear as functions $q$ in a given asymptotics.  [20] arXiv:2101.06589 (crosslist from physics.chemph) [pdf, ps, other]

Title: Datadriven discovery of multiscale chemical reactions governed by the law of mass actionSubjects: Chemical Physics (physics.chemph); Machine Learning (cs.LG); Numerical Analysis (math.NA); Optimization and Control (math.OC); Computational Physics (physics.compph)
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 MichaelisMenten 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/multiscalechemicalreaction}.
 [21] arXiv:2101.06656 (crosslist from math.AP) [pdf, ps, other]

Title: On the simultaneous recovery of the conductivity and the nonlinear reaction term in a parabolic equationJournalref: Inverse Problems and Imaging, 14:939966, 2020Subjects: Analysis of PDEs (math.AP); Numerical Analysis (math.NA)
This paper considers the inverse problem of recovering both the unknown, spatiallydependent conductivity $a(x)$ and the nonlinear reaction term $f(u)$ in a reactiondiffusion equation from overposed data. These measurements can consist of: the value of two different solution measurements taken at a later time $T$; timetrace profiles from two solutions; or both final time and timetrace 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 (crosslist from math.AP) [pdf, ps, other]

Title: On uniqueness and reconstruction of a nonlinear diffusion term in a parabolic equationSubjects: 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 (crosslist from math.OC) [pdf, other]

Title: Explicit continuation methods with LBFGS updating formulas for linearly constrained optimization problemsComments: arXiv admin note: substantial text overlap with arXiv:2012.14808; text overlap with arXiv:2005.05965Subjects: Optimization and Control (math.OC); Dynamical Systems (math.DS); Numerical Analysis (math.NA)
This paper considers an explicit continuation method with the trusty timestepping scheme and the limitedmemory BFGS (LBFGS) 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 matrixvector 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)$ largescale 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 periodicityComments: 45 pages, 15 figuresSubjects: Numerical Analysis (math.NA)
 [25] arXiv:1903.12417 (replaced) [pdf, other]

Title: Nonlinear fourth order Taylor expansion of lattice Boltzmann schemesAuthors: François Dubois (LMOrsay, LMSSC)Subjects: Numerical Analysis (math.NA); Discrete Mathematics (cs.DM); Classical Physics (physics.classph)
 [26] arXiv:1905.04844 (replaced) [pdf, ps, other]

Title: A stabilized nonconforming Nitsche's extended finite element method for Stokes interface problemsComments: 36 pagesSubjects: Numerical Analysis (math.NA)
 [27] arXiv:2002.05277 (replaced) [pdf, other]
 [28] arXiv:2003.09906 (replaced) [pdf, ps, other]

Title: Complexity of randomized algorithms for underdamped Langevin dynamicsComments: 27 pages; some revision (e.g., Sec 2.1), and new supplementary materials in AppendicesSubjects: Numerical Analysis (math.NA); Probability (math.PR)
 [29] arXiv:2004.02497 (replaced) [pdf, other]

Title: Stable Boundary Conditions and Discretization for PN EquationsComments: 26 pages, 17 figuresSubjects: 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 highdimensional optimization problemsSubjects: Numerical Analysis (math.NA); Optimization and Control (math.OC)
 [31] arXiv:2006.12120 (replaced) [pdf, other]

Title: Sketched NewtonRaphsonComments: 43 pages, 4 figures, 3 tablesSubjects: Numerical Analysis (math.NA); Optimization and Control (math.OC)
 [32] arXiv:2006.16373 (replaced) [src]

Title: A highorder discontinuous Galerkin method for the poroelastoacoustic problem on polygonal and polyhedral gridsComments: The proof of the wellposedness contains an error. This has an impact on the whole paper. We need time to fix the issueSubjects: Numerical Analysis (math.NA)
 [33] arXiv:2012.15581 (replaced) [pdf, other]

Title: An hphierarchical framework for the finite element exterior calculusComments: 24 pages, 12 figuresSubjects: Numerical Analysis (math.NA); Computational Physics (physics.compph)
 [34] arXiv:2101.01290 (replaced) [pdf, ps, other]

Title: A deterministicstatistical approach to reconstruct moving sources using sparse partial dataSubjects: Numerical Analysis (math.NA)
 [35] arXiv:2101.02444 (replaced) [pdf, ps, other]
 [36] arXiv:2101.06182 (replaced) [pdf, other]

Title: STENCILNET: Datadriven solutionadaptive discretization of partial differential equationsAuthors: Suryanarayana Maddu, Dominik Sturm, Bevan L. Cheeseman, Christian L. Müller, Ivo F. SbalzariniSubjects: Numerical Analysis (math.NA); Machine Learning (cs.LG)
 [37] arXiv:1905.04520 (replaced) [src]

Title: A stable semiimplicit algorithmComments: 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_tSubjects: Plasma Physics (physics.plasmph); Numerical Analysis (math.NA); Computational Physics (physics.compph)
 [38] arXiv:1908.00865 (replaced) [pdf, other]

Title: Gradient flows and proximal splitting methods: a unified view on accelerated and stochastic optimizationComments: the paper was reorganized; new additional materialSubjects: 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 1D superlinear indefinite problemsComments: 31 pages, 22 figuresSubjects: Analysis of PDEs (math.AP); Numerical Analysis (math.NA)
 [40] arXiv:2006.07568 (replaced) [pdf, other]

Title: Primaldual pathfollowing methods and the trustregion updating strategy for linear programming with noisy dataComments: arXiv admin note: text overlap with arXiv:2006.02634Subjects: 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 probabilitiesAuthors: Zachary M. Boyd, Nicolas Fraiman, Jeremy L. Marzuola, Peter J. Mucha, Braxton Osting, Jonathan WeareComments: 26 pages, 9 figures, for associated code, visit this https URL, accepted at SIAM J. Math. Data SciSubjects: 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 VariationAuthors: Hongpeng SunComments: arXiv admin note: text overlap with arXiv:1911.10968Subjects: Optimization and Control (math.OC); Numerical Analysis (math.NA)
[ 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)