arXiv research

Wave fronts on certain surfaces become dense.

We characterize singularities of focal surfaces of wave fronts in terms of differential geometric properties of the initial wave fronts. Moreover, we study relationships between geometric properties of focal surfaces and geometric invariants of the initial wave fronts.

The paper shows how null hypersurfaces behave in Lorentz-Minkowski space.

Study focal surfaces of wave fronts with unbounded curvatures.

We give criteria for which a principal curvature becomes a bounded $C^\infty$-function at non-degenerate singular points of wave fronts by using geometric invariants. As applications, we study singularities of parallel surfaces and extended distance squared functions of wave fronts. Moreover, we relate these singularit…

Study finds rigid submanifolds in spacelike waves under specific conditions.

Shorter proof for wave front length in Euclidean disk

In this note we present a description of wave front evolving from an algebraic hypersurface by means of a pull-back of the discriminantal loci of a tame polynomial via a polynomial mapping. As an application we give examples of wave fronts which define free/almost free divisors near the focal point.

New metrics constructed dual to specific wave-like geometries.

High frequency limit for most of wave phenomena is known as quasiclassical limit or ray optics limit. Propagation of waves in this limit is described in terms of wave fronts and rays. Wave front is a surface of constant phase whose points are moving along rays. As it appears, their motion can be described by Hamilton e…

We give a definition of `coherent tangent bundles', which is an intrinsic formulation of wave fronts. In our application of coherent tangent bundles for wave fronts, the first fundamental forms and the third fundamental forms are considered as induced metrics of certain homomorphisms between vector bundles. They satisf…

The calculus correspondence has been known to exist between generic pedal evolutions and generic wave front evolutions. In this paper, we first extend the known results on the calculus correspondence to evolutions with multi-parameters, and then give applications of calculus correspondence. Moreover, we discuss the pos…

A first order Vassiliev invariant of an oriented knot in an $S^1$-fibration and a Seifert fibration over a surface is constructed. It takes values in a quotient of the group ring of the first homology group of the total space of the fibration. It gives rise to an invariant of wave fronts on surfaces and orbifolds relat…

The paper defines wave-front singularities using explicit analytic functions.

This paper describes caustics of wave fronts reflected by a surface.

We give useful and simple criteria for determining D_4 singularities of wave fronts. As an application, we investigate behaviors of singular curvatures of cuspidal edges near D_4^+ singularities.

Recently Arnold's $\St$ and $J^{\pm}$ invariants of generic planar curves have been generalized to the case of generic planar wave fronts. We generalize these invariants to the case of wave fronts on an arbitrary surface $F$. All invariants satisfying the axioms which naturally generalize the axioms used by Arnold are …

In this paper, we discuss the recognition problem for A_k-type singularities on wave fronts. We give computable and simple criteria of these singularities, which will play a fundamental role in generalizing the authors' previous work "the geometry of fronts" for surfaces. The crucial point to prove our criteria for A_k…

It is well known that Lagrangian dynamical systems naturally arise in describing wave front dynamics in the limit of short waves (which is called pseudoclassical limit or limit of geometrical optics). Wave fronts are the surfaces of constant phase, their points move along lines which are called rays. In non-homogeneous…

Let $M^2$ be an oriented 2-manifold and $f:M^2\to R^3$ a $C^\infty$-map. A point $p\in M^2$ is called a singular point if $f$ is not an immersion at $p$. The map $f$ is called a front (or wave front), if there exists a unit $C^\infty$-vector field $ν$ such that the image of each tangent vector $df(X)$ $(X\in TM^2)$ is …

Study compactness and continuity in Sobolev wave front set spaces for smooth vector bundles.

Develops support theorem for analytic transforms in tomography.

In the previous paper (arXiv:0804.0701), the authors gave criteria for A_{k+1}-type singularities on wave fronts. Using them, we show in this paper that there is a duality between singular points and inflection points on wave fronts in the projective space. As an application, we show that the algebraic sum of 2-inflect…

Two wave fronts $W_1$ and $W_2$ that originated at some points of the manifold $M^n$ are said to be causally related if one of them passed through the origin of the other before the other appeared. We define the causality relation invariant $CR (W_1, W_2)$ to be the algebraic number of times the earlier born front pass…

The paper improves Zakalyukin's lemma for frontals and applies it to surface singularities.

We study singularities of Gauss maps of fronts and give characterizations of types of singularities of Gauss maps by geometric properties of fronts which are related to behavior of bounded principal curvatures. Moreover, we investigate relation between a kind of boundedness of Gaussian curvatures near cuspidal edges an…

We analyze the inverse problem, originally formulated by Dix in geophysics, of reconstructing the wave speed inside a domain from boundary measurements associated with the single scattering of seismic waves. We consider a domain $\tilde M$ with a varying and possibly anisotropic wave speed which we model as a Riemannia…

Study describes singularities of distance squared functions on singular surfaces.

We review the properties of transversality of distributions with respect to submersions. This allows us to construct a convolution product for a large class of distributions on Lie groupoids. We get a unital involutive algebra $\cE\_{r,s}'(G,Ω^{1/2})$ enlarging the convolution algebra $C^\infty\_c(G,Ω^{1/2})$ associate…

Any surface can be foliated into equipotential hypersurfaces of the level sets. A current result is that the contours are the progressing wave fronts of a certain hyperbolic partial differential equation, a wave equation. It is connected with the gradient lines, as well as with a corresponding eikonal equation. The lev…

It is well-known that the unit cotangent bundle of any Riemannian manifold has a canonical contact structure. A surface in a Riemannian 3-manifold is called a (wave) front if it is the projection of a Legendrian immersion into the unit cotangent bundle. We shall give easily-computable criteria for a singular point on a…

A general class of Lorentzian metrics, $M_0 x R^2$, $ds^2 = <.,.> + 2 du dv + H(x,u) du^2$, with $(M_0, <.,.>$ any Riemannian manifold, is introduced in order to generalize classical exact plane fronted waves. Here, we start a systematic study of their main geodesic properties: geodesic completeness, geodesic connected…

In a previous work, the authors gave a definition of `front bundles'. Using this, we give a realization theorem for wave fronts in space forms, like as in the fundamental theorem of surface theory. As an application, we investigate the behavior of principal singular curvatures along A_2-singularities of hypersurfaces w…

Paper proves stability of multi-dimensional rarefaction waves in gas dynamics.

We prove several topological properties of linear Weingarten surfaces of Bryant type, as wave fronts in hyperbolic 3-space. For example, we show the orientability of such surfaces, and also co-orientability when they are not flat. Moreover, we show an explicit formula of the non-holomorphic hyperbolic Gauss map via ano…

Cuspidal edges and swallowtails are typical non-degenerate singular points on wave fronts in the Euclidean $3$-space. Their first fundamental forms belong to a class of positive semi-definite metrics called "Kossowski metrics". A point where a Kossowski metric is not positive definite is called a singular point or a se…

In [31,32,33] the Gauss-Bonnet formulas for coherent tangent bundles over compact oriented surfaces (without boundary) were proved. We establish the Gauss-Bonnet theorem for coherent tangent bundles over compact oriented surfaces with boundary. We apply this theorem to investigate global properties of maps between surf…

We prove generalizations of the isoperimetric inequality for both spherical and hyperbolic wave fronts (i.e. piecewise smooth curves which may have cusps). We then discuss "bicycle curves" using the generalized isoperimetric inequalities. The euclidean model of a bicycle is a unit segment AB that can move so that it re…

We present an axiomatic/synthetic account of the Huygens Principle of wave fronts. The primitive notions are "touching", and (a weak notion of ) metric. The paper simplifies some of the exposition of the author's "Metric spaces and SDG", Theory and Appl. of Categories 32 (2017), 803-822

A world sheet in Lorentz-Minkowski space is a timelike submanifold consisting of a one-parameter family of spacelike submanifolds in Lorentz-Minkowski space. In this paper we investigate differential geometry of world sheets in Lorentz-Minkowski space as an application of the theory of big wave fronts.

Neural networks are increasingly used in complex (data-driven) simulations as surrogates or for accelerating the computation of classical surrogates. In many applications physical constraints, such as mass or energy conservation, must be satisfied to obtain reliable results. However, standard machine learning algorithm…

Study uses reinforcement learning to optimize metachronal paddling at low Reynolds number.

We consider restrictions placed by geodesic completeness on spacetimes possessing a null parallel vector field, the so-called Brinkmann spacetimes. This class of spacetimes includes important idealized gravitational wave models in General Relativity, namely the plane-fronted waves with parallel rays, or pp-waves, which…

Study geometric isomorphisms between spacetime solutions using paracausal metrics.

Motivated by the study of wave fronts in anisotropic media, we propose an incidence geometry of anisotropic spheres in a Finsler-Minkowski space. An anisotropic version of the Laguerre functional is considered. In some circumstances, this functional can be used to determine that two wavefronts observed at distinct time…

Second paper in series solves Einstein vacuum equations for three impulsive waves.

In this paper, we give a definition of coherent tangent bundles of space form type, which is a generalized notion of space forms. Then, we classify their realizations in the sphere as a wave front, which is a generalization of a theorem of O'Neill and Stiel: any isometric immersion of the n-sphere into the (n+1)-sphere…

This is mainly a survey article on the recent development of the theory of graph-like Legendrian unfoldings and its applications. The notion of big Legendrian submanifolds was introduced by Zakalyukin for describing the wave front propagations. Graph-like Legendrian unfoldings belong to a special class of big Legendria…