On a Lagrangian Formulation of the Incompressible Euler Equation

In this paper we show that the incompressible Euler equation on the Sobolev space $H^s(\mathbb{R}^n), s › n ⁄ 2+1$, can be expressed in Lagrangian coordinates as a geodesic equation on an infinite dimensional manifold. Moreover the Christoffel map describing the geodesic equation is real analytic. The dynamics in Lagrangian coordinates is described on the group of volume preserving diffeomorphisms, which is an analytic submanifold of the whole diffeomorphism group. Furthermore it is shown that a Sobolev class vector field integrates to a curve on the diffeomorphism group.     

Energy estimate and fundamental solution for degenerate hyperbolic Cauchy problems

The aim of this paper is to give an uniform approach to different kinds of degenerate hyperbolic Cauchy problems. We prove that a weakly hyperbolic equation, satisfying an intermediate condition between effective hyperbolicity and the C^∞ Levi condition, and a strictly hyperbolic equation with non-regular coefficients with respect to the time variable can be reduced to first-order systems of the same type. For such a kind of systems, we prove an energy estimate in Sobolev spaces (with a loss of derivatives) which gives the well-posedness of the Cauchy problem in C^∞. In the strictly hyperbolic case, we also construct the fundamental solution and we describe the propagation of the space singularities of the solution which is influenced by the non-regularity of the coefficients with respect to the time variable.     

Homogeneous Sobolev Metric of Order One on Diffeomorphism Groups on Real Line

In this article we study Sobolev metrics of order one on diffeomorphism groups on the real line. We prove that the space \(\mathrm{Diff }_{1}(\mathbb R)\) equipped with the homogeneous Sobolev metric of order one is a flat space in the sense of Riemannian geometry, as it is isometric to an open subset of a mapping space equipped with the flat \(L^2\) -metric. Here \(\mathrm{Diff }_{1}(\mathbb R)\) denotes the extension of the group of all compactly supported, rapidly decreasing, or \(W^{\infty ,1}\) -diffeomorphisms, which allows for a shift toward infinity. Surprisingly, on the non-extended group the Levi-Civita connection does not exist. In particular, this result provides an analytic solution formula for the corresponding geodesic equation, the non-periodic Hunter–Saxton (HS) equation. In addition, we show that one can obtain a similar result for the two-component HS equation and discuss the case of the non-homogeneous Sobolev one metric, which is related to the Camassa–Holm equation.     

Gauss as a geometer

In an attempt to reveal the breadth of Gauss's interest in geometry, this account is divided into six chapters. The first mentions the fundamental theorem of algebra, which can be proved only with the aid of geometric ideas, and in return, an application of algebra to geometry: the connection between the Fermat primes and the construction of regular polygons. Chapter 2 shows his essentially ‘modern’ approach to quaternions. Chapter 3 is a sample of his work in trigonometry. Chapter 4 deals with his approach to the geometry of numbers. Chapter 5 sketches his differential geometry of surfaces: his use of two parameters, the elements of distance and area, his theorema egregium, and the total curvature of a geodesic polygon. Finally, Chapter 6 shows that he continually returned to the subject of non-Euclidean geometry, which was so precious and personal that he would not publish anything of it during his lifetime, and yet did not wish to let it perish with him.     

A moment problem for one-dimensional nonlinear pseudoparabolic equation

We are concerned with a moment problem for a nonlinear pseudoparabolic equation with one space dimension on an interval. The boundary conditions are imposed in terms of the zero-order moment and the first-order moment. Based on an elliptic estimate and an iteration method we established the well-posedness of solutions in the usual Sobolev space. We are able to get regularity of the solution so that both solution and its derivative with respect to the time variable belong to the same Sobolev space with respect to the space variable. This feature is different from problems with parabolic equations, where the regularity order of solution is higher than that of the time derivative with respect to the space variable. Previous results reflected only this parabolic nature for the pseudoparabolic equation.     

Potential theoretic methods for the hyperbolic Maxwell system in rough cylinders

This paper is concerned with the solvability of the hyperbolic Maxwell system in Lipschitz cylinders via integral methods. By means of the Laplace transform, the original hyperbolic Maxwell system is reduced to a family of stationary Maxwell equations indexed by ω, the Laplace variable. The crux of the matter is establishing how all relevant constants in the main estimates for this family of Maxwell equations depend on ω. Among other things, appropriate norms and weighted Sobolev spaces are considered so that the integral equation method works. The solution is expressed in terms of retarded potentials. Copyright © 2004 John Wiley & Sons, Ltd.     

Solution of Maxwell equation in axisymmetric geometry by Fourier series decompostion and by use of H (rot) conforming finite element

Summary. This study deals with the mathematical and numerical solution of time-harmonic Maxwell equation in axisymmetric geometry. Using Fourier decomposition, we define weighted Sobolev spaces of solution and we prove expected regularity results. A practical contribution of this paper is the construction of a class of finite element conforming with the H (rot) space equipped with the weighted measure rdrdz. It appears as an extension of the well-known cartesian mixed finite element of Raviart-Thomas-Nédélec [11]–[15]. These elements are built from classical lagrangian and mixed finite element, therefore no special approximations functions are needed. Finally, following works of Mercier and Raugel [10], we perform an interpolation error estimate for the simplest proposed element. Received March 15, 1996 / Revised version received November 30, 1998 / Published online December 6, 1999     

Estimates for the lifespan of solutions of an initial-boundary value problem for a nonlinear Sobolev equation with variable coefficient

We consider an initial-boundary value problem for a nonlinear equation of Sobolev type with variable coefficient multiplying the power-law nonlinearity. We obtain sufficient conditions for both time-global and time-local solvability. In the case of local (but not global) solvability, we find two-sided estimates for the lifespan of the solution in the form of quadrature formulas and indicate special cases in which a closed form of these estimates is possible.     

Fundamental solutions of the acoustic and diffusion equations in nonhomogeneous medium

A fundamental solution of the acoustical equation with a variable refraction coefficient is constructed. The solution satisfies the limiting absorption and radiation conditions. The optimal high frequency estimate is proved for square means of the solution. The source function for the diffusion equation is a by-product of this construction. Partially supported by a stipend of the Mathematical Scientific Research Institute at Berkeley, 2001.     

Uncertain portfolio optimization problem under a minimax risk measure

Portfolio optimization problem is concerned with choosing an optimal portfolio strategy that can strike a balance between maximizing investment return and minimizing investment risk. In many cases, the return rate of risky asset is neither a random variable nor a fuzzy variable. Then, it can be described as an uncertain variable. But, the existing works on uncertain portfolio optimization problem fail to find an analytic solution of optimal portfolio strategy. In this paper, we define a new uncertain risk measure for the modeling of investment risk. Then, an uncertain portfolio optimization model is formulated. By introducing a new variable, we transform it into an equivalent bi-criteria optimization model. Then, we derive a method for the construction of the set of analytic Pareto optimal solutions. Finally, a numerical simulation is carried out to show the applicability of the proposed model and the convenience of finding the analytic solution.     

On Elliptic Homogeneous Differential Operators in Grand Spaces

We give an application of so-called grand Lebesgue and grand Sobolev spaces, intensively studied during last decades, to partial differential equations. In the case of unbounded domains such spaces are defined using so-called grandizers. Under some natural assumptions on the choice of grandizers, we prove the existence, in some grand Sobolev space, of a solution to the equation Pm(D)u(x) = f(x), x ∈ ℝn, m < n, with the right-hand side in the corresponding grand Lebesgue space, where Pm(D) is an arbitrary elliptic homogeneous in the general case we improve some known facts for the fundamental solution of the operator Pm(D): we construct it in the closed form either in terms of spherical hypersingular integrals or in terms of some averages along plane sections of the unit sphere.     

Fundamental solution for linear two-point boundary value problem

The quadratic functional minimization with differential restrictions represented by the command linear systems is considered. The optimal solution determination implies the solving of a linear problem with two points boundary values. The proposed method implies the construction of a fundamental solution S(t)—a n×n matrix—and of a vector h(t) defining an adjoint variable λ(t) depending of the state variable x(t). From the extremum necessary conditions it is obtained the Riccati matrix differential equation having the S(t) as unknown fundamental solution is obtained. The paper analyzes the existence of the Riccati equation solution S(t) and establishes as the optimal solution of the proposed optimum problem. Also a superior limit of the minimum for the considered quadratic functionals class are evaluated.     

Generalized Sobolev's phi function for the resolvent of a Milne-type integral equation with a degenerate kernel

It is well known in the field of radiative transfer that Sobolev was the first to introduce the resolvent into Milne's integral equation with a displacement kernel. Thereafter it was shown that the resolvent plays an important role in the theory of formation of spectral lines. In the theory of line-transfer problems, the kernel representation in Milne's integral equation has been used to provide an approximate solution in a manner similar to that given by the discrete ordinales method.In this paper, by means of invariant imbedding we show how to determine an exact solution of a Milne-type integral equation with a degenerate kernel, whose form is more general than the Pincherle-Gourast kernel. A Cauchy system for the resolvent is expressed in terms of generalized Sobolev's Φ- and Ψ-functions, which are computed by solving a system of differential equations for auxiliary functions. Furthermore, these functions are expressed in terms of components of the kernel representation.     

变系数的一般型发展方程的色散估计

本文研究的是带变系数的一般型线性发展方程.首先建立了其基本解的一系列色散估计:Kato光滑型估计,极大函数估计及Strichartz估计.最后应用这些估计研究了一些非自治非线性色散方程的初值问题在H~s(R)空间中的局部可解性.     

A non-overlapping domain decomposition dual reciprocity method for solving the forward–backward heat equation in two-dimension

We apply a boundary element dual reciprocity method (DRBEM) to the numerical solution of the forward–backward heat equation in a two-dimensional case. The method is employed for the spatial variable via the fundamental solution of the Laplace equation and the Crank–Nicolson finite difference scheme is utilized to treat the time variable. The physical domain is divided into two non-overlapping subdomains resulting in two standard forward and backward parabolic equations. The subproblems are then treated by the underlying method assuming a virtual boundary in the interface and starting with an initial approximate solution on this boundary followed by updating the solution by an iterative procedure. In addition, we show that the time discrete scheme is unconditionally stable and convergent using the energy method. Furthermore, some computational aspects will be suggested to efficiently deal with the formulation of the proposed method. Finally, two forward–backward problems, for which the exact solution is available, will be numerically solved for two different domains to demonstrate the efficiency of the proposed approach.     

Meshless methods for solving Dirichlet boundary optimal control problems governed by elliptic PDEs

In this paper, two meshless schemes are proposed for solving Dirichlet boundary optimal control problems governed by elliptic equations. The first scheme uses radial basis function collocation method (RBF-CM) for both state equation and adjoint state equation, while the second scheme employs the method of fundamental solution (MFS) for the state equation when it has a zero source term, and RBF-CM for the adjoint state equation. Numerical examples are provided to validate the efficiency of the proposed schemes.     

Analysis of the projected coupled cluster method in electronic structure calculation

The electronic Schrödinger equation plays a fundamental role in molcular physics. It describes the stationary nonrelativistic behaviour of an quantum mechanical N electron system in the electric field generated by the nuclei. The (Projected) Coupled Cluster Method has been developed for the numerical computation of the ground state energy and wave function. It provides a powerful tool for high accuracy electronic structure calculations. The present paper aims to provide a rigorous analytical treatment and convergence analysis of this method. If the discrete Hartree Fock solution is sufficiently good, the quasi-optimal convergence of the projected coupled cluster solution to the full CI solution is shown. Under reasonable assumptions also the convergence to the exact wave function can be shown in the Sobolev H ¹-norm. The error of the ground state energy computation is estimated by an Aubin Nitsche type approach. Although the Projected Coupled Cluster method is nonvariational it shares advantages with the Galerkin or CI method. In addition it provides size consistency, which is considered as a fundamental property in many particle quantum mechanics.     

The Method of Fundamental Solution for a Radially Symmetric Heat Conduction Problem with Variable Coefficient

We consider an inverse heat conduction problem with variable coefficient on an annulus domain. In many practice applications, we cannot know the initial temperature during heat process, therefore we consider a non-characteristic Cauchy problem for the heat equation. The method of fundamental solutions is applied to solve this problem. Due to ill-posedness of this problem, we first discretize the problem and then regularize it in the form of discrete equation. Numerical tests are conducted for showing the effectiveness of the proposed method.     

PRECISE SMOOTHING EFFECTS OF HOMOGENEOUS LANDAU EQUATION IN SOBOLEV SPACES＊

In this work,we study the smoothing effect of Cauchy problem in Sobolev space for the spatially homogeneous Landau equation in the Maxwellian case.We obtain a precise estimate with respect to time vari...     

A coupled finite and boundary spectral element method for linear water-wave propagation problems

A coupled boundary spectral element method (BSEM) and spectral element method (SEM) formulation for the propagation of small-amplitude water waves over variable bathymetries is presented in this work. The wave model is based on the mild-slope equation (MSE), which provides a good approximation of the propagation of water waves over irregular bottom surfaces with slopes up to 1:3. In unbounded domains or infinite regions, space can be divided into two different areas: a central region of interest, where an irregular bathymetry is included, and an exterior infinite region with straight and parallel bathymetric lines. The SEM allows us to model the central region, where any variation of the bathymetry can be considered, while the exterior infinite region is modelled by the BSEM which, combined with the fundamental solution presented by Cerrato et al. [A. Cerrato, J. A. González, L. Rodríguez-Tembleque, Boundary element formulation of the mild-slope equation for harmonic water waves propagating over unidirectional variable bathymetries, Eng. Anal. Boundary Elem. 62 (2016) 22–34.] can include bathymetries with straight and parallel contour lines. This coupled model combines important advantages of both methods; it benefits from the flexibility of the SEM for the interior region and, at the same time, includes the fulfilment of the Sommerfeld’s radiation condition for the exterior problem, that is provided by the BSEM. The solution approximation inside the elements is constructed by high order Legendre polynomials associated with Legendre–Gauss–Lobatto quadrature points, providing a spectral convergence for both methods. The proposed formulation has been validated in three different benchmark cases with different shapes of the bottom surface. The solutions exhibit the typical p-convergence of spectral methods.