231 research outputs found

    Numerical methods for hyperbolic and parabolic integro-differential equations

    Get PDF
    An analysis by energy methods is given for fully discrete numerical methods for time-dependent partial integro-differential equations. Stability and error estimates are derived in H1 and L2. The methods considered pay attention to the storage needs during time-stepping

    Galerkin FEM for fractional order parabolic equations with initial data in H−s, 0<s≀1H^{-s},~0 < s \le 1

    Full text link
    We investigate semi-discrete numerical schemes based on the standard Galerkin and lumped mass Galerkin finite element methods for an initial-boundary value problem for homogeneous fractional diffusion problems with non-smooth initial data. We assume that Ω⊂Rd\Omega\subset \mathbb{R}^d, d=1,2,3d=1,2,3 is a convex polygonal (polyhedral) domain. We theoretically justify optimal order error estimates in L2L_2- and H1H^1-norms for initial data in H−s(Ω), 0≀s≀1H^{-s}(\Omega),~0\le s \le 1. We confirm our theoretical findings with a number of numerical tests that include initial data vv being a Dirac ÎŽ\delta-function supported on a (d−1)(d-1)-dimensional manifold.Comment: 13 pages, 3 figure

    A space-time continuous finite element method for 2D viscoelastic wave equation

    Get PDF
    International audienceA widespread approach to software service analysis uses session types. Very different type theories for binary and multiparty protocols have been developed; establishing precise connections between them remains an open problem. We present the first formal relation between two existing theories of binary and multiparty session types: a binary system rooted in linear logic, and a multiparty system based on automata theory. Our results enable the analysis of multiparty protocols using a (much simpler) type theory for binary protocols, ensuring protocol fidelity and deadlock-freedom. As an application, we offer the first theory of multiparty session types with behavioral genericity. This theory is natural and powerful; its analysis techniques reuse results for binary session types

    Numerical approximation of the generalized regularized long wave equation using Petrov–Galerkin finite element method

    Get PDF
    The generalized regularized long wave (GRLW) equation has been developed to model a variety of physical phenomena such as ion-acoustic and magnetohydro dynamic waves in plasma,nonlinear transverse waves in shallow water and phonon packets in nonlinear crystals. This paper aims to develop andanalyze a powerful numerical scheme for the nonlinear GRLWequation by Petrov–Galerkin method in which the elementshape functions are cubic and weight functions are quadratic B-splines. The proposed method is implemented to three ref-erence problems involving propagation of the single solitarywave, interaction of two solitary waves and evolution of solitons with the Maxwellian initial condition. The variational for-mulation and semi-discrete Galerkin scheme of the equation are firstly constituted. We estimate rate of convergence of such an approximation. Using Fourier stability analysis of thelinearized scheme we show that the scheme is uncondition-ally stable. To verify practicality and robustness of the new scheme error norms L2, L∞ and three invariants I1, I2,and I3 are calculated. The computed numerical results are compared with other published results and confirmed to be precise and effective

    Galerkin and Runge–Kutta methods: unified formulation, a posteriori error estimates and nodal superconvergence

    Get PDF
    Abstract. We unify the formulation and analysis of Galerkin and Runge–Kutta methods for the time discretization of parabolic equations. This, together with the concept of reconstruction of the approximate solutions, allows us to establish a posteriori superconvergence estimates for the error at the nodes for all methods. 1

    F. John's stability conditions vs. A. Carasso's SECB constraint for backward parabolic problems

    Full text link
    In order to solve backward parabolic problems F. John [{\it Comm. Pure. Appl. Math.} (1960)] introduced the two constraints "∄u(T)∄≀M\|u(T)\|\le M" and ∄u(0)−g∄≀Ύ\|u(0) - g \| \le \delta where u(t)u(t) satisfies the backward heat equation for t∈(0,T)t\in(0,T) with the initial data u(0).u(0). The {\it slow-evolution-from-the-continuation-boundary} (SECB) constraint has been introduced by A. Carasso in [{\it SIAM J. Numer. Anal.} (1994)] to attain continuous dependence on data for backward parabolic problems even at the continuation boundary t=Tt=T. The additional "SECB constraint" guarantees a significant improvement in stability up to t=T.t=T. In this paper we prove that the same type of stability can be obtained by using only two constraints among the three. More precisely, we show that the a priori boundedness condition ∄u(T)∄≀M\|u(T)\|\le M is redundant. This implies that the Carasso's SECB condition can be used to replace the a priori boundedness condition of F. John with an improved stability estimate. Also a new class of regularized solutions is introduced for backward parabolic problems with an SECB constraint. The new regularized solutions are optimally stable and we also provide a constructive scheme to compute. Finally numerical examples are provided.Comment: 15 pages. To appear in Inverse Problem

    Weak convergence of finite element approximations of linear stochastic evolution equations with additive noise II. Fully discrete schemes

    Get PDF
    We present an abstract framework for analyzing the weak error of fully discrete approximation schemes for linear evolution equations driven by additive Gaussian noise. First, an abstract representation formula is derived for sufficiently smooth test functions. The formula is then applied to the wave equation, where the spatial approximation is done via the standard continuous finite element method and the time discretization via an I-stable rational approximation to the exponential function. It is found that the rate of weak convergence is twice that of strong convergence. Furthermore, in contrast to the parabolic case, higher order schemes in time, such as the Crank-Nicolson scheme, are worthwhile to use if the solution is not very regular. Finally we apply the theory to parabolic equations and detail a weak error estimate for the linearized Cahn-Hilliard-Cook equation as well as comment on the stochastic heat equation

    Fast uncertainty quantification of tracer distribution in the brain interstitial fluid with multilevel and quasi Monte Carlo

    Full text link
    Efficient uncertainty quantification algorithms are key to understand the propagation of uncertainty -- from uncertain input parameters to uncertain output quantities -- in high resolution mathematical models of brain physiology. Advanced Monte Carlo methods such as quasi Monte Carlo (QMC) and multilevel Monte Carlo (MLMC) have the potential to dramatically improve upon standard Monte Carlo (MC) methods, but their applicability and performance in biomedical applications is underexplored. In this paper, we design and apply QMC and MLMC methods to quantify uncertainty in a convection-diffusion model of tracer transport within the brain. We show that QMC outperforms standard MC simulations when the number of random inputs is small. MLMC considerably outperforms both QMC and standard MC methods and should therefore be preferred for brain transport models.Comment: Multilevel Monte Carlo, quasi Monte Carlo, brain simulation, brain fluids, finite element method, biomedical computing, random fields, diffusion-convectio

    The Multiscale Systems Immunology project: software for cell-based immunological simulation

    Get PDF
    <p>Abstract</p> <p>Background</p> <p>Computer simulations are of increasing importance in modeling biological phenomena. Their purpose is to predict behavior and guide future experiments. The aim of this project is to model the early immune response to vaccination by an agent based immune response simulation that incorporates realistic biophysics and intracellular dynamics, and which is sufficiently flexible to accurately model the multi-scale nature and complexity of the immune system, while maintaining the high performance critical to scientific computing.</p> <p>Results</p> <p>The Multiscale Systems Immunology (MSI) simulation framework is an object-oriented, modular simulation framework written in C++ and Python. The software implements a modular design that allows for flexible configuration of components and initialization of parameters, thus allowing simulations to be run that model processes occurring over different temporal and spatial scales.</p> <p>Conclusion</p> <p>MSI addresses the need for a flexible and high-performing agent based model of the immune system.</p

    Analysis of a One-Dimensional Nonlocal Quasi-Continuum Method

    Full text link
    • 

    corecore