-
Chernoff approximations as a method for finding the resolvent of a linear operator and solving a linear ODE with variable coefficients
Authors:
Ivan D. Remizov
Abstract:
The Chernoff approximation method is a powerful and flexible tool of functional analysis, which allows in many cases to express exp(tL) in terms of variable coefficients of a linear differential operator L. In this paper, we prove a theorem that allows us to apply this method to find the resolvent of L. Our theorem states that the Laplace transforms of Chernoff approximations of a $C_0$-semigroup…
▽ More
The Chernoff approximation method is a powerful and flexible tool of functional analysis, which allows in many cases to express exp(tL) in terms of variable coefficients of a linear differential operator L. In this paper, we prove a theorem that allows us to apply this method to find the resolvent of L. Our theorem states that the Laplace transforms of Chernoff approximations of a $C_0$-semigroup converge to the resolvent of the generator of this semigroup. We demonstrate the proposed method on a second-order differential operator with variable coefficients. As a consequence, we obtain a new representation of the solution of a nonhomogeneous linear ordinary differential equation of the second order in terms of functions that are coefficients of this equation, playing the role of parameters of the problem. For the Chernoff function, based on the shift operator, we give an estimate for the rate of convergence of approximations to the solution.
△ Less
Submitted 28 March, 2025; v1 submitted 17 January, 2023;
originally announced January 2023.
-
Numerical study of the rate of convergence of Chernoff approximations to solutions of the heat equation with full list of illustrations and Python source code
Authors:
K. A. Dragunova,
A. A. Garashenkova,
N. Nikbakht,
I. D. Remizov
Abstract:
Chernoff approximations are a flexible and powerful tool of functional analysis, which can be used, in particular, to find numerically approximate solutions of some differential equations with variable coefficients. For many classes of equations such approximations have already been constructed since pioneering papers of Prof. O.G.Somlyanov in 2000, however, the speed of their convergence to the e…
▽ More
Chernoff approximations are a flexible and powerful tool of functional analysis, which can be used, in particular, to find numerically approximate solutions of some differential equations with variable coefficients. For many classes of equations such approximations have already been constructed since pioneering papers of Prof. O.G.Somlyanov in 2000, however, the speed of their convergence to the exact solution has not been properly studied. We select the heat equation (because its exact solutions are already known) as a simple yet informative model example for the study of the rate of convergence of Chernoff approximations. Examples illustrating the rate of convergence of Chernoff approximations to the solution of the Cauchy problem for the heat equation are constructed in the paper. Numerically we show that for initial conditions that are smooth enough the order of approximation is equal to the order of Chernoff tangency of the Chernoff function used. We also consider not smooth enough initial conditions and show how Hölder class of initial condition is related to the rate of convergence. This method of study in the future can be applied to general second order parabolic equation with variable coefficients by a slight modification of our Python 3 code.
This arXiv version of the text is a supplementary material for our journal article. Here we include all the written text from the article and additionally all illustrations (Appendix A) and full text of the Python 3 code (Appendix B).
△ Less
Submitted 28 April, 2023; v1 submitted 12 January, 2023;
originally announced January 2023.
-
Upper and lower estimates for rate of convergence in the Chernoff product formula for semigroups of operators
Authors:
Oleg E. Galkin,
Ivan D. Remizov
Abstract:
Chernoff approximations to strongly continuous one-parameter semigroups give solutions to a wide class of differential equations. This paper studies the rate of convergence of the Chernoff approximations. We provide simple natural examples for which the convergence is arbitrary fast, is arbitrary slow, and holds in the strong operator topology but does not hold in the norm operator topology. We al…
▽ More
Chernoff approximations to strongly continuous one-parameter semigroups give solutions to a wide class of differential equations. This paper studies the rate of convergence of the Chernoff approximations. We provide simple natural examples for which the convergence is arbitrary fast, is arbitrary slow, and holds in the strong operator topology but does not hold in the norm operator topology. We also prove a general theorem that gives an upper estimate for the speed of decay of the norm of the residual term of the Chernoff approximations. The result is applied to one-dimensional parabolic differential equations with variable coefficients. The obtained estimates can be used for the numerical solution of PDEs.
△ Less
Submitted 1 November, 2021; v1 submitted 2 April, 2021;
originally announced April 2021.
-
Speed of convergence of Chernoff approximations to solutions of evolution equations
Authors:
A. V. Vedenin,
V. S. Voevodkin,
V. D. Galkin,
E. Yu. Karatetskaya,
I. D. Remizov
Abstract:
This communication is devoted to establishing the very first steps in study of the speed at which the error decreases while dealing with the based on the Chernoff theorem approximations to one-parameter semigroups that provide solutions to evolution equations.
This communication is devoted to establishing the very first steps in study of the speed at which the error decreases while dealing with the based on the Chernoff theorem approximations to one-parameter semigroups that provide solutions to evolution equations.
△ Less
Submitted 26 February, 2020; v1 submitted 21 October, 2019;
originally announced October 2019.
-
Formulas that represent Cauchy problem solution for momentum and position Schrödinger equation
Authors:
Ivan D. Remizov
Abstract:
In the paper we derive two formulas representing solutions of Cauchy problem for two Schrödinger equations: one-dimensional momentum space equation with polynomial potential, and multidimensional position space equation with locally square integrable potential. The first equation is a constant coefficients particular case of an evolution equation with derivatives of arbitrary high order and variab…
▽ More
In the paper we derive two formulas representing solutions of Cauchy problem for two Schrödinger equations: one-dimensional momentum space equation with polynomial potential, and multidimensional position space equation with locally square integrable potential. The first equation is a constant coefficients particular case of an evolution equation with derivatives of arbitrary high order and variable coefficients that do not change over time, this general equation is solved in the paper. We construct a family of translation operators in the space of square integrable functions and then use methods of functional analysis based on Chernoff product formula to prove that this family approximates the solution-giving semigroup. This leads us to some formulas that express the solution for Cauchy problem in terms of initial condition and coefficients of the equations studied.
△ Less
Submitted 18 September, 2018; v1 submitted 24 October, 2017;
originally announced October 2017.
-
Solution-giving formula to Cauchy problem for multidimensional parabolic equation with variable coefficients
Authors:
Ivan D. Remizov
Abstract:
We present a general method of solving the Cauchy problem for multidimensional parabolic (diffusion type) equation with variable coefficients which depend on spatial variable but do not change over time. We assume the existence of the $C_0$-semigroup (this is a standard assumption in the evolution equations theory, which guarantees the existence of the solution) and then find the representation (b…
▽ More
We present a general method of solving the Cauchy problem for multidimensional parabolic (diffusion type) equation with variable coefficients which depend on spatial variable but do not change over time. We assume the existence of the $C_0$-semigroup (this is a standard assumption in the evolution equations theory, which guarantees the existence of the solution) and then find the representation (based on the family of translation operators) of the solution in terms of coefficients of the equation and initial condition. It is proved that if the coefficients of the equation are bounded, infinitely smooth and satisfy some other conditions then there exists a solution-giving $C_0$-semigroup of contraction operators. We also represent the solution as a Feynman formula (i.e. as a limit of a multiple integral with multiplicity tending to infinity) with generalized functions appearing in the integral kernel.
△ Less
Submitted 16 May, 2019; v1 submitted 14 October, 2017;
originally announced October 2017.
-
Quasi-Feynman formulas for a Schroedinger equation with a Hamiltonian equal to a finite sum of operators
Authors:
Ivan D. Remizov
Abstract:
In this short communication I generalize the method of obtaining quasi-Feynman formulas described in my previous paper on that topic. The theorem presented allows to obtain the solution to the Cauchy problem for the Schrödinger equation with the Hamiltonian decomposed to a finite sum of operators. The concept of Chernoff tangency is used, and the solution is written in the form of a quasi-Feynman…
▽ More
In this short communication I generalize the method of obtaining quasi-Feynman formulas described in my previous paper on that topic. The theorem presented allows to obtain the solution to the Cauchy problem for the Schrödinger equation with the Hamiltonian decomposed to a finite sum of operators. The concept of Chernoff tangency is used, and the solution is written in the form of a quasi-Feynman formula as before. Theorem proven is compared to known approximation theorems: Trotter's, Chernoff's, Butko-Schilling-Smolyanov's.
△ Less
Submitted 22 September, 2015;
originally announced September 2015.
-
Solution to a parabolic differential equation in Hilbert space via Feynman formula - parts I and II
Authors:
Ivan D. Remizov
Abstract:
A parabolic partial differential equation $u'_t(t,x)=Lu(t,x)$ is considered, where $L$ is a linear second-order differential operator with time-independent coefficients, which may depend on $x$. We assume that the spatial coordinate $x$ belongs to a finite- or infinite-dimensional real separable Hilbert space $H$.
Assuming the existence of a strongly continuous resolving semigroup for this equat…
▽ More
A parabolic partial differential equation $u'_t(t,x)=Lu(t,x)$ is considered, where $L$ is a linear second-order differential operator with time-independent coefficients, which may depend on $x$. We assume that the spatial coordinate $x$ belongs to a finite- or infinite-dimensional real separable Hilbert space $H$.
Assuming the existence of a strongly continuous resolving semigroup for this equation, we construct a representation of this semigroup by a Feynman formula, i.e. we write it in the form of the limit of a multiple integral over $H$ as the multiplicity of the integral tends to infinity. This representation gives a unique solution to the Cauchy problem in the uniform closure of the set of smooth cylindrical functions on $H$. Moreover, this solution depends continuously on the initial condition. In the case where the coefficient of the first-derivative term in $L$ vanishes we prove that the strongly continuous resolving semigroup exists (this implies the existence of the unique solution to the Cauchy problem in the class mentioned above) and that the solution to the Cauchy problem depends continuously on the coefficients of the equation.
△ Less
Submitted 11 September, 2015; v1 submitted 6 February, 2014;
originally announced February 2014.
-
D(Maximum)=P(Argmaximum)
Authors:
Ivan D. Remizov,
Alexei V. Savvateev
Abstract:
In this note, we propose a formula for the subdifferential of the maximum functional $m(f) = \max_K f$ on the space of real-valued continuous functions $f$ defined on an arbitrary metric compact $K$. We show that, given $f$, the subdifferential of $m(f)$ always coincides with the set of all probability measures on the arg-maximum (the set of all points in $K$ at which $f$ reaches the maximal value…
▽ More
In this note, we propose a formula for the subdifferential of the maximum functional $m(f) = \max_K f$ on the space of real-valued continuous functions $f$ defined on an arbitrary metric compact $K$. We show that, given $f$, the subdifferential of $m(f)$ always coincides with the set of all probability measures on the arg-maximum (the set of all points in $K$ at which $f$ reaches the maximal value). In fact, this relation lies in the core of several important identities in microeconomics, such as Roy's identity, Sheppard's lemma, as well as duality theory in production and linear programming.
△ Less
Submitted 30 December, 2010; v1 submitted 31 October, 2009;
originally announced November 2009.
