Advances in Computational Mathematics最新文献

In this paper, we introduce a novel unfitted finite element method to solve the quad-curl interface problem. We adapt Nitsche’s method for ({operatorname {curl}}{operatorname {curl}})-conforming elements and double the degrees of freedom on interface elements. To ensure stability, we incorporate ghost penalty terms and a discrete divergence-free term. We establish the well-posedness of our method and demonstrate an optimal error bound in the discrete energy norm. We also analyze the stiffness matrix’s condition number. Our numerical tests back up our theory on convergence rates and condition numbers.

This paper studies the finite element method for solving the exterior Stokes problem in two dimensions. A nonlocal boundary condition is defined using a nonsingular-kernel Dirichlet-to-Dirichlet (DtD) mapping, which maps the Dirichlet data on an interior circle to the Dirichlet data on another circular artificial boundary based on the Poisson integral formula of the Stokes problem. The truncated problem is then solved using the MINI-element method and a simple DtD iteration strategy, resulting into a sequence of unique and geometrically (h- independent) convergent solutions. The quasi-optimal error estimate is proved for the iterative solution at the end of the iteration process. Numerical experiments are presented to demonstrate the accuracy and efficiency of the proposed method.

In this article, we present a numerical method for the Stokes flow of an Oldroyd-B fluid. The viscoelastic stress evolves according to a constitutive law formulated in terms of the upper convected time derivative. A finite difference method is used to discretise along fluid trajectories to approximate the advection and deformation terms of the upper convected derivative in a simple, cheap and cohesive manner, as well as ensuring that the discrete conformation tensor is positive definite. A full implementation with coupling to the fluid flow is presented, along with a detailed discussion of the issues that arise with such schemes. We demonstrate the performance of this method with detailed numerical experiments in a lid-driven cavity setup. Numerical results are benchmarked against published data, and the method is shown to perform well in this challenging case.

We provide a posteriori error estimates for a discontinuous Galerkin scheme for the parabolic-elliptic Keller-Segel system in 2 or 3 space dimensions. The estimates are conditional in the sense that an a posteriori computable quantity needs to be small enough—which can be ensured by mesh refinement—and optimal in the sense that the error estimator decays with the same order as the error under mesh refinement. A specific feature of our error estimator is that it can be used to prove the existence of a weak solution up to a certain time based on numerical results.

We study Bayesian methods for large-scale linear inverse problems, focusing on the challenging task of hyperparameter estimation. Typical hierarchical Bayesian formulations that follow a Markov Chain Monte Carlo approach are possible for small problems but are not computationally feasible for problems with a very large number of unknown inverse parameters. In this work, we describe an empirical Bayes (EB) method to estimate hyperparameters that maximize the marginal posterior, i.e., the probability density of the hyperparameters conditioned on the data, and then we use the estimated hyperparameters to compute the posterior of the unknown inverse parameters. For problems where the computation of the square root and inverse of prior covariance matrices are not feasible, we describe an approach based on the generalized Golub-Kahan bidiagonalization to approximate the marginal posterior and seek hyperparameters that minimize the approximate marginal posterior. Numerical results from seismic and atmospheric tomography demonstrate the accuracy, robustness, and potential benefits of the proposed approach.

This paper studies a time filtered finite element method for the unsteady inductionless magnetohydrodynamic (MHD) equations. The method uses the semi-implicit backward Euler scheme with a time filter in time and adopts the standard inf-sup stable fluid pairs to discretize the velocity and pressure, and the inf-sup stable face-volume elements for solving the current density and electric potential in space. Since the time filter for the velocity is added as a separate post-processing step, the scheme can be easily incorporated into the existing backward Euler code and improves the time accuracy from first order to second order. The unique solvability, unconditional energy stability, and charge conservativeness of the scheme are also proven. In terms of the energy arguments, we establish the error estimates for the velocity, current density, and electric potential. Numerical experiments are performed to verify the theoretical analysis.

We recover the initial status of an evolution system governed by linearized shallow-water wave equations in a 2-dimensional bounded domain by data assimilation technique, with the aim of determining the initial wave height from the measurement of wave distribution in an interior domain. Since we specify only one component of the solution to the governed system and the observation is only measured in part of the interior domain, taking into consideration of the engineering restriction on the measurement process, this problem is ill-posed. Based on the known well-posedness result of the forward problem, this inverse problem is reformulated as an optimizing problem with data-fit term and the penalty term involving the background of the wave amplitude as a-prior information. We establish the Euler-Lagrange equation for the optimal solution in terms of its adjoint system. The unique solvability of this Euler-Lagrange equation is rigorously proven. Then the optimal approximation error of the regularizing solution to the exact solution is established in terms of the noise level of measurement data and the a-prior background distribution, based on the Lax-Milgram theorem. Finally, we propose an iterative algorithm to realize this process, with several numerical examples to validate the efficacy of our proposed method.

In this paper, we develop new methods to join machine learning techniques and macroscopic differential models, aimed at estimate and forecast vehicular traffic. This is done to complement respective advantages of data-driven and model-driven approaches. We consider here a dataset with flux and velocity data of vehicles moving on a highway, collected by fixed sensors and classified by lane and by class of vehicle. By means of a machine learning model based on an LSTM recursive neural network, we extrapolate two important pieces of information: (1) if congestion is appearing under the sensor, and (2) the total amount of vehicles which is going to pass under the sensor in the next future (30 min). These pieces of information are then used to improve the accuracy of an LWR-based first-order multi-class model describing the dynamics of traffic flow between sensors. The first piece of information is used to invert the (concave) fundamental diagram, thus recovering the density of vehicles from the flux data, and then inject directly the density datum in the model. This allows one to better approximate the dynamics between sensors, especially if an accident/bottleneck happens in a not monitored stretch of the road. The second piece of information is used instead as boundary conditions for the equations underlying the traffic model, to better predict the total amount of vehicles on the road at any future time. Some examples motivated by real scenarios will be discussed. Real data are provided by the Italian motorway company Autovie Venete S.p.A.

In this paper, we consider the quadratic eigenvalue problem (QEP) expressed in various commonly used bases, including Taylor, Newton, and Lagrange bases. We propose to investigate the backward errors of the computed eigenpairs and condition numbers of eigenvalues for QEP solved by a class of block Kronecker linearizations. To improve the backward error and condition number of the QEP expressed in a non-monomial basis, we combine the tropical scaling with the block Kronecker linearization. We then establish upper bounds for the backward error of an approximate eigenpair of the QEP relative to the backward error of an approximate eigenpair of the block Kronecker linearization with and without tropical scaling. Moreover, we get bounds for the normwise condition number of an eigenvalue of the QEP relative to that of the block Kronecker linearization. Our investigation is accompanied by adequate numerical experiments to justify our theoretical findings.

In two dimensions, we propose and analyse an iterative a posteriori error indicator for the discontinuous Galerkin finite element approximations of the Stokes equations under boundary conditions of friction type. Two sources of error are identified here, namely; the discretisation error and the linearization error. Under a smallness assumption on data, we prove that the devised error estimator is reliable. Balancing these two errors is crucial to design an adaptive strategy for mesh refinement. We illustrate the theory with some representative numerical examples.