In this paper, we describe the line Dirac delta function of a curve in three-dimensional space in terms of the distance function to the curve. Its extension to level set formulation and plane curves are also developed. The main ideas can be applied for general dimension and codimension.
Let M denote the maximal function along the polynomial curve p(t)=(t,t^2,...,t^d) in R^d: M(f)=sup_{r>0} (1/2r) int_{|t|<r} |f(x-p(t))| dt. We show that the L^2-norm of this operator grows at most logarithmically with the parameter d: ||M||_2 < c log d ||f||_2, where c>0 is an absolute constant. The proof depends on the explicit construction of a parabolic semi-group of operators which is a mixture of stable semi-groups.
In this paper we consider Erdos-Mordell inequality and its extension in the plane of triangle to the Erdos-Mordell curve. Algebraic equation of this curve is derived, and using modern computer tools in mathematics, we verified one conjecture that relates to Erdos-Mordell curve.
The Serpinsky-Knopp curve is characterized as the only curve (up to isometry) that maps a unit segment onto a triangle of a unit area, so for any pair of points in the segment, the square of the distance between their images does not exceed four times the distance between them.
We discuss a new pseudometric on the space of all norms on a finite-dimensional vector space (or free module) $mathbb{F}^k$, with $mathbb{F}$ the real, complex, or quaternion numbers. This metric arises from the Lipschitz-equivalence of all norms on $mathbb{F}^k$, and seems to be unexplored in the literature. We initiate the study of the associated quotient metric space, and show that it is complete, connected, and non-compact. In particular, the new topology is strictly coarser than that of the Banach-Mazur compactum. For example, for each $k geqslant 2$ the metric subspace ${ | cdot |_p : p in [1,infty] }$ maps isometrically and monotonically to $[0, log k]$ (or $[0,1]$ by scaling the norm), again unlike in the Banach-Mazur compactum. Our analysis goes through embedding the above quotient space into a normed space, and reveals an implicit functorial construction of function spaces with diameter norms (as well as a variant of the distortion). In particular, we realize the above quotient space of norms as a normed space. We next study the parallel setting of the - also hitherto unexplored - metric space $mathcal{S}([n])$ of all metrics on a finite set of $n$ elements, revealing the connection between log-distortion and diameter norms. In particular, we show that $mathcal{S}([n])$ is also a normed space. We demonstrate embeddings of equivalence classes of finite metric spaces (parallel to the Gromov-Hausdorff setting), as well as of $mathcal{S}([n-1])$, into $mathcal{S}([n])$. We conclude by discussing extensions to norms on an arbitrary Banach space and to discrete metrics on any set, as well as some questions in both settings above.
A 2-dimensional point-line framework is a collection of points and lines in the plane which are linked by pairwise constraints that fix some angles between pairs of lines and also some point-line and point-point distances. It is rigid if every continuous motion of the points and lines which preserves the constraints results in a point-line framework which can be obtained from the initial framework by a translation or a rotation. We characterise when a generic point-line framework is rigid. Our characterisation gives rise to a polynomial algorithm for solving this decision problem.