Periodicity of the Spectrum of a Finite Union of Intervals

A set Ω, of Lebesgue measure 1, in the real line is called spectral if there is a set Λ of real numbers such that the exponential functions e _λ (x)=exp (2πiλx), λ∈Λ, form a complete orthonormal system on L ²(Ω). Such a set Λ is called a spectrum of Ω. In this note we present a simplified proof of the fact that any spectrum Λ of a set Ω which is finite union of intervals must be periodic. The original proof is due to Bose and Madan.     

Convergence of Sobolev spaces on varying manifolds

We deal with variational problems on varying manifolds in ℝⁿ. We represent each manifold by a positive measure μ, to which we associate a suitable notion of tangent space Tμ, of mean curvature H(μ), and of Sobolev spaces with respect to μ on an open subset Ω ⊆ ℝⁿ. We introduce the notions of weak and strong convergence for functions defined on varying manifolds, that is defined μ_h -a.e., being {μ_h} a weakly convergent sequence of measures. In this setting, we prove a strong-weak type compactness theorem for the pairs (P_{μ h} H(μ_h)), where P_{μ h} are the projectors onto the tangent spaces T_{μ h}. When μ_h belong to a suitable class of k-dimensional measures, having in particular a prescribed (k−1)-manifold as a boundary, we enforce this result to study the convergence of energy functionals, possibly with a Dirichlet condition on ∂Ω. We also address a perspective for optimization problems where the control variable is represented by a manifold with a prescribed boundary.     

Bochner algebras and their compact multipliers

Let \mathfrakA\mathfrak{A} be a normed algebra with identity, Ω be a locally compact Hausdorf space and λ be a positive Radon measure on Ω with supp(λ) = Ω. In this paper, we establish a necessary and sufficient condition for L ¹(Ω, \mathfrakA\mathfrak{A}) to be an algebra with pointwise multiplication. Under this condition, we then characterize compact and weakly compact left multipliers on L ¹(Ω, \mathfrakA\mathfrak{A}).     

Measure free martingales and martingale measures

Let T ⊂ ℝ be a countable set, not necessarily discrete. Let f _t , t ∈ T, be a family of real-valued functions defined on a set Ω. We discuss conditions which imply that there is a probability measure on Ω under which the family f _t , t ∈ T, is a martingale.     

Multivalued Analytic Continuation of the Cauchy Transform

In this paper we introduce the notion of multivalued analytic continuation of the Cauchy transforms. Many difficulties arise because the continuation is not single-valued. Our main result asserts that if χ_Ω has a multivalued analytic continuation, then the free boundary ∂Ω has zero Lebesgue measure. Here χ_Ω is the characteristic function of a domain Ω and ∂Ω is its boundary. We also discuss the connections between this notion, quadrature domains and approximations of analytic functions with single-valued integrals by rational functions. The last problem is related to the existence of a continuous function g and a closed connected set K such that the gradient of g vanishes on K, nevertheless g is not constant on K. Mathematics Subject Classifications (2000) Primary 31A25, 31B20; secondary 30E10, 35J05, 41A20.     

Numeration systems,fractals and stochastic processes

A numeration system Ω is a compactification of the set of real numbers keeping the actions of addition and positive multiplication in a natural way. That is, Ω is a compact metrizable space with #Ω≥2 to which ℝ acts additively andG acts multiplicatively satisfying the distributive law, whereG is a nontrivial closed multiplicative subgroup of ℝ₊. Moreover, the additive action is minimal and uniquely ergodic with 0-topological entropy, while the multiplication by λ has |log λ|-topological entropy attained uniquely by the unique invariant probability measure under the additive action. We construct Ω as above as a colored tiling space corresponding to a weighted substitution. This framework contains especially the substitution dynamical systems and β-transformation systems with periodic expansion of 1, both of which have discreteG. It also contains systems withG=ℝ₊. We study α-homogeneous cocycles on it with respect to the addition. They are interesting from the point of view of fractal functions or sets as well as self-similar processes. We obtain the zeta-functions of Ω with respect to the multiplication.     

On a characterization of orthogonality with respect to particular sequences of random variables in <Emphasis Type="Italic">L</Emphasis><Superscript>2</Superscript>

This note deals with the orthogonality between sequences of random variables. The main idea of the note is to apply the results on equidistant systems of points in a Hilbert space to the case of the space L ²(Ω, F, ℙ) of real square integrable random variables. The main result gives a necessary and sufficient condition for a particular sequence of random variables (elements of which are taken from sets of equidistant elements of L ²(Ω, F, ℙ) to be orthogonal to some other sequence in L ²(Ω, F, ℙ). The result obtained is interesting from the point of view of the time series analysis, since it can be applied to a class of sequences random variables that exhibit a monotonically increasing variance. An application to ergodic theorem is also provided.     

On homogenization of the mixed boundary-value problem for the heat equation in a domain whose part contains channels arranged in a periodic way

In this paper, we study the asymptotic behavior of the solutionsu _ε (ε is a small parameter) of boundaryvalue problems for the heat equation in the domain Ω_ε=Ω⁻∪Ω _ε ⁺ ∪γ one part of which (Ω _ε ⁺ ) contains ε-periodically situated channels with diameters of order ε and the other part of which (Ω⁺) is a homogeneous medium; γ=∂Ω _ε ⁺ ∩∂Ω⁺. On the boundary of the channels the Neumann boundary condition is posed, and on ∂Ω_ε∩∂Ω the Dirichlet boundary condition is prescribed. The homogenized problem is the Dirichlet problem in Ω with the transmission condition on γ. The estimates for the difference betweenu _ε and the solution of the homogenized problem are obtained. Bibliography: 14 titles. Translated from Trudy Seminara imeni I. G. Petrovskogo, No. 20, pp. 27–47, 1997.     

A Definiteness Theory for Cubature Formulae of Order Two

Let Ω ⊂ ℝ^d be a compact convex set of positive measure. A cubature formula will be called positive definite (or a pd-formula, for short) if it approximates the integral ∫_Ω f(x) dx of every convex function f from below. The pd-formulae yield a simple sharp error bound for twice continuously differentiable functions. In the univariate case (d = 1), they are the quadrature formulae with a positive semidefinite Peano kernel of order two. As one of the main results, we show that there is a correspondence between pd-formulae and partitions of unity on Ω. This is a key for an investigation of pd-formulae without employing the complicated multivariate analogue of Peano kernels. After introducing a preorder, we establish criteria for maximal pd-formulae. We also find a lower bound for the error constant of an optimal pd-formula. Finally, we describe a phenomenon which resembles a property of Gaussian formulae.     

Spectral stability of the Robin Laplacian

We consider the Robin Laplacian in two bounded regions Ω₁ and Ω₂ of ℝ ^N with Lipschitz boundaries and such that Ω₂ ⊂ Ω₁, and we obtain two-sided estimates for the eigenvalues λ _n,2 of the Robin Laplacian in Ω₂ via the eigenvalues λ _{n, 1} of the Robin Laplacian in Ω₁. Our estimates depend on the measure of the set difference Ω\Ω₂ and on suitably defined characteristics of vicinity of the boundaries ∂Ω₁ and ∂Ω₂, and of the functions defined on ∂Ω₁ and on ∂Ω₂ that enter the Robin boundary conditions.     

Existence of Universal Taylor Series for Nonsimply Connected Domains

It is known that, for any simply connected proper subdomain Ω of the complex plane and any point ζ in Ω, there are holomorphic functions on Ω that possess “universal” Taylor series expansions about ζ; that is, partial sums of the Taylor series approximate arbitrary polynomials on arbitrary compacta in ℂ\Ω that have connected complement. This paper shows, for nonsimply connected domains Ω, how issues of capacity, thinness and topology affect the existence of holomorphic functions on Ω that have universal Taylor series expansions about a given point.     

Positive Solutions to Singular Semilinear Elliptic Problems

We obtain a characterization of all locally bounded functions p ≥ 0 for which the equation (E) Δu +p(x)ψ(u) = 0 has a positive solution in Ω vanishing on the boundary, where Ω is a domain of ℝ^N and ψ > 0 is a nonincreasing continuous function on ]0,∞[. In particular, for Ω = ℝ^N with N ≥ 3, it is shown that (E) has a (unique) positive solution in ℝ^N which decays to zero at infinity if and only if the set {p > 0} has positive Lebesgue measure and This condition can be replaced by if p is radial.     

Interpolation inequalities and decay estimates for derivatives

Under the only assumption of the cone property for a given domain Ω⊂R ⁿ, it is proved that interpolation inequalities for intermediate derivatives of functions in the Sobolev spaces W^m,p (Ω) or even in some weighted Sobolve spaces W _w ^m,p (Ω) still hold. That is, the usual additional restrictions that Ω is bounded or has the uniform cone property are both removed. The main tools used are polynomial inequalities, by which it is also obtained pointwise version interpolation inequalities for smooth and analytic functions. Such pointwise version inequalities give explicit decay estimates for derivatives at infinity in unbounded domains which have the cone property. As an application of the decay estimates, a previous result on radial basis function approximation of smooth functions is extended to the derivative-simultaneous approximation.     

Area minimizing sets subject to a volume constraint in a convex set

For a given convex subset Ω of Euclidean n-space, we consider the problem of minimizing the perimeter of subsets of Ω subject to a volume constraint. The problem is to determine whether in general a minimizer is also convex. Although this problem is unresolved, we show that if Ω satisfies a “great circle” condition, then any minimizer is convex. We say that Ω satisfies a great circle condition if the largest closed ball B contained in Ω has a great circle that is contained in the boundary of Ω. A great circle of B is defined as the intersection of the boundary of B with a hyperplane passing through the center of B.     

On the existence of automorphisms with simple Lebesgue spectrum

It is shown that ifT is a measure preserving automorphism on a probability space (Ω,B, m) which admits a random variable X₀ with mean zero such that the stochastic sequence X₀ o T_n,n ε ℤ is orthonormal and spans L₀ ²(Ω,B,m), then for any integerk ≠ 0, the random variablesX o T^nk,n ε ℤ generateB modulom.     

A sufficient condition of type (Ω) for tame splitting of short exact sequences of Fréchet spaces

In a previous paper, the quotient spaces of (s) in the tame category of nuclear Fréchet spaces have been characterized by property (ΩDZ) corresponding to the topological condition (Ω) of D. Vogt and M. J. Wagner. In addition, a splitting theorem has been proved which provides the existence of a tame linear right inverse of a tame linear map on the assumption that the kernel of the given map has property (ΩDZ) and that certain tameness conditions hold. In this paper it is proved that property (Ω) in standard form (i.e., the dual norms ‖ ‖ _n ^* are logarithmically convex) implies the tame splitting condition (ΩDZ) for any tamely nuclear Fréchet space equipped with a grading defined by sermiscalar products. As an application, property (ΩDZ) is verified for the kernels of any hypoelliptic system of linear partial differential operators with constant coefficients on ℝ^N or on a bounded convex region in ℝ^N.     

An extension of Hawkes theorem on the Hausdorff dimension of a Galton–Watson tree

Let ? be the genealogical tree of a supercritical multitype Galton–Watson process, and let Λ be the limit set of ?, i.e., the set of all infinite self-avoiding paths (called ends) through ? that begin at a vertex of the first generation. The limit set Λ is endowed with the metric d(ζ, ξ) = 2 ⁻ⁿ where n = n(ζ, ξ) is the index of the first generation where ζ and ξ differ. To each end ζ is associated the infinite sequence Φ(ζ) of types of the vertices of ζ. Let Ω be the space of all such sequences. For any ergodic, shift-invariant probability measure μ on Ω, define Ω_μ to be the set of all μ-generic sequences, i.e., the set of all sequences ω such that each finite sequence v occurs in ω with limiting frequency μ(Ω(v)), where Ω(v) is the set of all ω′?Ω that begin with the word v. Then the Hausdorff dimension of Λ∩Φ⁻¹ (Ω_μ) in the metric d is

Extreme Jensen measures

Let Ω be an open subset of R ^d , d≥2, and let x∈Ω. A Jensen measure for x on Ω is a Borel probability measure μ, supported on a compact subset of Ω, such that ∫u  dμ≤u(x) for every superharmonic function u on Ω. Denote by J _x (Ω) the family of Jensen measures for x on Ω. We present two characterizations of ext(J _x (Ω)), the set of extreme elements of J _x (Ω). The first is in terms of finely harmonic measures, and the second as limits of harmonic measures on decreasing sequences of domains. This allows us to relax the local boundedness condition in a previous result of B. Cole and T. Ransford, Jensen measures and harmonic measures, J. Reine Angew. Math. 541 (2001), 29–53. As an application, we give an improvement of a result by Khabibullin on the question of whether, given a complex sequence {α _n } _n=1 ^∞ and a continuous function , there exists an entire function f≢0 satisfying f(α _n )=0 for all n, and |f(z)|≤M(z) for all z∈C.     

Boundaries of singularity sets, removable singularities, and CR-invariant subsets of CR-manifolds

Let Ω be a bounded strictly pseudoconvex domain in ℂⁿ, n ≥ 3, with boundary ∂Ω, of class C². A compact subset K is called removable if any analytic function in a suitable small neighborhood of ∂Ω K extends to an analytic function in Ω. We obtain sufficient conditions for removability in geometric terms under the condition that K is contained in a generic C² -submanifold M of co-dimension one in ∂Ω. The result uses information on the global geometry of the decomposition of a CR-manifold into CR-orbits, which may be of some independent interest. The minimal obstructions for removability contained in M are compact sets K of two kinds. Either K is the boundary of a complex variety of co-dimension one in Ω or it is an exceptional minimal CR-invariant subset of M, which is a certain analog of exceptional minimal sets in co-dimension one foliations. It is shown by an example that the latter possibility may occur as a nonremovable singularity set. Further examples show that the germ of envelopes of holomorphy of neighborhoods of ∞Ω K for K ⊂ M may be multisheeted. A couple of open problems are discussed.     

Asymptotic behaviour of equicoercive diffusion energies in dimension two

In this paper, we study the asymptotic behaviour of a given equicoercive sequence of diffusion energies F _n , , defined in L ²(Ω), for a bounded open subset Ω of . We prove that, contrary to the dimension three (or greater), the Γ-limit of any convergent subsequence of F _n is still a diffusion energy. We also provide an explicit representation formula of the Γ-limit when its domains contains the regular functions with compact support in Ω. This compactness result is based on the uniform convergence satisfied by some minimizers of the equicoercive sequence F _n , which is specific to the dimension two. The compactness result is applied to the period framework, when the energy density is a highly oscillating sequence of equicoercive matrix-valued functions. So, we give a definitive answer to the question of the asymptotic behaviour of periodic conduction problems under the only assumption of equicoerciveness for the two-dimensional conductivity.