Arrival times for the wave equation

We establish a definition of arrival time of a wavefront for a propagating wave in anisotropic media that is initially at rest and where the governing partial differential equation is the anisotropic wave equation. This definition of arrival time is not the same as the one in [8, 12]; it eliminates pathological discontinuities that can occur with the older definition and is still consistent with physical intuition. What is substantively new here is that we show that the newly defined arrival time is locally Lipschitz‐continuous. Then following the method in [8, 12] we establish that it satisfies the eikonal equation. Furthermore, in the isotropic case we establish that the arrival time, as defined here, is the unique viscosity solution of the eikonal equation. Our motivation for this work is to use this arrival time at points in the interior of a physical or biological material, which is estimated from displacement measurements, to determine properties of the medium that are represented as functions in the eikonal equation; see [8, 10, 11, 12]. © 2010 Wiley Periodicals, Inc.     

Semi-concave singularities and the Hamilton-Jacobi equation

We study the Cauchy problem for the Hamilton-Jacobi equation with a semiconcave initial condition. We prove an inequality between two types of weak solutions emanating from such an initial condition (the variational and the viscosity solution).We also give conditions for an explicit semi-concave function to be a viscosity solution. These conditions generalize the entropy inequality characterizing piecewise smooth solutions of scalar conservation laws in dimension one.     

Hamilton-Jacobi Equations with Discontinuous Source Terms

We study the initial-value problem for a Hamilton-Jacobi equation whose Hamiltonian is discontinuous with respect to state variables. Our motivation comes from a model describing the two dimensional nucleation in crystal growth phenomena. A typical equation has a semicontinuous source term. We introduce a new notion of viscosity solutions and prove among other results that the initial-value problem admits a unique global-in-time uniformly continuous solution for any bounded uniformly continuous initial data. We also give a representation formula of the solution as a value function by the optimal control theory with a semicontinuous running cost function.     

Numerical analysis of an inverse problem for the eikonal equation

We are concerned with the inverse problem for an eikonal equation of determining the speed function using observations of the arrival time on a fixed surface. This is formulated as an optimisation problem for a quadratic functional with the state equation being the eikonal equation coupled to the so-called Soner boundary condition. The state equation is discretised by a suitable finite difference scheme for which we obtain existence, uniqueness and an error bound. We set up an approximate optimisation problem and show that a subsequence of the discrete mimina converges to a solution of the continuous optimisation problem as the mesh size goes to zero. The derivative of the discrete functional is calculated with the help of an adjoint equation which can be solved efficiently by using fast marching techniques. Finally we describe some numerical results.     

Every connected,locally connected nontrivial graph with no induced claw is hamiltonian

A graph is locally connected if every neighborthood induces a connected subgraph. We show here that every connected, locally connected graph on p ≥ 3 vertices and having no induced K_1,3 is Hamiltonian. Several sufficient conditions for a line graph to be Hamiltonian are obtained as corollaries.     

A new method for solving the eikonal equation in the spherical computing domain

In order to overcome the problem of singularities and nonuniform grids arising when solving eikonal equation in spherical coordinate systems, a spherical Cartesian coordinate system is defined and the Hamiltonian form of the eikonal equation according to this coordinate system is given. A modified velocity function that can transform spherical coordinate system–based eikonal equation into ones based on a spherical Cartesian coordinate system is deduced by using a differential geometric method where a layered distribution of the velocity function is assumed. After comparing the results of using this approach with the traditional method of solving eikonal equation based on a spherical coordinate system, the viability of the transformation to a spherical Cartesian coordinate system based on a modified velocity function is proven. Despite the assumption of a layered distribution of the velocity function, it is also proven that the method will hold for a velocity function under any three-dimensional distribution. The new method overcomes problems present in traditional approaches and opens up a new way of solving eikonal equation in a spherical computational domain.     

Eikonal型方程粘性解的表达式

对于圆锥型和棱锥型Hamiltonian的Eikonal型方程,本文给出了一种几何方法,得出其初值问题解的表达式并且说明由此式给出的解为原初值问题的粘性解．首先用一个凸函数序列逼近Eikonal型方程中的Hamiltonian,再由Hopf-Lax公式给出方程序列的粘性解,最后证明了该粘性解序列会收敛到Eikonal方程的粘性解．     

On the regularity near the boundary of viscosity solutions of eikonal equations

Abstract We consider a non-characteristic boundary value problem for equations of eikonal type and we show that, near the boundary, the viscosity solution inherits the regularity of the data. As a consequence, we slightly improve the results in [1] on the structure of the cut-locus of a class of distance functions. Keywords: Viscosity solutions, Eikonal equation, Cut-locus, Analytic regularity     

Exponential Convergence to Time-Periodic Viscosity Solutions in Time-Periodic Hamilton-Jacobi Equations

Consider the Cauchy problem of a time-periodic Hamilton-Jacobi equation on a closed manifold, where the Hamiltonian satisfies the condition: The Aubry set of the corresponding Hamiltonian system consists of one hyperbolic 1-periodic orbit. It is proved that the unique viscosity solution of Cauchy problem converges exponentially fast to a 1-periodic viscosity solution of the Hamilton-Jacobi equation as the time tends to infinity.     

非紧空间上折现Hamilton-Jacobi方程粘性解的存在性讨论*

当底空间紧时, 初始函数为连续函数的Lax-Oleinik型粘性解是局部半凹的,所以是相应的Hamilton-Jacobi\ (以下简称为H-J) 演化方程(简称为接触H-J方程)的粘性解.当底空间非紧时, 对于H-J方程和接触H-J方程, 其Lax-Oleinik型解的下确界未必能取到.文章将探讨在非紧空间上, 折现H-J方程粘性解有限性的条件, 并给出了在此假设下粘性解的表达式.     

Adiabatic approximation for the evolution generated by an <Emphasis Type="Italic">A</Emphasis>-uniformly pseudo-Hermitian Hamiltonian

We discuss an adiabatic approximation for the evolution generated by an A-uniformly pseudo-Hermitian Hamiltonian H(t). Such a Hamiltonian is a time-dependent operator H(t) similar to a time-dependent Hermitian Hamiltonian G(t) under a time-independent invertible operator A. Using the relation between the solutions of the evolution equations H(t) and G(t), we prove that H(t) and H^? (t) have the same real eigenvalues and the corresponding eigenvectors form two biorthogonal Riesz bases for the state space. For the adiabatic approximate solution in case of the minimum eigenvalue and the ground state of the operator H(t), we prove that this solution coincides with the system state at every instant if and only if the ground eigenvector is time-independent. We also find two upper bounds for the adiabatic approximation error in terms of the norm distance and in terms of the generalized fidelity. We illustrate the obtained results with several examples.     

Radiotomography with an additional functional assumption: the CONSERT case

In this paper, we derive a third order differential equation resulting from the linearization of an eikonal equation arising in a physical problem of radio tomography. We show that this equation as a unique solution and study its numerical solution.     

Autonomous Integral Functionals with Discontinuous Nonconvex Integrands: Lipschitz Regularity of Minimizers,DuBois—Reymond Necessary Conditions,and Hamilton—Jacobi Equations

This paper is devoted to the autonomous Lagrange problem of the calculus of variations with a discontinuous Lagrangian. We prove that every minimizer is Lipschitz continuous if the Lagrangian is coercive and locally bounded. The main difference with respect to the previous works in the literature is that we do not assume that the Lagrangian is convex in the velocity. We also show that, under some additional assumptions, the DuBois—Reymond necessary condition still holds in the discontinuous case. Finally, we apply these results to deduce that the value function of the Bolza problem is locally Lipschitz and satisfies (in a generalized sense) a Hamilton—Jacobi equation.     

Locally semicomplete digraphs: A generalization of tournaments

In this paper we introduce a new class of directed graphs called locally semicomplete digraphs. These are defined to be those digraphs for which the following holds: for every vertex x the vertices dominated by x induce a semicomplete digraph and the vertices that dominate x induce a semicomplete digraph. (A digraph is semicomplete if for any two distinct vertices u and ν, there is at least one arc between them.) This class contains the class of semicomplete digraphs, but is much more general. In fact, the class of underlying graphs of the locally semi-complete digraphs is precisely the class of proper circular-arc graphs (see [13], Theorem 3). We show that many of the classic theorems for tournaments have natural analogues for locally semicomplete digraphs. For example, every locally semicomplete digraph has a directed Hamiltonian path and every strong locally semicomplete digraph has a Hamiltonian cycle. We also consider connectivity properties, domination orientability, and algorithmic aspects of locally semicomplete digraphs. Some of the results on connectivity are new, even when restricted to semicomplete digraphs.     

On the System of Hamilton–Jacobi and Transport Equations Arising in Geometrical Optics

Abstract

In the present article, we study the system of eikonal and transport equations arising in geometrical optics. The mathematical analysis is performed by using the suitable notion of solution, i.e., the viscosity solution for the Hamilton–Jacobi equation and the measure solution for the transport equation defined via the generalized Filippov characteristics. We study the stability as well as the geometry of the solution to the system.     

On the controllability of a robot arm

Considered is the rotation of a robot arm or rod in a horizontal plane about an axis through the arm's fixed end and driven by a motor whose torque is controlled. The model was derived and investigated computationally by Sakawa and co-authors in [7] for the case that the arm is described as a homogeneous Euler beam. The resulting equation of motion is a partial differential equation of the type of a wave equation which is linear with respect to the state, if the control is fixed, and non-linear with respect to the control. Considered is the problem of steering the beam, within a given time interval, from the position of rest for the angle zero into the position of rest under a certain given angle. At first we show that, for every L²-control, there is exactly one (weak) solution of the initial boundary value problem which describes the vibrating system without the end condition. Then we show that the problem of controllability is equivalent to a non-linear moment problem. This, however, is not exactly solvable. Therefore, an iteration method is developed which leads to an approximate solution of sufficient accuracy in two steps. This method is numerically implemented and demonstrated by an example. © 1998 by B. G. Teubner Stuttgart–John Wiley & Sons Ltd.     

Exact master equations describing reduced dynamics of the Wigner function

Master equations of different types describe the evolution (reduced dynamics) of a subsystem of a larger system generated by the dynamic of the latter system. Since, in some cases, the (exact) master equations are relatively complicated, there exist numerous approximations for such equations, which are also called master equations. In the paper, we develop an exact master equation describing the reduced dynamics of the Wigner function for quantum systems obtained by a quantization of a Hamiltonian system with a quadratic Hamilton function. First, we consider an exact master equation for first integrals of ordinary differential equations in infinite-dimensional locally convex spaces. After this, we apply the results obtained to develop an exact master equation corresponding to a Liouville-type equation (which is the equation for first integrals of the (system of) Hamilton equation(s)); the latter master equation is called the master Liouville equation; it is a linear first-order differential equation with respect to a function of real variables taking values in a space of functions on the phase space. If the Hamilton equation generating the Liouville equation is linear, then the vector fields that define the first-order linear differential operators in the master Liouville equations are also linear, which in turn implies that for a Gaussian reference state the Fourier transform of a solution of the master Liouville equation also satisfies a linear differential equation. __________ Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 12, No. 5, pp. 203–219, 2005.