-
The Multidimensional Damped Wave Equation: Maximal Weak Solutions for Nonlinear Forcing via Semigroups and Approximation
Authors:
Joseph W Jerome
Abstract:
The damped nonlinear wave equation, also known as the nonlinear telegraph equation, is studied within the framework of semigroups and eigenfunction approximation. The linear semigroup assumes a central role: it is bounded on the domain of its generator for all time t > 0. This permits eigenfunction approximation within the semigroup framework as a tool for the study of weak solutions. The semigrou…
▽ More
The damped nonlinear wave equation, also known as the nonlinear telegraph equation, is studied within the framework of semigroups and eigenfunction approximation. The linear semigroup assumes a central role: it is bounded on the domain of its generator for all time t > 0. This permits eigenfunction approximation within the semigroup framework as a tool for the study of weak solutions. The semigroup convolution formula, known to be rigorous on the generator domain, is extended to the interpretation of weak solution on an arbitrary time interval. A separate approximation theory can be developed by using the invariance of the semigroup on eigenspaces of the Laplacian as the system evolves. For (locally) bounded continuous L^2 forcing, this permits a natural derivation of a maximal solution, which can logically include a constraint on the solution as well. Operator forcing allows for the incorporation of concurrent physical processes. A significant feature of the proof in the nonlinear case is verification of successive approximation without standard fixed point analysis.
△ Less
Submitted 27 May, 2020; v1 submitted 23 April, 2018;
originally announced April 2018.
-
A Tight Nonlinear Approximation Theory for Time Dependent Closed Quantum Systems
Authors:
Joseph W. Jerome
Abstract:
The approximation of fixed points by numerical fixed points was presented in the elegant monograph of Krasnosel'skii et al. (1972). The theory, both in its formulation and implementation, requires a differential operator calculus, so that its actual application has been selective. The writer and Kerkhoven demonstrated this for the semiconductor drift-diffusion model in 1991. In this article, we sh…
▽ More
The approximation of fixed points by numerical fixed points was presented in the elegant monograph of Krasnosel'skii et al. (1972). The theory, both in its formulation and implementation, requires a differential operator calculus, so that its actual application has been selective. The writer and Kerkhoven demonstrated this for the semiconductor drift-diffusion model in 1991. In this article, we show that the theory can be applied to time dependent quantum systems on bounded domains, via evolution operators. In addition to the kinetic operator term, the Hamiltonian includes both an external time dependent potential and the classical nonlinear Hartree potential. Our result can be paraphrased as follows: For a sequence of Galerkin subspaces, and the Hamiltonian just described, a uniquely defined sequence of Faedo-Galerkin solutions exists; it converges in Sobolev space, uniformly in time, at the maximal rate given by the projection operators.
△ Less
Submitted 26 September, 2017;
originally announced September 2017.
-
Consistency of the Local Density Approximation and Generalized Quantum Corrections for Time Dependent Closed Quantum Systems
Authors:
Joseph W. Jerome
Abstract:
Time dependent quantum systems are the subject of intense inquiry, in mathematics, science, and engineering, particularly at the atomic and molecular levels. In 1984, Runge and Gross introduced time dependent density functional theory (TDDFT), a noninteracting electron model, which predicts charge exactly. An exchange-correlation potential is included in the Hamiltonian to enforce this property. W…
▽ More
Time dependent quantum systems are the subject of intense inquiry, in mathematics, science, and engineering, particularly at the atomic and molecular levels. In 1984, Runge and Gross introduced time dependent density functional theory (TDDFT), a noninteracting electron model, which predicts charge exactly. An exchange-correlation potential is included in the Hamiltonian to enforce this property. We have previously investigated such systems on bounded domains for Kohn-Sham potentials by use of evolution operators and fixed point theorems. In this article, motivated by use in the physics community, we consider local density approximations (LDA) for building the exchange-correlation potential, as part of a set of quantum corrections. Existence and uniqueness of solutions are established separately within a framework for general quantum corrections, including time-history potentials and ionic Coulomb potentials, in addition to general LDA potentials. In summary, we are able to demonstrate a unique weak solution, on an arbitrary time interval, for a general class of quantum corrections, including those typically used in numerical simulations of the model.
△ Less
Submitted 23 February, 2021; v1 submitted 31 July, 2017;
originally announced July 2017.
-
Convergent Iteration in Sobolev Space for Time Dependent Closed Quantum Systems
Authors:
Joseph W. Jerome
Abstract:
Time dependent quantum systems have become indispensable in science and its applications, particularly at the atomic and molecular levels. Here, we discuss the approximation of closed time dependent quantum systems on bounded domains, via iterative methods in Sobolev space based upon evolution operators. Recently, existence and uniqueness of weak solutions were demonstrated by a contractive fixed…
▽ More
Time dependent quantum systems have become indispensable in science and its applications, particularly at the atomic and molecular levels. Here, we discuss the approximation of closed time dependent quantum systems on bounded domains, via iterative methods in Sobolev space based upon evolution operators. Recently, existence and uniqueness of weak solutions were demonstrated by a contractive fixed point map** defined by the evolution operators. Convergent successive approximation is then guaranteed. This article uses the same map** to define quadratically convergent Newton and approximate Newton methods. Estimates for the constants used in the convergence estimates are provided. The evolution operators are ideally suited to serve as the framework for this operator approximation theory, since the Hamiltonian is time dependent. In addition, the hypotheses required to guarantee quadratic convergence of the Newton iteration build naturally upon the hypotheses used for the existence/uniqueness theory.
△ Less
Submitted 18 September, 2017; v1 submitted 29 June, 2017;
originally announced June 2017.
-
Three-Dimensional Simulation of Biological Ion Channels Under Mechanical, Thermal and Fluid Forces
Authors:
Riccardo Sacco,
Paolo Airoldi,
Aurelio G. Mauri,
Joseph W. Jerome
Abstract:
In this article we address the three-dimensional modeling and simulation of biological ion channels using a continuum-based approach. Our multi-physics formulation self-consistently combines, to the best of our knowledge for the first time, ion electrodiffusion, channel fluid motion, thermal self-heating and mechanical deformation. The resulting system of nonlinearly coupled partial differential e…
▽ More
In this article we address the three-dimensional modeling and simulation of biological ion channels using a continuum-based approach. Our multi-physics formulation self-consistently combines, to the best of our knowledge for the first time, ion electrodiffusion, channel fluid motion, thermal self-heating and mechanical deformation. The resulting system of nonlinearly coupled partial differential equations in conservation form is discretized using the Galerkin Finite Element Method. The validation of the proposed computational model is carried out with the simulation of a cylindrical voltage operated ion nanochannel with K+ and Na+ ions. We first investigate the coupling between electrochemical and fluid-dynamical effects. Then, we enrich the modeling picture by investigating the influence of a thermal gradient. Finally, we add a mechanical stress responsible for channel deformation and investigate its effect on the functional response of the channel. Results show that fluid and thermal fields have no influence in absence of mechanical deformation whereas ion distributions and channel functional response are significantly modified if mechanical stress is included in the model. These predictions agree with biophysical conjectures on the importance of protein conformation in the modulation of channel electrochemical properties.
△ Less
Submitted 24 September, 2015;
originally announced September 2015.
-
Modeling and Simulation of Thermo-Fluid-Electrochemical Ion Flow in Biological Channels
Authors:
Riccardo Sacco,
Fabio Manganini,
Joseph W. Jerome
Abstract:
In this article we address the study of ion charge transport in the biological channels separating the intra and extracellular regions of a cell. The focus of the investigation is devoted to including thermal driving forces in the well-known velocity-extended Poisson-Nernst-Planck (vPNP) electrodiffusion model. Two extensions of the vPNP system are proposed: the velocity-extended Thermo-Hydrodynam…
▽ More
In this article we address the study of ion charge transport in the biological channels separating the intra and extracellular regions of a cell. The focus of the investigation is devoted to including thermal driving forces in the well-known velocity-extended Poisson-Nernst-Planck (vPNP) electrodiffusion model. Two extensions of the vPNP system are proposed: the velocity-extended Thermo-Hydrodynamic model (vTHD) and the velocity-extended Electro-Thermal model (vET). Both formulations are based on the principles of conservation of mass, momentum and energy, and collapse into the vPNP model under thermodynamical equilibrium conditions. Upon introducing a suitable one-dimensional geometrical representation of the channel, we discuss appropriate boundary conditions that depend only on effectively accessible measurable quantities. Then, we describe the novel models, the solution map used to iteratively solve them, and the mixed-hybrid flux-conservative stabilized finite element scheme used to discretize the linearized equations. Finally, we successfully apply our computational algorithms to the simulation of two different realistic biological channels: 1) the Gramicidin-A channel considered in~\cite{JeromeBPJ}; and 2) the bipolar nanofluidic diode considered in~\cite{Siwy7}.
△ Less
Submitted 23 April, 2015;
originally announced April 2015.
-
Discretization of Time-Dependent Quantum Systems: Real-Time Propagation of The Evolution Operator
Authors:
Joseph W. Jerome,
Eric Polizzi
Abstract:
We discuss time dependent quantum systems on bounded domains. Our work may be viewed as a framework for several models, including linear iterations involved in time dependent density functional theory (TDDFT), the Hartree-Fock model, or other quantum models. A key aspect of the analysis of the algorithms is the use of time-ordered evolution operators, which allow for both a well-posed problem and…
▽ More
We discuss time dependent quantum systems on bounded domains. Our work may be viewed as a framework for several models, including linear iterations involved in time dependent density functional theory (TDDFT), the Hartree-Fock model, or other quantum models. A key aspect of the analysis of the algorithms is the use of time-ordered evolution operators, which allow for both a well-posed problem and its approximation. The approximation theorems obtained for the time-ordered evolution operators complement those in the current literature. We discuss the available theory at the outset, and proceed to apply the theory systematically in later sections via approximations and a global existence theorem for a nonlinear system, obtained via a fixed point theorem for the evolution operator. Our work is consistent with first-principle real time propagation of electronic states, aimed at finding the electronic responses of quantum molecular systems and nanostructures. We present two full 3D quantum atomistic simulations using the finite element method for discretizing the real-space, and the FEAST eigenvalue algorithm for solving the evolution operator at each time step. These numerical experiments are representative of the theoretical results.
△ Less
Submitted 13 September, 2013;
originally announced September 2013.