Related papers: An elementary proof of Euler formula using Cauchy'…
An ill-posed Cauchy problem for the wave equation is considered: the solution is to be determined by the Cauchy data on some part of the time-space boundary. By means of Fourier method we obtain a regularization algorithm for this problem,…
We present an elementary proof of the fundamental theorem of algebra, following Cauchy's version but avoiding his use of circular functions. It is written in the same spirit as Littlewood's proof of 1941, but reduces it to more elementary…
In this short note, we extend the linear convergence result of the Cauchy algorithm, derived recently by E. Klerk, F. Glineur, and A. Taylor, from the case of smooth strongly convex functions to the case of restricted strongly convex…
We consider equivariant versions of the motivic Chern and Hirzebruch characteristic classes of a quasi-projective toric variety, and extend many known results from non-equivariant to the equivariant setting. The corresponding generalized…
The goal of this notice is to present a proof of Bachet's conjecture based exclusively on the fundamental theorem of arithmetic. The novelty of this proof consists in its introduction of a partial order on rational integers through the…
We show the short time existence and uniqueness of solutions to the Cauchy problem for fully nonlinear systems of arbitrary even order on closed manifolds which are strongly parabolic at the initial values. The proof uses a linearization…
We prove the well-posedness of the Cauchy problem on torus to an eletromagnetoelastic system. The physical model consists of three coupled partial differential equations, one of them is a hyperbolic equation describing the elastic medium…
Convex polyhedra are the basis for several abstractions used in static analysis and computer-aided verification of complex and sometimes mission critical systems. For such applications, the identification of an appropriate…
We show convexity of solutions to a class of convex variational problems in the Gauss and in the Wiener space. An important tool in the proof is a representation formula for integral functionals in this infinite dimensional setting, that…
This is a translation from Latin of E348 'Methodus facilis motus corporum coelestium utcunque perturbatos ad rationem calculi astronomici revocandi', in which Euler develops a method to alleviate the astronomical computations in a typical…
The purpose of this short note is to prove a formula for the Chern-Mather classes of a toric variety in terms of its orbits and the local Euler obstructions at general points of each orbit (Theorem 2). We use the general definition of the…
This paper deals with the evaluation of some definite Euler-type integrals in terms of the Wright hypergeometric function. We obtain a theorem on the Wright hypergeometric function and then use this theorem to evaluate some definite…
We prove via convex integration a result that allows to pass from a so-called subsolution of the isentropic Euler equations (in space dimension at least $2$) to exact weak solutions. The method is closely related to the incompressible…
Euler systems are certain compatible families of cohomology classes, which play a key role in studying the arithmetic of Galois representations. We briefly survey the known Euler systems, and recall a standard conjecture of Perrin-Riou…
We consider solutions to the Cauchy problem for the incompressible Euler equations on the 3-dimensional torus which are continuous or H\"older continuous for any exponent $\theta<\frac{1}{16}$. Using the techniques introduced in \cite{DS12}…
We consider polyhedral approximations of strictly convex compacta in finite dimensional Euclidean spaces (such compacta are also uniformly convex). We obtain the best possible estimates for errors of considered approximations in the…
Euler's equation relates the change in angular momentum of a rigid body to the applied torque. This paper fills a gap in the literature by using Lagrangian dynamics to derive Euler's equation in terms of generalized coordinates. This is…
Constructive-deductive method for plane Euclidean geometry is proposed and formalized within Coq Proof Assistant. This method includes both postulates that describe elementary constructions by idealized geometric tools (pencil, straightedge…
We study the Kaehler metric given by the logarithm of a cubic form on its complexified index cone. Under mirror symmetry, this metric should asymptotically correspond to the Weil-Petersson metric. Using the theory of special Kaehler…
We present an elementary approach to prove restriction theorems for particular surfaces for which the Tomas-Stein theorem does not apply, which in turn provide short proofs for well-known Strichartz estimates for associated PDEs. The method…