Some properties of generating functions obtained by Amann-Conley-Zehnder reduction

Consider an initial Lagrangian submanifold Λ₀ ⊂ T* ℝ ⁿ that admits a global generating function and a Hamiltonian isotopy Φ _H ^t . Then, we provide a global generating function for the Lagrangian submanifold Λ _t = Φ _H ^t (Λ₀) realized by applying the so-called Amann-Conley-Zehnder reduction. When Λ₀ is the zero-section, we study in some detail the asymptotic behavior of such generating functions and give an approximation result. __________ Translated from Sovremennaya Matematika i Ee Prilozheniya (Contemporary Mathematics and Its Applications), Vol. 33, Suzdal Conference-2004, Part 1, 2005.     

Maxwell equations and the direction of the electromagnetic field

Let M₀ be the Minkowski space, let Λ₂(M₀) be the space of bivectors in M₀, and let G¹ ⊂ Λ₂(M₀) be the manifold of directions of the physical space, consisting of simple bivectors with square −1. A mapping F: U → Λ₂(M₀), U ⊂ ℝ⁴, satisfying the Maxwell equations is regarded as the tensor of an electromagnetic field in vacuum. The field is described on the basis of a special decomposition F = eω + h(*ω), where the mapping ω: U → G¹ is called the direction of the field, and e: U → (0, +∞) and h: U → ℝ are the electric and magnetic coefficients of the field. The Maxwell equations are reformulated in terms of ω, e, and h. Electromagnetic fields whose set of directions is a point or a one-dimensional subset of G¹ are considered. Bibliography: 7 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 329, 2005, pp. 118–146.     

On two classes of permutations with number-theoretic conditions on the lengths of the cycles

Let Λ be an arbitrary set of positive integers andS _n (Λ) the set of all permutations of degreen for which the lengths of all cycles belong to the set Λ. In the paper the asymptotics of the ratio |S _n (Λ)|/n! asn→∞ is studied in the following cases: 1) Λ is the union of finitely many arithmetic progressions, 2) Λ consists of all positive integers that are not divisible by any number from a given finite set of pairwise coprime positive integers. Here |S _n (Λ)| stands for the number of elements in the finite setS _n (Λ). Translated fromMatematicheskie Zametki, Vol. 62, No. 6, pp. 881–891, December, 1997. Translated by A. I. Shtern     

Dilations and Completions for Gabor Systems

Let be a full rank time-frequency lattice in ℝ ^d ×ℝ ^d . In this note we first prove that any dual Gabor frame pair for a Λ-shift invariant subspace M can be dilated to a dual Gabor frame pair for the whole space L ²(ℝ ^d ) when the volume v(Λ) of the lattice Λ satisfies the condition v(Λ)≤1, and to a dual Gabor Riesz basis pair for a Λ-shift invariant subspace containing M when v(Λ)>1. This generalizes the dilation result in Gabardo and Han (J. Fourier Anal. Appl. 7:419–433, [2001]) to both higher dimensions and dual subspace Gabor frame pairs. Secondly, for any fixed positive integer N, we investigate the problem whether any Bessel–Gabor family G(g,Λ) can be completed to a tight Gabor (multi-)frame G(g,Λ)∪(∪ _j=1 ^N G(g _j ,Λ)) for L ²(ℝ ^d ). We show that this is true whenever v(Λ)≤N. In particular, when v(Λ)≤1, any Bessel–Gabor system is a subset of a tight Gabor frame G(g,Λ)∪G(h,Λ) for L ²(ℝ ^d ). Related results for affine systems are also discussed. Communicated by Chris Heil.     

Pseudo-dimension and entropy of manifolds formed by affine-invariant dictionary

We consider the manifolds H _n(φ) formed by all possible linear combinations of n functions from the set {φ(A⋅+b)}, where x→Ax+b is arbitrary affine mapping in the space ℝ^d. For example, neural networks and radial basis functions are the manifolds of type H _n(φ). We obtain estimates for pseudo-dimension of the manifold H _n(φ) for wide collection of the generator function φ. The estimates have the order O(d ² n) in degree scale, that is the order is proportional to number of parameters of the manifold H _n(φ). Moreover the estimates for ɛ-entropy of the manifold H _n(φ) are obtained. Mathematics subject classifications (2000) 41A46, 41A50, 42A61, 42C10 V. Maiorov: Supported by the Center for Absorption in Science, Ministry of Immigrant Absorption, State of Israel.     

Weak helix submanifolds of euclidean spaces

Let M⊂ℝ ⁿ be a submanifold of a euclidean space. A vector d∈ℝ ⁿ is called a helix direction of M if the angle between d and any tangent space T _p M is constant. Let ℋ(M) be the set of helix directions of M. If the set ℋ(M) contains r linearly independent vectors we say that M is a weak r-helix. We say that M is a strong r-helix if ℋ(M) is a r-dimensional linear subspace of ℝ ⁿ . For curves and hypersurfaces both definitions agree. The object of this article is to show that these definitions are not equivalent. Namely, we construct (non strong) weak 2-helix surfaces of ℝ⁴. The author is supported by the Project M.I.U.R. “Riemann Metrics and Differentiable Manifolds” and by G.N.S.A.G.A. of I.N.d.A.M., Italy.     

On translation and dilation invariant subspaces of L p (ℝn), 0 < p < 1

We prove that each translation and dilation invariant subspace X ⊂ L ^p (ℝⁿ), X ≠ L ^p (ℝⁿ), is contained in a maximal translation and dilation invariant subspace of L ^p (ℝⁿ). Moreover, we prove that the set of all maximal translation and dilation invariant subspaces of L ^p (ℝⁿ) has the power of continuum. Bibliography: 6 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 345, 2007, pp. 5–21.     

Rigidity of minimal submanifolds with flat normal bundle

Let M ⁿ (n ≥ 3) be an n-dimensional complete immersed $ \frac{{n - 2}} {n} $ \frac{{n - 2}} {n} -super-stable minimal submanifold in an (n + p)-dimensional Euclidean space ℝ ^n+p with flat normal bundle. We prove that if the second fundamental form of M satisfies some decay conditions, then M is an affine plane or a catenoid in some Euclidean subspace.     

Totally geodesic submanifolds in Lie groups

Summary We study minimal and totally geodesic submanifolds in Lie groups and related problems. We show that: (1) The imbedding of the Grassmann manifold G_F(n,N) in the Lie group G_F(N) defined naturally makes G_F(n,N) a totally geodesic submanifold; (2) The imbedding S⁷→SO(8) defined by octonians makes S⁷a totally geodesic submanifold inSO(8); (3) The natural inclusion of the Lie group G_F(N) in the sphere S^{cN^2-1}(√N) of gl(N,F)is minimal. Therefore the natural imbedding G_F(N)<span style='font-size:10.0pt;font-family:"Lucida Sans Unicode"'>→gl(N,F)is formed by the eigenfunctions of the Laplacian on G_F(N).     

Hardy spaces via distribution spaces

Let ℐ(ℝⁿ) be the Schwartz class on ℝⁿ and ℐ_∞(ℝⁿ) be the collection of functions ϕ ∊ ℐ(ℝⁿ) with additional property that

Integration of differential forms on manifolds with locally-finite variations. II

In part I of the paper, we have defined n-dimensional C⁰-manifolds in ℝⁿ(m ≥ n) with locally-finite n-dimensional variations (a generalization of locally-rectifiable curves to dimensionn > 1) and integration of measurable differential n-forms over such manifolds. The main result of part II states that an n-dimensional manifold that is C¹-embedded into ℝ^m has locally-finite variations and the integral of a measurable differential n-form defined in part I can be calculated by the well-known formula. Bibliography: 5 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 333, 2006, pp. 66–85.     

Poisson Type Generators for L 1(ℝ)

We characterize the discrete sets Λ⊆ℝ such that {φ(t−λ),λ∈Λ} span L ¹(ℝ), φ being an L ¹(ℝ)-function whose Fourier transform behaves like e ^−2π|ξ|.     

Smooth and path connected Banach submanifold Σ r of B(E,F) and a dimension formula in B(ℝ n ,ℝ m )

Given two Banach spaces E,F, let B(E,F) be the set of all bounded linear operators from E into F, Σ _r the set of all operators of finite rank r in B(E,F), and Σ _r ^# the number of path connected components of Σ _r . It is known that Σ _r is a smooth Banach submanifold in B(E,F) with given expression of its tangent space at each A ∈ Σ _r . In this paper,the equality Σ _r ^# = 1 is proved. Consequently, the following theorem is obtained: for any nonnegative integer r, Σ _r is a smooth and path connected Banach submanifold in B(E,F) with the tangent space T _A Σ _r = {B ∈ B(E,F): BN(A) ⊂ R(A)} at each A ∈ Σ _r if dim F = ∞. Note that the routine method can hardly be applied here. So in addition to the nice topological and geometric property of Σ _r the method presented in this paper is also interesting. As an application of this result, it is proved that if E = ℝ ⁿ and F = ℝ ^m , then Σ _r is a smooth and path connected submanifold of B(ℝ ⁿ , ℝ ^m ) and its dimension is dimΣ _r = (m+n)r−r ² for each r, 0 <- r < min {n,m}. Supported by the National Science Foundation of China (Grant No.10671049 and 10771101).     

Canonical representation of tangent vectors of Grassmannians

The structure of the tangent bundle of the real Grassmann manifold G ₊ ^p,n under the Plücker embedding (in the exterior algebra of the initial Euclidean space) is studied. Explicit expressions for the relation between decompositions of a tangent vector with respect to different bases of the tangent space are obtained, and a constructivemethod yielding the canonical (= simplest) decomposition is presented. Bibliography: 8 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 329, 2005, pp. 147–158.     

Spectral functions of self-adjoint and symmetric multiplication operators inL 2(X, μ)-spaces

Explicit formulas are derived for the spectral function of double multiplication operator containing a multiplicative evolution inL ²(X, μ)-space and a convolution-type operator inL ²(ℝ ⁿ )-spaces. Symmetric convolution and multiplication operators are considered inL ²(X, μ) andL ²(ℝ ⁿ )-spaces. Translated fromMatematicheskie Zametki, Vol. 67, No. 6, pp. 803–810, June, 2000.     

Voronoi diagrams of random lines and flats

It is proved that, for any fixedd ≽ 3 and 0 ≤k ≤ d - 1, the expected combinatorial complexity of the Euclidean Voronoi diagram ofn random &-flats drawn independently from the uniform distribution onk-flats intersecting the unit ball in ℝ^d is Ξ(n ^d/(d-k)) asn → ∞. A by-product of the proof is a density transformation for integrating over sets ofd + 1k-flats in ℝ^d     

Incompleteness and minimality of complex exponential system

A necessary and sufficient condition is obtained for the incompleteness of a complex exponential system E(A,M)in C_α,where C_αis the weighted Banach space consisting of all complex continuous functions f on the real axis R with f(t)exp(-α(t))vanishing at infinity,in the uniform norm‖f‖_α=sup{|f(t)e~(-α(t))|:t∈R}with respect to the weightα(t).If the incompleteness holds, then the complex exponential system E(?)is minimal and each function in the closure of the linear span of complex exponential system E(?)can be extended to an entire function represented by a Taylor-Dirichlet series.     

Convergence of mock Fourier series

For certain Cantor measures μ on ℝⁿ, it was shown by Jorgensen and Pedersen that there exists an orthonormal basis of exponentialse ^2πiγ·x for λεΛ. a discrete subset of ℝⁿ called aspectrum for μ. For anyL ¹ functionf, we define coefficientsc _γ(f)=∝f(y)e ^−2πiγiy dμ(y) and form the Mock Fourier series ∑_λ∈Λ^cλ(f)e ^2πiλ·x . There is a natural sequence of finite subsets Λ_n increasing to Λ asn→∞, and we define the partial sums of the Mock Fourier series by We prove, under mild technical assumptions on μ and Λ, thats _n(f) converges uniformly tof for any continuous functionf and obtain the rate of convergence in terms of the modulus of continuity off. We also show, under somewhat stronger hypotheses, almost everywhere convergence forfεL ¹. Research supported in part by the National Science Foundation, Grant DMS-0140194.     

A characterization of the higher dimensional groups associated with continuous wavelets

A subgroup D of GL (n, ℝ) is said to be admissible if the semidirect product of D and ℝ ⁿ , considered as a subgroup of the affine group on ℝ ⁿ , admits wavelets ψ ∈ L²(ℝ ⁿ ) satisfying a generalization of the Calderón reproducing, formula. This article provides a nearly complete characterization of the admissible subgroups D. More precisely, if D is admissible, then the stability subgroup D_x for the transpose action of D on ℝ ⁿ must be compact for a. e. x. ∈ ℝ ⁿ ; moreover, if Δ is the modular function of D, there must exist an a ∈ D such that |det a| ≠ Δ(a). Conversely, if the last condition holds and for a. e. x ∈ ℝ ⁿ there exists an ε > 0 for which the ε-stabilizer D _x ^ε is compact, then D is admissible. Numerous examples are given of both admissible and non-admissible groups.     

Discrete Calderón’s Identity,Atomic Decomposition and Boundedness Criterion of Operators on Multiparameter Hardy Spaces

In this paper we establish a discrete Calderón’s identity which converges in both L ^q (ℝ ^n+m ) (1<q<∞) and Hardy space H ^p (ℝ ⁿ ×ℝ ^m ) (0<p≤1). Based on this identity, we derive a new atomic decomposition into (p,q)-atoms (1<q<∞) on H ^p (ℝ ⁿ ×ℝ ^m ) for 0<p≤1. As an application, we prove that an operator T, which is bounded on L ^q (ℝ ^n+m ) for some 1<q<∞, is bounded from H ^p (ℝ ⁿ ×ℝ ^m ) to L ^p (ℝ ^n+m ) if and only if T is bounded uniformly on all (p,q)-product atoms in L ^p (ℝ ^n+m ). The similar result from H ^p (ℝ ⁿ ×ℝ ^m ) to H ^p (ℝ ⁿ ×ℝ ^m ) is also obtained.