Fonctions analytiques hyperboliques

We define and study here a class of functions probably new defined onC×IR ² (whereC is a Clifford algebra) with values inC×IR and that we call “hyperbolic analytic functions” because of their analogy with complex analytic functions.     

Equipartition of mass distributions by hyperplanes

We consider the problem of determining the smallest dimensiond=Δ(j, k) such that, for anyj mass distributions inR ^d , there arek hyperplanes so that each orthant contains a fraction 1/2 ^k of each of the masses. The case Δ(1,2)=2 is very well known. The casek=1 is answered by the ham-sandwich theorem with Δ(j, 1)=j. By using mass distributions on the moment curve the lower bound Δ(j, k)≥j(2 ^k −1)/k is obtained. We believe this is a tight bound. However, the only general upper bound that we know is Δ(j, k)≤j2 ^k−1. We are able to prove that Δ(j, k)=⌈j(^2k−1/k⌉ for a few pairs (j, k) ((j, 2) forj=3 andj=2 ⁿ withn≥0, and (2, 3)), and obtain some nontrivial bounds in other cases. As an intermediate result of independent interest we prove a Borsuk-Ulam-type theorem on a product of balls. The motivation for this work was to determine Δ(1, 4) (the only case forj=1 in which it is not known whether Δ(1,k)=k); unfortunately the approach fails to give an answer in this case (but we can show Δ(1, 4)≤5). This research was supported by the National Science Foundation under Grant CCR-9118874.     

On the Problem of Parameter Estimation in Exponential Sums

Let I≥1 be an integer, ω ₀=0<ω ₁<⋯<ω _I ≤π, and for j=0,…,I, a _j ∈ℂ, a_-j=[`(a_j)]a_{-j}={\overline{{a_{j}}}}, ω _−j =−ω _j , and a_j 1 0a_{j}\not=0 if j 1 0j\not=0. We consider the following problem: Given finitely many noisy samples of an exponential sum of the form

Bicomplex Quantum Mechanics: II. The Hilbert Space

Using the bicomplex numbers

Tiling Groupoids and Bratteli Diagrams II: Structure of the Orbit Equivalence Relation

In this second paper, we study the case of substitution tilings of \mathbb R^d{{\mathbb R}^d} . The substitution on tiles induces substitutions on the faces of the tiles of all dimensions j = 0, . . . , d − 1. We reconstruct the tiling’s equivalence relation in a purely combinatorial way using the AF-relations given by the lower dimensional substitutions. We define a Bratteli multi-diagram B{{\mathcal B}} which is made of the Bratteli diagrams B^j, j=0, ?d{{\mathcal B}^j, j=0, \ldots d} , of all those substitutions. The set of infinite paths in B^d{{\mathcal B}^d} is identified with the canonical transversal Ξ of the tiling. Any such path has a “border”, which is a set of tails in B^j{{\mathcal B}^j} for some j ≤ d, and this corresponds to a natural notion of border for its associated tiling. We define an étale equivalence relation R_B{{\mathcal R}_{\mathcal B}} on B{{\mathcal B}} by saying that two infinite paths are equivalent if they have borders which are tail equivalent in B^j{{\mathcal B}^j} for some j ≤ d. We show that R_B{{\mathcal R}_{\mathcal B}} is homeomorphic to the tiling’s equivalence relation R_X{{\mathcal R}_\Xi} .     

Criteria for monogenicity of Clifford algebra-valued functions on fractal domains

Suppose that Ω is a bounded domain with fractal boundary Γ in ${\mathbb R^{n+1}}Suppose that Ω is a bounded domain with fractal boundary Γ in \mathbb Rⁿ⁺¹{\mathbb R^{n+1}} and let \mathbb R_0,n{\mathbb R_{0,n}} be the real Clifford algebra constructed over the quadratic space \mathbb Rⁿ{\mathbb R^{n}}. Furthermore, let U be a \mathbb R_0,n{\mathbb R_{0,n}}-valued function harmonic in Ω and H?lder-continuous up to Γ. By using a new Clifford Cauchy transform for Jordan domains in \mathbb Rⁿ⁺¹{\mathbb R^{n+1}} with fractal boundaries, we give necessary and sufficient conditions for the monogenicity of U in terms of its boundary value u = U|_Γ. As a consequence, the results of Abreu Blaya et al. (Proceedings of the 6th International ISAAC Congress Ankara, 167–174, World Scientific) are extended, which require Γ to be Ahlfors-David regular.     

On Small Deviations of Series of Weighted Random Variables

Let ξ,ξ ₁,ξ ₂,… be positive i.i.d. random variables, S=∑ _j=1^∞ a(j)ξ _j , where the coefficients a(j)≥0 are such that P(S<∞)=1. We obtain an explicit form of the asymptotics of −ln P(S<x) as x→0 for the following three cases:

A Reflexivity Result Concerning Banach Space Operators with a Multiply Connected Spectrum

We consider a multiply connected domain Ω which is obtained by removing n closed disks which are centered at λ _j with radius r _j for j = 1, . . . , n from the unit disk. We assume that T is a bounded linear operator on a separable reflexive Banach space whose spectrum contains ∂Ω and does not contain the points λ₁, λ₂, . . . , λ _n , and the operators T and r _j (T − λ _j I)⁻¹ are polynomially bounded. Then either T has a nontrivial hyperinvariant subspace or the WOT-closure of the algebra {f(T) : f is a rational function with poles off [`(W)]{\overline\Omega}} is reflexive.     

Transient phenomena for random walks in the absence of the expected value of jumps

Let ξ, ξ₁, ξ₂, ... be independent identically distributed random variables, and S _n :=Σ _j=1 ⁿ ,ξ _j , $ \bar S $ \bar S := sup _n≥0 S _n . If Eξ = −a < 0 then we call transient those phenomena that happen to the distribution $ \bar S $ \bar S as a → 0 and $ \bar S $ \bar S tends to infinity in probability. We consider the case when Eξ fails to exist and study transient phenomena as a → 0 for the following two random walk models:

Hyperbolic Calculus

The complex numbers are naturally related to rotations and dilatations in the plane. In this paper we present the function theory associate to the (universal) Clifford algebra forIR ^1,0 [1], the so called hyperbolic numbers [2,3,4], which can be related to Lorentz transformations and dilatations in the two dimensional Minkowski space-time. After some brief algebraic interpretations (part 1), we present a “Hyperbolic Calculus” analogous to the “Calculus of one Complex Variable”. The hyperbolic Cauchy-Riemann conditions, hyperbolic derivatives and hyperbolic integrals are introduced on parts 2 and 3. Then special emphasis is given in parts 4 and 5 to conformal hyperbolic transformations which preserve the wave equation, and hyperbolic Riemann surfaces which are naturally associated to classical string motions.     

A generalization of the Morita-Mumford classes to extended mapping class groups for surfaces

Let Σ _g,1 be an oriented compact surface of genus g with 1 boundary component, and Γ _g,1 the mapping class group of Σ _g,1 . We define a bigraded series of cohomology classes m _i,j ∈H ^2i+j−2 (Γ _g,1 ;⋀ ^j H ₁(Σ _g,1 ;ℤ)), 2i+j−2≥1,i,j≥0. When j=0, the class m _i+1,0 is the i-th Morita- Mumford class [Mo][Mu]. It is proved that H ^r (Γ _g,1 ;⋀ ^s H ₁(Σ _g,1 ;ℚ)) is generated by m _i,j 's for the case r+s=2 and the case g≥5 and (r,s)=(1,3). Especially the Johnson homomorphism extended to the whole mapping class group by Morita [Mo3] has an implicit representation by the classes m _0,3 and m _0,2 m _1,1 over ℚ. Oblatum 28-IV-1995 & 8-II-1997     

Normal forms for stochastic differential equations

Summary.   We address the following problem from the intersection of dynamical systems and stochastic analysis: Two SDE dx _t = ∑ _{j =0} ^m f _j (x _t )∘dW _t ^j and dx _t =∑ _{j =0} ^m g _j (x _t )∘dW _t ^j in ℝ ^d with smooth coefficients satisfying f _j (0)=g _j (0)=0 are said to be smoothly equivalent if there is a smooth random diffeomorphism (coordinate transformation) h(ω) with h(ω,0)=0 and Dh(ω,0)=id which conjugates the corresponding local flows,

Plurisubharmonic functions in calibrated geometry and q-convexity

Let (M, ω) be a Kähler manifold. An integrable function ${\varphi}Let (M, ω) be a K?hler manifold. An integrable function j{\varphi} on M is called ω ^q -plurisubharmonic if the current dd^cjùw^q-1{dd^c\varphi\wedge \omega^{q-1}} is positive. We prove that j{\varphi} is ω ^q -plurisubharmonic if and only if j{\varphi} is subharmonic on all q-dimensional complex subvarieties. We prove that a ω ^q -plurisubharmonic function is q-convex, and admits a local approximation by smooth, ω ^q -plurisubharmonic functions. For any closed subvariety Z ì M{Z\subset M} , dim_\mathbbC Z ￡ q-1{\dim_\mathbb{C} Z\leq q-1} , there exists a strictly ω ^q -plurisubharmonic function in a neighbourhood of Z (this result is known for q-convex functions). This theorem is used to give a new proof of Sibony’s lemma on integrability of positive closed (p, p)-forms which are integrable outside of a complex subvariety of codimension ≥  p + 1.     

Higher-Order Averaging, Formal Series and Numerical Integration I: B-series

We show how B-series may be used to derive in a systematic way the analytical expressions of the high-order stroboscopic averaged equations that approximate the slow dynamics of highly oscillatory systems. For first-order systems we give explicitly the form of the averaged systems with O(e^j)\mathcal{O}(\epsilon^{j}) errors, j=1,2,3 (2π ε denotes the period of the fast oscillations). For second-order systems with large O(e^-1)\mathcal{O}(\epsilon^{-1}) forces, we give the explicit form of the averaged systems with O(e^j)\mathcal{O}(\epsilon^{j}) errors, j=1,2. A variant of the Fermi–Pasta–Ulam model and the inverted Kapitsa pendulum are used as illustrations. For the former it is shown that our approach establishes the adiabatic invariance of the oscillatory energy. Finally we use B-series to analyze multiscale numerical integrators that implement the method of averaging. We construct integrators that are able to approximate not only the simplest, lowest-order averaged equation but also its high-order counterparts.     

Non-classical Godeaux surfaces

A non-classical Godeaux surface is a minimal surface of general type with χ = K ² = 1 but with h ⁰¹ ≠ 0. We prove that such surfaces fulfill h ⁰¹ = 1 and they can exist only over fields of positive characteristic at most 5. Like non-classical Enriques surfaces they fall into two classes: the singular and the supersingular ones. We give a complete classification in characteristic 5 and compute their Hodge-, Hodge–Witt- and crystalline cohomology (including torsion). Finally, we give an example of a supersingular Godeaux surface in characteristic 5.     

The Schur–Potapov Algorithm for Sequences of Complex p × q Matrices. I

The main theme of this paper is to characterize distinguished subclasses of the matricial Schur class in terms of Taylor coefficients. Starting point of our investigations is the observation that the Taylor coefficient sequences of functions from are exactly the infinite p  ×  q Schur sequences. We draw our attention mainly to the subclass of which consists of all p ×  q Schur functions for which the corresponding Taylor coefficient sequences are nondegenerate p  ×  q Schur sequences. Using an appropriate adaptation of the Schur–Potapov algorithm for functions belonging to to infinite sequences of complex p  ×  q matrices we obtain an one-to-one correspondence between infinite nondegenerate p  ×  q Schur sequences and the set of all infinite sequences (E_j)_j=0^∞ of strictly contractive complex p  ×  q matrices. Taking into account the construction of this gives us an one-to-one correspondence between and the set of all infinite sequences (E_j)_j=0^∞ of strictly contractive complex p  ×  q matrices. Hereby, (E_j)_{j =0}^∞ is called the sequence of Schur–Potapov parameters (shortly SP-parameters) of f. Communicated by Daniel Alpay. Submitted: August 17, 2006; Accepted: September 13, 2006     

Fractional Poisson equations and ergodic theorems for fractional coboundaries

For a given contractionT in a Banach spaceX and 0<α<1, we define the contractionT _α=Σ _j=1 ^∞ a _j T ^j , where {a _j } are the coefficients in the power series expansion (1-t)^α=1-Σ _j=1 ^∞ a _j t ^j in the open unit disk, which satisfya _j >0 anda _j >0 and Σ _j=1 ^∞ a _j =1. The operator calculus justifies the notation(I−T) ^α :=I−T _α (e.g., (I−T _1/2)²=I−T). A vectory∈X is called an, α-fractional coboundary for T if there is anx∈X such that(I−T) ^α x=y, i.e.,y is a coboundary forT _α . The fractional Poisson equation forT is the Poisson equation forT _α . We show that if(I−T)X is not closed, then(I−T) ^α X strictly contains(I−T)X (but has the same closure). ForT mean ergodic, we obtain a series solution (converging in norm) to the fractional Poisson equation. We prove thaty∈X is an α-fractional coboundary if and only if Σ _k=1 ^∞ T ^k y/k ^1-α converges in norm, and conclude that lim _n ‖(1/n ^1-α)Σ _k=1 ⁿ T ^k y‖=0 for suchy. For a Dunford-Schwartz operatorT onL ₁ of a probability space, we consider also a.e. convergence. We prove that iff∈(I−T) ^α L ₁ for some 0<α<1, then the one-sided Hilbert transform Σ _k=1 ^∞ T ^k f/k converges a.e. For 1<p<∞, we prove that iff∈(I−T) ^α L _p with α>1−1/p=1/q, then Σ _k=1 ^∞ T ^k f/k ^1/p converges a.e., and thus (1/n ^1/p ) Σ _k=1 ⁿ T ^k f converges a.e. to zero. Whenf∈(I−T) ^1/q L _p (the case α=1/q), we prove that (1/n ^1/p (logn)^1/q )Σ _k=1 ⁿ T ^k f converges a.e. to zero.     

An application of coding theory to estimating Davenport constants

We investigate a certain well-established generalization of the Davenport constant. For j a positive integer (the case j = 1, is the classical one) and a finite Abelian group (G, +, 0), the invariant D _j (G) is defined as the smallest ℓ such that each sequence over G of length at least ℓ has j disjoint non-empty zero-sum subsequences. We investigate these quantities for elementary 2-groups of large rank (relative to j). Using tools from coding theory, we give fairly precise estimates for these quantities. We use our results to give improved bounds for the classical Davenport constant of certain groups.     

Large Values of Eigenfunctions on Arithmetic Hyperbolic 3-Manifolds

We prove that, on a distinguished class of arithmetic hyperbolic 3-manifolds, there is a sequence of L ²-normalized high-energy Hecke–Maass eigenforms f_j{\phi_{j}} which achieve values as large as l^1/4+o(1)_j{\lambda^{1/4+o(1)}_{j}}, where ( D+l_j ) f_j = 0{( \Delta+\lambda_{j} ) \phi_{j} = 0}. Arithmetic hyperbolic 3-manifolds on which this exceptional behavior is exhibited are, up to commensurability, precisely those containing immersed totally geodesic surfaces. We adapt the method of resonators and connect values of eigenfunctions to the global geometry of the manifold by employing the pre-trace formula and twists by Hecke correspondences. Automorphic representations corresponding to forms appearing with highest weights in the optimized spectral averages are characterized both in terms of base change lifts and in terms of theta lifts from GSp₂.     

The heat operator and mock Jacobi forms

We study a necessary and sufficient condition for Jacobi integrals of weight -r+\fracj2-r+\frac{j}{2}, r∈ℤ≥0, and index ℳ^(j) on ℋ×ℂ ^j to have a dual Jacobi form of weight r+\fracj2+2r+\frac{j}{2}+2 and index ℳ^(j). Such a meromorphic Jacobi integral with a dual Jacobi form is called a mock Jacobi form whose concept was first introduced by Zagier in Séminaire Bourbaki, 60éme année, 2006–2007, N° 986. In fact, we show the map L^r+1_M^(j)L^{r+1}_{\mathcal{M}^{(j)}} from the space of mock Jacobi forms to that of Jacobi forms is surjective by constructing the corresponding inverse image via Eichler integral of vector valued modular forms which are coming from the theta decomposition of Jacobi forms. We discuss Lerch sums as a typical example.