-
Memory-Type Null Controllability of Heat Equations with Delay Effects
Authors:
Dev Prakash Jha,
Raju K. George
Abstract:
This article is devoted to the study of null controllability for evolution equations that incorporate both memory and delay effects. The problem is particularly challenging due to the presence of memory integrals and delayed states, which necessitate strengthening the classical controllability requirement to ensure complete rest at the final time. To address this, we adopt the notion of Delay and…
▽ More
This article is devoted to the study of null controllability for evolution equations that incorporate both memory and delay effects. The problem is particularly challenging due to the presence of memory integrals and delayed states, which necessitate strengthening the classical controllability requirement to ensure complete rest at the final time. To address this, we adopt the notion of Delay and memory-type null controllability, which demands the vanishing of the state, the accumulated memory term, and the influence of delay at the terminal time. Utilizing duality arguments, we reduce the controllability analysis to proving suitable observability inequalities for the corresponding adjoint system. We begin with finite-dimensional systems and establish rank-type conditions characterizing controllability. These insights are then extended to parabolic partial differential equations with delay and memory terms. By leveraging Carleman estimates and time-dependent control strategies, we derive sufficient conditions under which controllability can be achieved. Numerical simulations validate the theoretical results and illustrate the critical role of moving control regions in neutralizing the effects of memory and delay.
△ Less
Submitted 27 June, 2025;
originally announced June 2025.
-
An Operator-Theoretic Framework for the Optimal Control Problem of Nonlinear Caputo Fractional Systems
Authors:
Dev Prakash Jha,
Raju K. George
Abstract:
This paper addresses the optimal control problem for a class of nonlinear fractional systems involving Caputo derivatives and nonlocal initial conditions. The system is reformulated as an abstract Hammerstein-type operator equation, enabling the application of operator-theoretic techniques. Sufficient conditions are established to guarantee the existence of mild solutions and optimal control-state…
▽ More
This paper addresses the optimal control problem for a class of nonlinear fractional systems involving Caputo derivatives and nonlocal initial conditions. The system is reformulated as an abstract Hammerstein-type operator equation, enabling the application of operator-theoretic techniques. Sufficient conditions are established to guarantee the existence of mild solutions and optimal control-state pairs. The analysis covers both convex and non-convex scenarios through various sets of assumptions on the involved operators. An optimality system is derived for quadratic cost functionals using the Gâteaux derivative, and the connection with Pontryagin-type minimum principles is discussed. Illustrative examples demonstrate the effectiveness of the proposed theoretical framework.
△ Less
Submitted 13 April, 2025;
originally announced April 2025.
-
Approximate Controllability of Fractional Evolution Equations with Nonlocal Conditions via Operator Theory
Authors:
Dev Prakash Jha,
Raju K George
Abstract:
This paper investigates the existence and uniqueness of mild solutions, as well as the approximate controllability, of a class of fractional evolution equations with nonlocal conditions in Hilbert spaces. Sufficient conditions for approximate controllability are established through a novel approach to the approximate solvability of semilinear operator equations. The methodology utilizes Green's fu…
▽ More
This paper investigates the existence and uniqueness of mild solutions, as well as the approximate controllability, of a class of fractional evolution equations with nonlocal conditions in Hilbert spaces. Sufficient conditions for approximate controllability are established through a novel approach to the approximate solvability of semilinear operator equations. The methodology utilizes Green's function and constructs a control function based on the Gramian controllability operator. The analysis is based on Schauder's fixed point theorem and the theory of fractional order solution operators and resolvent operators. To demonstrate the feasibility of the proposed theoretical results, an illustrative example is provided.
△ Less
Submitted 29 January, 2025;
originally announced January 2025.
-
Exact Null Controllability of Non-Autonomous Conformable Fractional Semi-Linear Systems with Nonlocal Conditions
Authors:
Dev Prakash Jha,
Raju K. George
Abstract:
We study the exact null controllability of a class of non-autonomous conformable fractional semi-linear evolution systems with nonlocal initial conditions in Hilbert spaces. The analysis is carried out within the framework of conformable fractional calculus and linear evolution operator theory. Under suitable assumptions, we establish the existence of mild solutions and provide sufficient conditio…
▽ More
We study the exact null controllability of a class of non-autonomous conformable fractional semi-linear evolution systems with nonlocal initial conditions in Hilbert spaces. The analysis is carried out within the framework of conformable fractional calculus and linear evolution operator theory. Under suitable assumptions, we establish the existence of mild solutions and provide sufficient conditions for exact null controllability. Notably, the nonlocal term is allowed to be continuous without requiring compactness or Lipschitz-type conditions. An example is included to illustrate the applicability of the main results.
△ Less
Submitted 20 April, 2025; v1 submitted 24 September, 2024;
originally announced September 2024.
-
Existence and uniqueness of mild solutions and evolution operators for a class of non-autonomous conformable fractional semi-linear systems and Their Exact Null Controllability
Authors:
Dev Prakash Jha,
Raju K George
Abstract:
This paper investigates the controllability of systems governed by conformable fractional order derivatives. It first establishes the existence and uniqueness of evolution operators for non-autonomous fractional-order homogeneous systems, using a suitable initial time defined as the intersection of two specific time intervals. Using the theory of linear evolution operators, Schauder's fixed-point…
▽ More
This paper investigates the controllability of systems governed by conformable fractional order derivatives. It first establishes the existence and uniqueness of evolution operators for non-autonomous fractional-order homogeneous systems, using a suitable initial time defined as the intersection of two specific time intervals. Using the theory of linear evolution operators, Schauder's fixed-point theorem, and the Banach contraction principle, the study derives a new set of sufficient conditions for the existence and uniqueness of a mild solution to non-autonomous conformable fractional semi-linear systems. Additionally, the paper examines the exact null controllability of abstract systems based on the mild solution. We provide a comprehensive example to demonstrate the applicability of the established theoretical results.
△ Less
Submitted 8 February, 2025; v1 submitted 25 August, 2024;
originally announced August 2024.
-
Nodal finite element approximation of peridynamics
Authors:
Prashant K. Jha,
Patrick Diehl,
Robert Lipton
Abstract:
This work considers the nodal finite element approximation of peridynamics, in which the nodal displacements satisfy the peridynamics equation at each mesh node. For the nonlinear bond-based peridynamics model, it is shown that, under the suitable assumptions on an exact solution, the discretized solution associated with the central-in-time and nodal finite element discretization converges to the…
▽ More
This work considers the nodal finite element approximation of peridynamics, in which the nodal displacements satisfy the peridynamics equation at each mesh node. For the nonlinear bond-based peridynamics model, it is shown that, under the suitable assumptions on an exact solution, the discretized solution associated with the central-in-time and nodal finite element discretization converges to the exact solution in $L^2$ norm at the rate $C_1 Δt + C_2 h^2/ε^2$. Here, $Δt$, $h$, and $ε$ are time step size, mesh size, and the size of the horizon or nonlocal length scale, respectively. Constants $C_1$ and $C_2$ are independent of $h$ and $Δt$ and depend on norms of the solution and nonlocal length scale. Several numerical examples involving pre-crack, void, and notch are considered, and the efficacy of the proposed nodal finite element discretization is analyzed.
△ Less
Submitted 22 November, 2024; v1 submitted 8 March, 2024;
originally announced March 2024.
-
AlphaMapleSAT: An MCTS-based Cube-and-Conquer SAT Solver for Hard Combinatorial Problems
Authors:
Piyush Jha,
Zhengyu Li,
Zhengyang Lu,
Curtis Bright,
Vijay Ganesh
Abstract:
This paper introduces AlphaMapleSAT, a novel Monte Carlo Tree Search (MCTS) based Cube-and-Conquer (CnC) SAT solving method aimed at efficiently solving challenging combinatorial problems. Despite the tremendous success of CnC solvers in solving a variety of hard combinatorial problems, the lookahead cubing techniques at the heart of CnC have not evolved much for many years. Part of the reason is…
▽ More
This paper introduces AlphaMapleSAT, a novel Monte Carlo Tree Search (MCTS) based Cube-and-Conquer (CnC) SAT solving method aimed at efficiently solving challenging combinatorial problems. Despite the tremendous success of CnC solvers in solving a variety of hard combinatorial problems, the lookahead cubing techniques at the heart of CnC have not evolved much for many years. Part of the reason is the sheer difficulty of coming up with new cubing techniques that are both low-cost and effective in partitioning input formulas into sub-formulas, such that the overall runtime is minimized.
Lookahead cubing techniques used by current state-of-the-art CnC solvers, such as March, keep their cubing costs low by constraining the search for the optimal splitting variables. By contrast, our key innovation is a deductively-driven MCTS-based lookahead cubing technique, that performs a deeper heuristic search to find effective cubes, while keeping the cubing cost low. We perform an extensive comparison of AlphaMapleSAT against the March CnC solver on challenging combinatorial problems such as the minimum Kochen-Specker and Ramsey problems. We also perform ablation studies to verify the efficacy of the MCTS heuristic search for the cubing problem. Results show up to 2.3x speedup in parallel (and up to 27x in sequential) elapsed real time.
△ Less
Submitted 24 January, 2024;
originally announced January 2024.
-
Residual-Based Error Corrector Operator to Enhance Accuracy and Reliability of Neural Operator Surrogates of Nonlinear Variational Boundary-Value Problems
Authors:
Prashant K. Jha
Abstract:
This work focuses on developing methods for approximating the solution operators of a class of parametric partial differential equations via neural operators. Neural operators have several challenges, including the issue of generating appropriate training data, cost-accuracy trade-offs, and nontrivial hyperparameter tuning. The unpredictability of the accuracy of neural operators impacts their app…
▽ More
This work focuses on developing methods for approximating the solution operators of a class of parametric partial differential equations via neural operators. Neural operators have several challenges, including the issue of generating appropriate training data, cost-accuracy trade-offs, and nontrivial hyperparameter tuning. The unpredictability of the accuracy of neural operators impacts their applications in downstream problems of inference, optimization, and control. A framework based on the linear variational problem that gives the correction to the prediction furnished by neural operators is considered based on earlier work in JCP 486 (2023) 112104. The operator, called Residual-based Error Corrector Operator or simply Corrector Operator, associated with the corrector problem is analyzed further. Numerical results involving a nonlinear reaction-diffusion model in two dimensions with PCANet-type neural operators show almost two orders of increase in the accuracy of approximations when neural operators are corrected using the correction scheme. Further, topology optimization involving a nonlinear reaction-diffusion model is considered to highlight the limitations of neural operators and the efficacy of the correction scheme. Optimizers with neural operator surrogates are seen to make significant errors (as high as 80 percent). However, the errors are much lower (below 7 percent) when neural operators are corrected.
△ Less
Submitted 15 November, 2023; v1 submitted 21 June, 2023;
originally announced June 2023.
-
Residual-based error correction for neural operator accelerated infinite-dimensional Bayesian inverse problems
Authors:
Lianghao Cao,
Thomas O'Leary-Roseberry,
Prashant K. Jha,
J. Tinsley Oden,
Omar Ghattas
Abstract:
We explore using neural operators, or neural network representations of nonlinear maps between function spaces, to accelerate infinite-dimensional Bayesian inverse problems (BIPs) with models governed by nonlinear parametric partial differential equations (PDEs). Neural operators have gained significant attention in recent years for their ability to approximate the parameter-to-solution maps defin…
▽ More
We explore using neural operators, or neural network representations of nonlinear maps between function spaces, to accelerate infinite-dimensional Bayesian inverse problems (BIPs) with models governed by nonlinear parametric partial differential equations (PDEs). Neural operators have gained significant attention in recent years for their ability to approximate the parameter-to-solution maps defined by PDEs using as training data solutions of PDEs at a limited number of parameter samples. The computational cost of BIPs can be drastically reduced if the large number of PDE solves required for posterior characterization are replaced with evaluations of trained neural operators. However, reducing error in the resulting BIP solutions via reducing the approximation error of the neural operators in training can be challenging and unreliable. We provide an a priori error bound result that implies certain BIPs can be ill-conditioned to the approximation error of neural operators, thus leading to inaccessible accuracy requirements in training. To reliably deploy neural operators in BIPs, we consider a strategy for enhancing the performance of neural operators, which is to correct the prediction of a trained neural operator by solving a linear variational problem based on the PDE residual. We show that a trained neural operator with error correction can achieve a quadratic reduction of its approximation error, all while retaining substantial computational speedups of posterior sampling when models are governed by highly nonlinear PDEs. The strategy is applied to two numerical examples of BIPs based on a nonlinear reaction--diffusion problem and deformation of hyperelastic materials. We demonstrate that posterior representations of the two BIPs produced using trained neural operators are greatly and consistently enhanced by error correction.
△ Less
Submitted 18 October, 2022; v1 submitted 6 October, 2022;
originally announced October 2022.
-
Goal-Oriented A-Posteriori Estimation of Model Error as an Aid to Parameter Estimation
Authors:
Prashant K. Jha,
J. Tinsley Oden
Abstract:
In this work, a Bayesian model calibration framework is presented that utilizes goal-oriented a-posterior error estimates in quantities of interest (QoIs) for classes of high-fidelity models characterized by PDEs. It is shown that for a large class of computational models, it is possible to develop a computationally inexpensive procedure for calibrating parameters of high-fidelity models of physic…
▽ More
In this work, a Bayesian model calibration framework is presented that utilizes goal-oriented a-posterior error estimates in quantities of interest (QoIs) for classes of high-fidelity models characterized by PDEs. It is shown that for a large class of computational models, it is possible to develop a computationally inexpensive procedure for calibrating parameters of high-fidelity models of physical events when the parameters of low-fidelity (surrogate) models are known with acceptable accuracy. The main ingredients in the proposed model calibration scheme are goal-oriented a-posteriori estimates of error in QoIs computed using a so-called lower fidelity model compared to those of an uncalibrated higher fidelity model. The estimates of error in QoIs are used to define likelihood functions in Bayesian inversion analysis. A standard Bayesian approach is employed to compute the posterior distribution of model parameters of high-fidelity models. As applications, parameters in a quasi-linear second-order elliptic boundary-value problem (BVP) are calibrated using a second-order linear elliptic BVP. In a second application, parameters of a tumor growth model involving nonlinear time-dependent PDEs are calibrated using a lower fidelity linear tumor growth model with known parameter values.
△ Less
Submitted 25 August, 2022; v1 submitted 30 May, 2022;
originally announced May 2022.
-
Cosine and Computation
Authors:
Prabhat Kumar Jha
Abstract:
We are interested in solving decision problem $\exists? t \in \mathbb{N}, \cos t θ= c$ where $\cos θ$ and $c$ are algebraic numbers. We call this the $\cos t θ$ problem. This is an exploration of Diophantine equations with analytic functions. Polynomial, exponential with real base and cosine function are closely related to this decision problem: $ \exists ? t \in \mathbb{N}, u^T M^t v = 0$ where…
▽ More
We are interested in solving decision problem $\exists? t \in \mathbb{N}, \cos t θ= c$ where $\cos θ$ and $c$ are algebraic numbers. We call this the $\cos t θ$ problem. This is an exploration of Diophantine equations with analytic functions. Polynomial, exponential with real base and cosine function are closely related to this decision problem: $ \exists ? t \in \mathbb{N}, u^T M^t v = 0$ where $u, v \in \mathbb{Q}^n, M \in \mathbb{Q}^{n\times n}$. This problem is also known as "Skolem problem" and is useful in verification of linear systems. Its decidability remains unknown. Single variable Diophantine equations with exponential function with real algebraic base and $\cos t θ$ function with $θ$ a rational multiple of $π$ is decidable. This idea is central in proving the decidability of Skolem problem when the eigenvalues of $M$ are roots of real numbers. The main difficulty with the cases when eigenvalues are not roots of reals is that even for small order cases decidability requires application of trancendental number theory which does not scale for higher order cases. We provide a first attempt to overcome that by providing a $PTIME$ algorithm for $\cos t θ$ when $θ$ is not a rational multiple of $π$. We do so without using techniques from transcendental number theory. \par One of the main difficulty in Diophantine equations is being unable to use tools from calculus to solve this equation as the domain of variable is $\mathbb{N}$. We also provide an attempt to overcome that by providing reduction of Skolem problem to solving a one variable equation (which involves polynomials, exponentials with real bases and $\cos t θ$ function with $t$ ranging over reals and $θ\in [0, π]$) over reals.
△ Less
Submitted 20 July, 2021;
originally announced July 2021.
-
Analysis of a new multispecies tumor growth model coupling 3D phase-fields with a 1D vascular network
Authors:
Marvin Fritz,
Prashant K. Jha,
Tobias Köppl,
J. Tinsley Oden,
Barbara Wohlmuth
Abstract:
In this work, we present and analyze a mathematical model for tumor growth incorporating ECM erosion, interstitial flow, and the effect of vascular flow and nutrient transport. The model is of phase-field or diffused-interface type in which multiple phases of cell species and other constituents are separated by smooth evolving interfaces. The model involves a mesoscale version of Darcy's law to ca…
▽ More
In this work, we present and analyze a mathematical model for tumor growth incorporating ECM erosion, interstitial flow, and the effect of vascular flow and nutrient transport. The model is of phase-field or diffused-interface type in which multiple phases of cell species and other constituents are separated by smooth evolving interfaces. The model involves a mesoscale version of Darcy's law to capture the flow mechanism in the tissue matrix. Modeling flow and transport processes in the vasculature supplying the healthy and cancerous tissue, one-dimensional (1D) equations are considered. Since the models governing the transport and flow processes are defined together with cell species models on a three-dimensional (3D) domain, we obtain a 3D-1D coupled model. We show some mathematical results on the existence of weak solutions. Furthermore, simulation results are presented illustrating the evolution of tumors and the effects of ECM erosion.
△ Less
Submitted 23 March, 2021; v1 submitted 18 June, 2020;
originally announced June 2020.
-
Nonlocal elastodynamics and fracture
Authors:
Robert P. Lipton,
Prashant K. Jha
Abstract:
A nonlocal field theory of peridynamic type is applied to model the brittle fracture problem. The elastic fields obtained from the nonlocal model are shown to converge in the limit of vanishing non-locality to solutions of classic plane elastodynamics associated with a running crack.
A nonlocal field theory of peridynamic type is applied to model the brittle fracture problem. The elastic fields obtained from the nonlocal model are shown to converge in the limit of vanishing non-locality to solutions of classic plane elastodynamics associated with a running crack.
△ Less
Submitted 19 July, 2020; v1 submitted 1 January, 2020;
originally announced January 2020.
-
A New Graphical Device and Related Tests for the Shape of Non-parametric Regression Function
Authors:
Subhra Sankar Dhar,
Prashant Jha,
Mohammad Arshad Rahman,
Joydeep Dutta
Abstract:
We consider a non-parametric regression model $y = m(x) + ε$ and propose a novel graphical device to check whether the $r$-th ($r \geqslant 1$) derivative of the regression function $m(x)$ is positive or otherwise. Since the shape of the regression function can be completely characterized by its derivatives, the graphical device can correctly identify the shape of the regression function. The prop…
▽ More
We consider a non-parametric regression model $y = m(x) + ε$ and propose a novel graphical device to check whether the $r$-th ($r \geqslant 1$) derivative of the regression function $m(x)$ is positive or otherwise. Since the shape of the regression function can be completely characterized by its derivatives, the graphical device can correctly identify the shape of the regression function. The proposed device includes the check for monotonicity and convexity of the function as special cases. We also present an example to elucidate the practical utility of the graphical device. In addition, we employ the graphical device to formulate a class of test statistics and derive its asymptotic distribution. The tests are exhibited in various simulated and real data examples.
△ Less
Submitted 23 January, 2021; v1 submitted 6 October, 2019;
originally announced October 2019.
-
On Variable Screening in Multiple Nonparametric Regression Model
Authors:
Subhra Sankar Dhar,
Prashant Jha,
Aranyak Acharyya
Abstract:
In this article, we study the problem of variable screening in multiple nonparametric regression model. The proposed methodology is based on the fact that the partial derivative of the regression function with respect to the irrelevant variable should be negligible. The Statistical property of the proposed methodology is investigated under both cases : (i) when the variance of the error term is kn…
▽ More
In this article, we study the problem of variable screening in multiple nonparametric regression model. The proposed methodology is based on the fact that the partial derivative of the regression function with respect to the irrelevant variable should be negligible. The Statistical property of the proposed methodology is investigated under both cases : (i) when the variance of the error term is known, and (ii) when the variance of the error term is unknown. Moreover, we establish the practicality of our proposed methodology for various simulated and real data related to interdisciplinary sciences such as Economics, Finance and other sciences.
△ Less
Submitted 16 January, 2021; v1 submitted 24 September, 2019;
originally announced September 2019.
-
The Trimmed Mean in Non-parametric Regression Function Estimation
Authors:
Subhra Sankar Dhar,
Prashant Jha,
Prabrisha Rakhshit
Abstract:
This article studies a trimmed version of the Nadaraya-Watson estimator to estimate the unknown non-parametric regression function. The characterization of the estimator through minimization problem is established, and its pointwise asymptotic distribution is also derived. The robustness property of the proposed estimator is also studied through breakdown point. Besides, the asymptotic efficiency…
▽ More
This article studies a trimmed version of the Nadaraya-Watson estimator to estimate the unknown non-parametric regression function. The characterization of the estimator through minimization problem is established, and its pointwise asymptotic distribution is also derived. The robustness property of the proposed estimator is also studied through breakdown point. Besides, the asymptotic efficiency study along with an extensive simulation study shows that this estimator performs well for various cases. The practicability of the estimator is shown for three benchmark real data as well.
△ Less
Submitted 26 September, 2019; v1 submitted 24 September, 2019;
originally announced September 2019.
-
Classic dynamic fracture recovered as the limit of a nonlocal peridynamic model: The single edge notch in tension
Authors:
Robert Lipton,
Prashant K. Jha
Abstract:
A simple nonlocal field theory of peridynamic type is applied to model brittle fracture. The fracture evolution is shown to converge in the limit of vanishing nonlocality to classic plane elastodynamics with a running crack. The kinetic relation for the crack is recovered directly from the nonlocal model in the limit of vanishing nonlocality. We carry out our analysis for a single crack in a plate…
▽ More
A simple nonlocal field theory of peridynamic type is applied to model brittle fracture. The fracture evolution is shown to converge in the limit of vanishing nonlocality to classic plane elastodynamics with a running crack. The kinetic relation for the crack is recovered directly from the nonlocal model in the limit of vanishing nonlocality. We carry out our analysis for a single crack in a plate subject to mode one loading. The convergence is corroborated by numerical experiments.
△ Less
Submitted 29 July, 2020; v1 submitted 20 August, 2019;
originally announced August 2019.
-
Finite element convergence for state-based peridynamic fracture models
Authors:
Prashant K. Jha,
Robert Lipton
Abstract:
We establish the a-priori convergence rate for finite element approximations of a class of nonlocal nonlinear fracture models. We consider state based peridynamic models where the force at a material point is due to both the strain between two points and the change in volume inside the domain of nonlocal interaction. The pairwise interactions between points are mediated by a bond potential of mult…
▽ More
We establish the a-priori convergence rate for finite element approximations of a class of nonlocal nonlinear fracture models. We consider state based peridynamic models where the force at a material point is due to both the strain between two points and the change in volume inside the domain of nonlocal interaction. The pairwise interactions between points are mediated by a bond potential of multi-well type while multi point interactions are associated with volume change mediated by a hydrostatic strain potential. The hydrostatic potential can either be a quadratic function, delivering a linear force-strain relation, or a multi-well type that can be associated with material degradation and cavitation. We first show the well-posedness of the peridynamic formulation and that peridynamic evolutions exist in the Sobolev space $H^2$. We show that the finite element approximations converge to the $H^2$ solutions uniformly as measured in the mean square norm. For linear continuous finite elements the convergence rate is shown to be $C_t Δt + C_s h^2/ε^2$, where $ε$ is the size of horizon, $h$ is the mesh size, and $Δt$ is the size of time step. The constants $C_t$ and $C_s$ are independent of $Δt$ and $h$ and may depend on $ε$ through the norm of the exact solution. We demonstrate the stability of the semi-discrete approximation. The stability of the fully discrete approximation is shown for the linearized peridynamic force. We present numerical simulations with dynamic crack propagation that support the theoretical convergence rate.
△ Less
Submitted 3 March, 2019;
originally announced March 2019.
-
Numerical convergence of finite difference approximations for state based peridynamic fracture models
Authors:
Prashant K. Jha,
Robert Lipton
Abstract:
In this work, we study the finite difference approximation for a class of nonlocal fracture models. The nonlocal model is initially elastic but beyond a critical strain the material softens with increasing strain. This model is formulated as a state-based perydynamic model using two potentials: one associated with hydrostatic strain and the other associated with tensile strain. We show that the dy…
▽ More
In this work, we study the finite difference approximation for a class of nonlocal fracture models. The nonlocal model is initially elastic but beyond a critical strain the material softens with increasing strain. This model is formulated as a state-based perydynamic model using two potentials: one associated with hydrostatic strain and the other associated with tensile strain. We show that the dynamic evolution is well-posed in the space of Hölder continuous functions $C^{0,γ}$ with Hölder exponent $γ\in (0,1]$. Here the length scale of nonlocality is $ε$, the size of time step is $Δt$ and the mesh size is $h$. The finite difference approximations are seen to converge to the Hölder solution at the rate $C_t Δt + C_s h^γ/ε^2$ where the constants $C_t$ and $C_s$ are independent of the discretization. The semi-discrete approximations are found to be stable with time. We present numerical simulations for crack propagation that computationally verify the theoretically predicted convergence rate. We also present numerical simulations for crack propagation in precracked samples subject to a bending load.
△ Less
Submitted 24 August, 2018; v1 submitted 1 May, 2018;
originally announced May 2018.
-
Finite element approximation of nonlocal fracture models
Authors:
Prashant K. Jha,
Robert Lipton
Abstract:
We consider nonlocal nonlinear potentials and estimate the rate of convergence of time stepping schemes to the peridynamic equation of motion. We begin by establishing the existence of $H^2$ solutions over any finite time interval. Here spatial approximation by finite element interpolations are considered. The energy stability of the associated semi-discrete time stepping scheme is established and…
▽ More
We consider nonlocal nonlinear potentials and estimate the rate of convergence of time stepping schemes to the peridynamic equation of motion. We begin by establishing the existence of $H^2$ solutions over any finite time interval. Here spatial approximation by finite element interpolations are considered. The energy stability of the associated semi-discrete time stepping scheme is established and the approximation of strong and weak formulations of the evolution using FE interpolations of $H^2$ solutions are investigated. The strong and weak form of approximations are shown to converge to the actual solution in the mean square norm at the rate $C_tΔt +C_s h^2/ε^2$ where $h$ is the mesh size, $ε$ is the size of nonlocal interaction and $Δt$ is the time step. The constants $C_t$ and $C_s$ are independent of $Δt$, and $h$. In the absence of nonlinearity a CFL like condition for the energy stability of the central difference time discretization scheme is developed.
△ Less
Submitted 2 October, 2018; v1 submitted 20 October, 2017;
originally announced October 2017.
-
Numerical convergence of nonlinear nonlocal continuum models to local elastodynamics
Authors:
Prashant K. Jha,
Robert Lipton
Abstract:
We quantify the numerical error and modeling error associated with replacing a nonlinear nonlocal bond-based peridynamic model with a local elasticity model or a linearized peridynamics model away from the fracture set. The nonlocal model treated here is characterized by a double well potential and is a smooth version of the peridynamic model introduced in n Silling (J Mech Phys Solids 48(1), 2000…
▽ More
We quantify the numerical error and modeling error associated with replacing a nonlinear nonlocal bond-based peridynamic model with a local elasticity model or a linearized peridynamics model away from the fracture set. The nonlocal model treated here is characterized by a double well potential and is a smooth version of the peridynamic model introduced in n Silling (J Mech Phys Solids 48(1), 2000). The solutions of nonlinear peridynamics are shown to converge to the solution of linear elastodynamics at a rate linear with respect to the length scale $ε$ of non local interaction. This rate also holds for the convergence of solutions of the linearized peridynamic model to the solution of the local elastodynamic model. For local linear Lagrange interpolation the consistency error for the numerical approximation is found to depend on the ratio between mesh size $h$ and $ε$. More generally for local Lagrange interpolation of order $p\geq 1$ the consistency error is of order $h^p/ε$. A new stability theory for the time discretization is provided and an explicit generalization of the CFL condition on the time step and its relation to mesh size $h$ is given. Numerical simulations are provided illustrating the consistency error associated with the convergence of nonlinear and linearized peridynamics to linear elastodynamics.
△ Less
Submitted 29 June, 2018; v1 submitted 3 July, 2017;
originally announced July 2017.
-
Numerical analysis of nonlocal fracture models in Hölder space
Authors:
Prashant K. Jha,
Robert Lipton
Abstract:
In this work, we calculate the convergence rate of the finite difference approximation for a class of nonlocal fracture models. We consider two point force interactions characterized by a double well potential. We show the existence of a evolving displacement field in Hölder space with Hölder exponent $γ\in (0,1]$. The rate of convergence of the finite difference approximation depends on the facto…
▽ More
In this work, we calculate the convergence rate of the finite difference approximation for a class of nonlocal fracture models. We consider two point force interactions characterized by a double well potential. We show the existence of a evolving displacement field in Hölder space with Hölder exponent $γ\in (0,1]$. The rate of convergence of the finite difference approximation depends on the factor $C_s h^γ/ε^2$ where $ε$ gives the length scale of nonlocal interaction, $h$ is the discretization length and $C_s$ is the maximum of Hölder norm of the solution and its second derivatives during the evolution. It is shown that the rate of convergence holds for both the forward Euler scheme as well as general single step implicit schemes. A stability result is established for the semi-discrete approximation. The Hölder continuous evolutions are seen to converge to a brittle fracture evolution in the limit of vanishing nonlocality.
△ Less
Submitted 29 June, 2018; v1 submitted 10 January, 2017;
originally announced January 2017.
