On Uniform Approximation in R2 of Continuous Functions of Two Variables with Bounded Variation in the Sense of Hardy

Introduce the notation: $\mathbb{Z}$ is the set of integers, $\bar {\mathbb{Z}}={\mathbb{Z}} \cup \{-\infty, +\infty\},{\mathbb{R}}_+^2 =\{x=(x_1,x_2) \in {\mathbb{R}}^2; x_1>0,x_2>0\}$ , $g_{k,m} (x,\alpha,h)= \int\limits_0^1 {g_1 (\frac{(k+u)h_1 - x_1}{\alpha_1})g_2(\frac{(m+u)h_2 - x_2}{\alpha_2})}du$ , where $g_i :\mathbb{R} \to \mathbb{R},x \in \mathbb{R}^2 ,\alpha ,h \in \mathbb{R}_ + ^2 $ . Under certain conditions on the functions g ₁, g ₂, we prove that the system of functions $g_{k,m} (x,\alpha^(n), h^(n)) (k,m \in \bar {\mathbb{Z}})$ , where $\alpha ^{\left( n \right)} ,h^{\left( n \right)} \in \mathbb{R}_ + ^2 $ are arbitrary infinitesimal sequences, is complete in the space C $\mathbb{R}^2 $ of uniformly continuous bounded functions f equipped with the norm $||f|| = \mathop {\sup }\limits_{x \in \mathbb{R}^2 } |f(x)|$ . Starting with the functions g _k,m , it is possible to construct a method for uniform approximating in $\mathbb{R}^2 $ any continuous function of bounded variation in the sense of Hardy. An error estimate is derived in terms of the second order moduli of continuity. Based on the obtained results, we discuss in detail the accuracy of uniform approximation of functions of several variables by linear functions. The error estimates are derived by using second order moduli of continuity. We pay a particular attention to sharpness of constants. Bibliography: 8 titles.     

The Wiener--Hopf Integral Equation in the Supercritical Case

We consider the scalar homogeneous equation $S(x) = \int_0^\infty {K(x - t)S(t)dt,{\text{ }}x \in \mathbb{R}^ + \equiv (0,\infty ),}$ with symmetric kernel $K:K( - x) = K(x),{\text{ }}x \in \mathbb{R}_1$ satisfying the conditions $0 \leqslant K \in L_1 (\mathbb{R}^ + ) \cap C^{\left( 2 \right)} (\mathbb{R}^ + )$ , $\int_0^\infty {K(t)dt > \frac{1}{2}} $ , $K' \leqslant 0{\text{ }}and 0 \leqslant K'' \downarrow {\text{ }}on \mathbb{R}^ + $ . We prove the existence of a real solution S of the equation given above with asymptotic behavior $S(x) = O(x){\text{ as }}x \to + \infty $ .     

Codimension 1 Subvarieties of {\mathcal{M}_g } and Real Gonality of Real Curves

Let ${\mathcal{M}_g }$ be the moduli space of smooth complex projective curves of genus g. Here we prove that the subset of ${\mathcal{M}_g }$ formed by all curves for which some Brill-Noether locus has dimension larger than the expected one has codimension at least two in ${\mathcal{M}_g }$ . As an application we show that if ${X \in \mathcal{M}_g }$ is defined over $\mathbb{R}$ then there exists a low degree pencil ${u:X \to \mathbb{P}^1 }$ defined over $\mathbb{R}.$      

Approximation by M. Riesz Kernels in L p for p<1

Let α > 0. We consider the linear span $\mathfrak{X}_\alpha \left( {\mathbb{R}^n } \right)$ of scalar Riesz's kernels $\left\{ {\tfrac{1}{{\left| {x - a} \right|^\alpha }}} \right\}_{a \in \mathbb{R}^n }$ and the linear span $\mathfrak{Y}_\alpha \left( {\mathbb{R}^n } \right)$ of vector Riesz's kernels $\left\{ {\tfrac{1}{{\left| {x - a} \right|^{\alpha + 1} }}\left( {x - a} \right)} \right\}_{a \in \mathbb{R}^n }$ . We study the following problems. (1) When is the intersection $\mathfrak{X}_\alpha \left( {\mathbb{R}^n } \right) \cap L^p \left( {\mathbb{R}^n } \right)$ dense in L^p(?ⁿ)? (2) When is the intersection $\mathfrak{Y}_\alpha \left( {\mathbb{R}^n } \right) \cap L^p \left( {\mathbb{R}^n ,\mathbb{R}^n } \right)$ dense in L^p(?ⁿ, ?ⁿ)? Bibliography: 15 titles.     

A Criterion for Weak Generalized Localization in the Class L_1 for Multiple Trigonometric Series from the Viewpoint of Isometric Transformations

In this paper, we study the problem of the variation (if any) of the sets of convergence and divergence everywhere or almost everywhere of a multiple Fourier series (integral) of a function $f \in L_p $ , $p \geqslant 1$ , $f(x) = 0$ , on a set of positive measure $\mathfrak{A} \subset \mathbb{T}^N = [ - \pi ,\pi )^N $ , $N \geqslant 2$ , depending on the rotation of the coordinate system, i.e., depending on the element $\tau \in \mathcal{F}$ , where $\mathcal{F}$ is the rotation group about the origin in $\mathbb{R}^N $ . This problem has been reduced to the study of the change in the geometry of the sets $\tau ^{ - 1} (\mathfrak{A}) \cap \mathbb{T}^N $ (where $\tau ^{ - 1} \in \mathcal{F}$ satisfies $\tau ^{ - 1} \cdot \tau = 1$ ) and $\mathbb{T}^N \backslash {\text{supp}}(f \circ \tau )$ depending on the “rotation,” i.e., on $\tau \in \mathcal{F}$ . In the present paper, we consider two settings of this problem (depending on the sense in which the Fourier series of the function $f \circ \tau $ is understood) and give (for both cases) possible solutions of the problem in the class $L_1 (\mathbb{T}^N )$ , $N \geqslant 2$ .     

Euclidean hypersurfaces with genuine deformations in codimension two

We classify hypersurfaces of rank two of Euclidean space ${\mathbb{R}^{n+1}}$ that admit genuine isometric deformations in ${\mathbb{R}^{n+2}}$ . That an isometric immersion ${\hat{f}\colon M^n \to \mathbb{R}^{n+2}}$ is a genuine isometric deformation of a hypersurface ${f\colon M^n\to\mathbb{R}^{n+1}}$ means that ${\hat f}$ is nowhere a composition ${\hat f=\hat F\circ f}$ , where ${\hat{F} \colon V\subset \mathbb{R}^{n+1} \to\mathbb{R}^{n+2}}$ is an isometric immersion of an open subset V containing the hypersurface.     

Constant Angle Property and Canonical Principal Directions for Surfaces in {\mathbb{M}^{2}(c) \times {\mathbb{R}_{1}}}

In this paper, we study surfaces in Lorentzian product spaces ${{\mathbb{M}^{2}(c) \times \mathbb{R}_1}}$ . We classify constant angle spacelike and timelike surfaces in ${{\mathbb{S}^{2} \times \mathbb{R}_1}}$ and ${{\mathbb{H}^{2} \times \mathbb{R}_1}}$ . Moreover, complete classifications of spacelike surfaces in ${{\mathbb{S}^{2} \times \mathbb{R}_1}}$ and ${{\mathbb{H}^{2} \times \mathbb{R}_1}}$ and timelike surfaces in ${{\mathbb{M}^{2}(c) \times \mathbb{R}_1}}$ with a canonical principal direction are obtained. Finally, a new characterization of the catenoid of the 3rd kind is established, as the only minimal timelike surface with a canonical principal direction in Minkowski 3–space.     

Appell Bases for Monogenic Functions of Three Variables

Monogenic (or hyperholomorphic) functions are well known in general Clifford algebras but have been little studied in the particular case ${\mathbb{R}^{3} \rightarrow \mathbb{R}^{3}}$ R 3 → R 3 . We describe for this case the collection of all Appell systems: bases for the finite-dimensional spaces of monogenic homogeneous polynomials which respect the operator ${D = \partial_{0} - \vec{\partial}}$ D = ? 0 ? ? → . We prove that no purely algebraic recursive formula (in a specific sense) exists for these Appell systems, in contrast to the existence of known constructions for ${\mathbb{R}^{3} \rightarrow \mathbb{R}^{4}}$ R 3 → R 4 and ${\mathbb{R}^{4} \rightarrow \mathbb{R}^{4}}$ R 4 → R 4 . However, we give a simple recursive procedure for constructing Appell bases for ${\mathbb{R}^{3} \rightarrow \mathbb{R}^{3}}$ R 3 → R 3 which uses the operation of integration of polynomials.     

On 1-isometries of affine quadrics over finite fields

Letq be a regular quadratic form on a vector space (V, $\mathbb{F}$ ) and assume $4 \leqslant dim V \leqslant \infty \wedge |\mathbb{F}| \in \mathbb{N}$ . A 1-isometry of the central quadric $\mathcal{F}: = \{ x \in V|q(x) = 1\}$ is a permutation ? of $\mathcal{F}$ such that (*) $$q(x - y) = \nu \Leftrightarrow q(x^\varphi - y^\varphi ) = \nu \forall x,y \in \mathcal{F}$$ holds true for a fixed element ν of $\mathbb{F}$ . For arbitraryν ∈ $\mathbb{F}$ we prove that? is induced (in a certain sense) by a semi-linear bijection $(\sigma ,\varrho ):(V,\mathbb{F}) \to (V,\mathbb{F})$ such thatq oσ =? oq, provided $\mathcal{F}$ contains lines and the exceptional case $(\nu = 2 \Lambda |\mathbb{F}| = 3 \Lambda \dim V = 4 \Lambda |\mathcal{F}| = 24)$ is excluded. In the exceptional case and as well in case of dim V = 3 there are counterexamples. The casesν ≠ 2 and v=2 require different techniques.     

Uniqueness of integrable solutions to {\nabla \zeta=G \zeta, \zeta|_\Gamma = 0} for integrable tensor coefficients G and applications to elasticity

Let ${\Omega \subset \mathbb{R}^{N}}$ be a Lipschitz domain and Γ be a relatively open and non-empty subset of its boundary ${\partial\Omega}$ . We show that the solution to the linear first-order system $$\nabla \zeta = G\zeta, \, \, \zeta|_\Gamma = 0 \quad \quad \quad (1)$$ is unique if ${G \in \textsf{L}^{1}(\Omega; \mathbb{R}^{(N \times N) \times N})}$ and ${\zeta \in \textsf{W}^{1,1}(\Omega; \mathbb{R}^{N})}$ . As a consequence, we prove $$||| \cdot ||| : \textsf{C}_{o}^{\infty}(\Omega, \Gamma; \mathbb{R}^{3}) \rightarrow [0, \infty), \, \, u \mapsto \parallel {\rm sym}(\nabla uP^{-1})\parallel_{\textsf{L}^{2}(\Omega)}$$ to be a norm for ${P \in \textsf{L}^{\infty}(\Omega; \mathbb{R}^{3 \times 3})}$ with Curl ${P \in \textsf{L}^{p}(\Omega; \mathbb{R}^{3 \times 3})}$ , Curl ${P^{-1} \in \textsf{L}^{q}(\Omega; \mathbb{R}^{3 \times 3})}$ for some p, q > 1 with 1/p + 1/q = 1 as well as det ${P \geq c^+ > 0}$ . We also give a new and different proof for the so-called ‘infinitesimal rigid displacement lemma’ in curvilinear coordinates: Let ${\Phi \in \textsf{H}^{1}(\Omega; \mathbb{R}^{3})}$ satisfy sym ${(\nabla\Phi^\top\nabla\Psi) = 0}$ for some ${\Psi \in \textsf{W}^{1,\infty}(\Omega; \mathbb{R}^{3}) \cap \textsf{H}^{2}(\Omega; \mathbb{R}^{3})}$ with det ${\nabla\Psi \geq c^+ > 0}$ . Then, there exist a constant translation vector ${a \in \mathbb{R}^{3}}$ and a constant skew-symmetric matrix ${A \in \mathfrak{so}(3)}$ , such that ${\Phi = A\Psi + a}$ .     

Hard Sard: Quantitative Implicit Function and Extension Theorems for Lipschitz Maps

We prove a global implicit function theorem. In particular we show that any Lipschitz map ${f : \mathbb{R}^{n} \times \mathbb{R}^{m} \rightarrow \mathbb{R}^{n}}$ (with n-dim. image) can be precomposed with a bi-Lipschitz map ${\bar{g} : \mathbb{R}^{n} \times \mathbb{R}^{m} \rightarrow \mathbb{R}^{n} \times \mathbb{R}^{m}}$ such that ${f \circ \bar{g}}$ will satisfy, when we restrict to a large portion of the domain ${E \subset \mathbb{R}^{n} \times \mathbb{R}^{m}}$ , that ${f \circ \bar{g}}$ is bi-Lipschitz in the first coordinate, and constant in the second coordinate. Geometrically speaking, the map ${\bar{g}}$ distorts ${\mathbb{R}^{n+m}}$ in a controlled manner so that the fibers of f are straightened out. Furthermore, our results stay valid when the target space is replaced by any metric space. A main point is that our results are quantitative: the size of the set E on which behavior is good is a significant part of the discussion. Our estimates are motivated by examples such as Kaufman’s 1979 construction of a C ¹ map from [0, 1]³ onto [0, 1]² with rank ≤ 1 everywhere. On route we prove an extension theorem which is of independent interest. We show that for any D ≥ n, any Lipschitz function ${f : [0,1]^{n} \rightarrow \mathbb{R}^{D}}$ gives rise to a large (in an appropriate sense) subset ${E \subset [0,1]^{n}}$ such that ${f|_E}$ is bi-Lipschitz and may be extended to a bi-Lipschitz function defined on all of ${\mathbb{R}^{n}}$ . This extends results of Jones and David, from 1988. As a simple corollary, we show that n-dimensional Ahlfors–David regular spaces lying in ${\mathbb{R}^{D}}$ having big pieces of bi-Lipschitz images also have big pieces of big pieces of Lipschitz graphs in ${\mathbb{R}^{D}}$ . This was previously known only for D ≥ 2n?+?1 by a result of David and Semmes.     

Exact Non-Self-Similar Solutions of the Equation $$u_t = \Delta \ln u$$

In this paper, we obtain new exact non-self-similar solutions of the nonlinear diffusion equation $$\begin{gathered} {\text{ }}u_t = \Delta \ln u, \hfill \\ u \triangleq u\left( {x,t} \right):\Omega \times \mathbb{R}^ + \to \mathbb{R},{\text{ }} x \in \mathbb{R}^n , \hfill \\ \end{gathered} $$ where $\Omega \subset \mathbb{R}^n $ is the domain and $\mathbb{R}^ + = \left\{ {t:0 \leqslant t < + \infty } \right\},{\text{ }}u\left( {x,t} \right) \geqslant 0$ is the temperature of the medium.     

On p-tuples of the Grassmann manifolds

We provide a matrix invariant for isometry classes of p-tuples of points in the Grassmann manifold ${G_{n}\left(\mathbb{K}^{d}\right) }$ ( ${\mathbb{K=\mathbb{R}}}$ or ${\mathbb{C}}$ ). This invariant fully characterizes the p-tuple. We use it to classify the regular p-tuples of ${G_{2}\left(\mathbb{R}^{d}\right) }$ , ${G_{3}\left( \mathbb{R}^{d}\right) }$ and ${G_{2}\left( \mathbb{C}^{d}\right) }$ .     

On the Linear Dependence of a Finite Set of Additive Functions

In this note we prove the following: Let n?≥ 2 be a fixed integer. A system of additive functions ${A_{1},A_{2},\ldots,A_{n}:\mathbb{R} \to\mathbb{R}}$ is linearly dependent (as elements of the ${\mathbb{R}}$ vector space ${\mathbb{R}^{\mathbb{R}}}$ ), if and only if, there exists an indefinite quadratic form ${Q:\mathbb{R}^{n}\to\mathbb{R} }$ such that ${Q(A_{1}(x),A_{2}(x),\ldots,A_{n}(x))\geq 0}$ or ${Q(A_{1}(x),A_{2}(x),\ldots,A_{n}(x))\leq 0}$ holds for all ${x\in\mathbb{R}}$ .     

On permutations of central quadrics which preserve an inner distance

Letq be a regular quadratic form on a vector space (V, $\mathbb{F}$ ) and assume dimV ≥ 4 and ¦ $\mathbb{F}$ ¦ ≥ 4. We consider a permutation ? of the central affine quadric $\mathcal{F}$ := {x εV ¦q(x) = 1} such that $$(*)x \cdot y = \mu \Leftrightarrow x^\varphi \cdot y^\varphi = \mu \forall x,y\varepsilon \mathcal{F}$$ holds true, where μ is a fixed element of $\mathbb{F}$ and where “·” is the scalar product associated withq. We prove that ? is induced (in a certain sense) by a semi-linear bijection (σ,?): (V, $\mathbb{F}$ ) → (V, $\mathbb{F}$ ) such thatq o ?o q, provided $\mathcal{F}$ contains lines and the pair (μ, $\mathbb{F}$ ) has additional properties if there ar no planes in $\mathcal{F}$ . The cases μ,≠ 0 and μ = 0 require different techniques.     

The Hilbert functions ofk-configurations in\mathbb{P}^2 and\mathbb{P}^3

In this paper, we proved the set of points which are the vertices of then-gon in $\mathbb{P}^2 $ (n ≥ 3) has the Uniform Position Property and what the graded free resolutions of the ideals ofk-configurations in $\mathbb{P}^3 $ are.     

Saddle solutions for bistable symmetric semilinear elliptic equations

This paper concerns the existence and asymptotic characterization of saddle solutions in ${\mathbb {R}^{3}}$ for semilinear elliptic equations of the form $$-\Delta u + W'(u) = 0,\quad (x, y, z) \in {\mathbb {R}^{3}} \qquad\qquad\qquad (0.1)$$ where ${W \in \mathcal{C}^{3}(\mathbb {R})}$ is a double well symmetric potential, i.e. it satisfies W(?s) =  W(s) for ${s \in \mathbb {R},W(s) > 0}$ for ${s \in (-1,1)}$ , ${W(\pm 1) = 0}$ and ${W''(\pm 1) > 0}$ . Denoted with ${\theta_{2}}$ the saddle planar solution of (0.1), we show the existence of a unique solution ${\theta_{3} \in {\mathcal{C}^{2}}(\mathbb {R}^{3})}$ which is odd with respect to each variable, symmetric with respect to the diagonal planes, verifies ${0 < \theta_{3}(x,y,z) < 1}$ for x, y, z >  0 and ${\theta_{3}(x, y, z) \to_{z \to + \infty} \theta_{2}(x, y)}$ uniformly with respect to ${(x, y) \in \mathbb {R}^{2}}$ .     

The second order pullback equation

Let $f,g$ be two closed $k$ -forms over $\mathbb{R }^{n}.$ The pullback equation studies the existence of a diffeomorphism $\varphi :\mathbb{R }^{n} \rightarrow \mathbb{R }^{n}$ such that $$\begin{aligned} \varphi ^{*}(g)=f. \end{aligned}$$ We prove two types of results. The first one sharpens some of the existing regularity results. The second one discusses the possibility of choosing the map $\varphi $ as the gradient of a function $\Phi :\mathbb{R }^{n} \rightarrow \mathbb R .$ We show that this is a very rare event unless the two forms are constant.     

Postulation of Disjoint Unions of Lines and Double Lines in {\mathbb{P}^3}

A double line ${C \subset \mathbb{P}^3}$ is a connected divisor of type (2, 0) on a smooth quadric surface. Fix ${(a, c) \in \mathbb{N}^2\ \backslash\ \{(0, 0)\}}$ . Let ${X \subset \mathbb{P}^3}$ be a general disjoint union of a lines and c double lines. Then X has maximal rank, i.e. for each ${t \in \mathbb{Z}}$ either ${h^1(\mathcal{I}_X(t)) = 0}$ or ${h^0(\mathcal{I}_X(t)) = 0}$ .     

Orthogonality properties of linear combinations of orthogonal polynomials II

Let and be polynomials orthogonal on the unit circle with respect to the measures dσ and dμ, respectively. In this paper we consider the question how the orthogonality measures dσ and dμ are related to each other if the orthogonal polynomials are connected by a relation of the form , for , where . It turns out that the two measures are related by if , where and are known trigonometric polynomials of fixed degree and where the 's are the zeros of on . If the 's and 's are uniformly bounded then (under some additional conditions) much more can be said. Indeed, in this case the measures dσ and dμ have to be of the form and , respectively, where are nonnegative trigonometric polynomials. Finally, the question is considered to which weight functions polynomials of the form where denotes the reciprocal polynomial of , can be orthogonal. This revised version was published online in June 2006 with corrections to the Cover Date.