Controllability of the Heat Equation with a Control Acting on a Measurable Set

The paper deals with the controllability of a heat equation.It is well-known that the heat equation yt y = uχE in(0,T)×Ω with homogeneous Dirichlet boundary conditions is null controllable for any T > 0 and any open nonempty subset E of Ω.In this note,the author studies the case that E is an arbitrary measurable set with positive measure.     

<Emphasis Type="Italic">c</Emphasis><Subscript>0</Subscript>-Singular and <Emphasis Type="Italic">ℓ</Emphasis><Subscript>1</Subscript>-singular operators between vector-valued Banach lattices

Given an operator T : X → Y between Banach spaces, and a Banach lattice E consisting of measurable functions, we consider the point-wise extension of the operator to the vector-valued Banach lattices T _E : E(X) → E(Y) given by T _E (f)(ω) = T(f(ω)). It is proved that for any Banach lattice E which does not contain c ₀, the operator T is an isomorphism on a subspace isomorphic to c ₀ if and only if so is T _E . An analogous result for invertible operators on subspaces isomorphic to ℓ ₁ is also given.     

Optimal location of the support of the control for the 1-D wave equation: numerical investigations

We consider in this paper the homogeneous 1-D wave equation defined on Ω⊂ℝ. Using the Hilbert Uniqueness Method, one may define, for each subset ω⊂Ω, the exact control v _ω of minimal L ²(ω×(0,T))-norm which drives to rest the system at a time T>0 large enough. We address the question of the optimal position of ω which minimizes the functional . We express the shape derivative of J as an integral on ∂ ω×(0,T) independently of any adjoint solution. This expression leads to a descent direction for J and permits to define a gradient algorithm efficiently initialized by the topological derivative associated with J. The numerical approximation of the problem is discussed and numerical experiments are presented in the framework of the level set approach. We also investigate the well-posedness of the problem by considering a relaxed formulation.     

The pluripolar hull of {w=e −1/z }

In this paper we show that the pluripolar hull ofE={(z, ω)∈C²:ω=e ^−1/z,z≠0} is equal toE. This implies thatE is plurithin at 0, which answers a question of Sadullaev. The result remains valid ife ^−1/z is replaced by certain other holomorphic functions with an essential singularity at 0.     

A Rank Theorem of Operators between Banach Spaces

Suppose that E and F are two Banach spaces and that B(E, F) is the space of all bounded linear operators from E to F. Let T ₀∈B(E, F) with a generalized inverse T ₀ ⁺∈B(F, E). This paper shows that, for every T∈B(E, F) with ‖T ₀ ⁺ (T−T ₀)‖<1, B ≡ (I + T ₀ ⁺(T−T ₀))⁻¹ T ₀ ⁺ is a generalized inverse of T if and only if (I−T ₀ ⁺ T ₀)N(T) = N(T ₀), where N(·) stands for the null space of the operator inside the parenthesis. This result improves a useful theorem of Nashed and Cheng and further shows that a lemma given by Nashed and Cheng is valid in the case where T ₀ is a semi-Fredholm operator but not in general.     

Exponents of someN-compact spaces

For any topological spaceT, S. Mrówka has defined Exp (T) to be the smallest cardinal κ (if any such cardinals exist) such thatT can be embedded as a closed subset of the productN ^κ of κ copies ofN (the discrete space of cardinality ℵ₀). We prove that forQ, the space of the rationals with the inherited topology, Exp (Q) is equal to a certain covering number, and we show that by modifying some earlier work of ours it can be seen that it is consistent with the usual axioms of set theory including the choice that this number equal any uncountable regular cardinal less than or equal to 2^ℵ ₀. Mrówka has also defined and studied the class ℳ={κ: Exp (N _κ)=κ} whereN _κ is the discrete space of cardinality κ. It is known that the first cardinal not in ℳ must not only be inaccessible but cannot even belong to any of the first ω Mahlo classes. However, it is not known whether every cardinal below 2^ℵ ₀ is contained in ℳ. We prove that if there exists a maximal family of almost-disjoint subsets ofN of cardinality κ, then κ∈ℳ, and we then use earlier work to prove that if it is consistent that there exist cardinals which are not in the first ω Mahlo classes, then it is consistent that there exist such cardinals below 2^ℵ ₀ and that ℳ nevertheless contain all cardinals no greater than 2^ℵ ₀. Finally, we consider the relationship between ℳ and certain “large cardinals”, and we prove, for example, that if μ is any normal measure on a measurable cardinal, then μ(ℳ)=0.     

Topological ergodic decompositions and applications to products of powers of a minimal transformation

For a minimal distal flow (X, T) and a positive integern, let be the largest distal factor of ordern. The existence of a denseG _δ subset ω ofX is shown, such that forx ∈ ω the orbit closure of (x,x,...,x) ∈ X ⁿ⁺¹ under τ =T ×T ² ... ×T ⁿ⁺¹ is π-saturated. In fact, an analogous statement for a general minimal flow is proved in terms of its PI-tower. On the way we get some topological “ergodic” decomposition theorems.     

AF-Embedding of Crossed Products of Certain Graph C＊-algebras by Quasi-free Actions （II）

Let E be a row-finite directed graph, let G be a locally compact abelian group with dual group Ĝ = Γ, let ω be a labeling map from E* to Γ, and let (C*(E), G, α ^ω ) be the C*-dynamical system defined by ω. Some mappings concerning the AF-embedding construction of C*(E) ×_a^w GC*(E) \times _{\alpha ^\omega } G are studied in more detail. Several necessary conditions of AF-embedding and some properties of almost proper labeling map are obtained. Moreover it is proved that if E is constructed by attaching some 1-loops to a directed graph T consisting of some rooted directed trees and G is compact, then ω is almost proper, that is a sufficient condition for AF-embedding, if and only if Σ _j=1 ^k w_gj 1 1_G\omega _{\gamma _j } \ne 1_\Gamma for any loop γ _i , γ ₂, ..., γ _k attached to one path in T.     

On banach spaces which containl 1(τ) and types of measures on compact spaces

Two closely related results are presented, one of them concerned with the connection between topological and measure-theoretic properties of compact spaces, the other being a non-separable analogue of a result of Peŀczyński's about Banach spaces containingL ¹. Let τ be a regular cardinal satisfying the hypothesis that κ^ω<τ whenever κ<τ. The following are proved: 1) A compact spaceT carries a Radon measure which is homogeneous of type τ, if and only if there exists a continuous surjection ofT onto [0, 1]^τ. 2) A Banach spaceX has a subspace isomorphic tol ¹(τ) if and only ifX ^∗ has a subspace isomorphic toL ¹({0, 1}^τ). An example is given to show that a more recent result of Rosenthal's about Banach spaces containingl ¹ does not have an obvious transfinite analogue. A second example (answering a question of Rosenthal's) shows that there is a Banach spaceX which contains no copy ofl ¹ (ω₁), while the unit ball ofX ^∗ is not weakly^∗ sequentially compact.     

Two comments on Dvoretzky’s sphericity theorem

For any two positive integersk, l and anyɛ>0 there exists anN(k, l, ɛ) so that given anyl convex bodiesC ₁, …,C _l symmetric about the origin inE ⁿ withn≧N there exists a subspaceE ^k so that eachC _i intersectsE ^k, or has a projection intoE ^k, in a set which is nearly spherical (asphericity <ɛ). The measure of the totality ofE ^k which intersect a given body inE ⁿ in a nearly ellipsoidal set is considered and an affine invariant measure is introduced for that purpose.     

Estimates of the weak distance between finite-dimensional Banach spaces

We prove a variant of a theorem of N. Alon and V. D. Milman. Using it we construct for everyn-dimensional Banach spacesX andY a measure space Ω and two operator-valued functionsT: Ω→L(X, Y),S: Ω→L(Y, X) so that ∫_Ω S(ω)oT(ω)dω is the identity operator inX and ∫_Ω||S(ω)||·||T(ω)||dω=O(n ^α ) for some absolute constantα<1. We prove also that any subset of the unitn-cube which is convex, symmetric with respect to the origin and has a sufficiently large volume possesses a section of big dimension isomorphic to ak-cube. Research supported in part by a grant of the Israel Academy of Sciences.     

An odd Furstenberg-Szemerédi theorem and quasi-affine systems

We prove a version of Furstenberg’s ergodic theorem with restrictions on return times. More specifically, for a measure preserving system (X, B, μ,T), integers 0 ≤j <k, andE ⊂X with μ(E) > 0, we show that there existsn ≡ j (modk) with ώ(E ∩T ^-nE ∩T ^-2nE ∩T ^-3nE) > 0, so long asT ^k is ergodic. This result requires a deeper understanding of the limit of some nonconventional ergodic averages and the introduction of a new class of systems, the ‘Quasi-Affine Systems’. This work was partially carried out while the second author was visiting the Université de Marne la Vallée, supported by NSF grant 9804651.     

Hyperfinite Dimensional Representations of Spaces and Algebras of Measures

Let X be a locally compact topological space and (X, E, X_ω) be any triple consisting of a hyperfinite set X in a sufficiently saturated nonstandard universe, a monadic equivalence relation E on X, and an E-closed galactic set X_ω ⊆ X, such that all internal subsets of X_ω are relatively compact in the induced topology and X is homeomorphic to the quotient X_ω/E. We will show that each regular complex Borel measure on X can be obtained by pushing down the Loeb measure induced by some internal function X ? ^*\Bbb CX \rightarrow {}{^{\ast}{\Bbb C}} . The construction gives rise to an isometric isomorphism of the Banach space M(X) of all regular complex Borel measures on X, normed by total variation, and the quotient M_w(X)/M₀(X){\cal M}_{\omega}(X)/{\cal M}_0(X) , for certain external subspaces M₀(X), M_w(X){\cal M}_0(X), {\cal M}_{\omega}(X) of the hyperfinite dimensional Banach space ^*\Bbb C^X{}{^{\ast}{\Bbb C}}^X , with the norm ‖f‖₁ = ∑_{x ∈ X} |f(x)|. If additionally X = G is a hyperfinite group, X_ω = G_ω is a galactic subgroup of G, E is the equivalence corresponding to a normal monadic subgroup G₀ of G_ω, and G is isomorphic to the locally compact group G_ω/G₀, then the above Banach space isomorphism preserves the convolution, as well, i.e., M(G) and M_w(G)/M₀(G){\cal M}_{\omega}(G)/{\cal M}_0(G) are isometrically isomorphic as Banach algebras.     

CR Runge Sets on Hypersurface Graphs

This work contains an improvement of earlier results of Boggess and Dwilewicz regarding global approximation of CR functions by entire functions in the case of hypersurface graphs. In this work, we show that if ω, an open subset of a real hypersurface in ℂ ⁿ , can be graphed over a convex subset in ℝ²ⁿ⁻¹, then ω is CR-Runge in the sense that continuous CR functions on ω can be approximated by entire functions on ℂ ⁿ in the compact open topology of ω. Examples are presented to show that this approximation result does not hold for graphed CR submanifolds in higher codimension. R. Dwilewicz is partially supported by the Polish Science Foundation (KBN) grant N201 019 32/805.     

Magnetic impurity effect on superconductivity in systems with comparable Fermi and Debye energies

We obtain the basic system of equations for a superconductivity theory of a system with a chaotically distributed paramagnetic substitution impurity in which the Migdal theorem is violated (the condition ω_D ≪E _F cannot be assumed). The electron-phonon and impurity diagrams and also the additional diagrams corresponding to intersections of the electron-phonon and electron-impurity lines are taken into account. In the weak electron-phonon coupling limit, we obtain an equation for the superconducting transition temperature T_C that differs from the corresponding equation for the usual superconductors by renormalizations of T_C0 and of the impurity scattering parameter, ρ. These quantities depend essentially on the Migdal parameter ω_D/E _F and on the transferred momentum q_c. We show that the decrease of T_C with the increase of the impurity concentration is slowed, as compared with usual superconductors, to an extent determined by m and q_c. We also evaluate the isotopic coefficient α, whose behavior as a function of the impurity concentration depends on m and q_c. Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 119, No. 3, pp 455–474, June, 1999     

Graded metrics adapted to splittings

Homogeneous graded metrics over split ℤ₂-graded manifolds whose Levi-Civita connection is adapted to a given splitting, in the sense recently introduced by Koszul, are completely described. A subclass of such is singled out by the vanishing of certain components of the graded curvature tensor, a condition that plays a role similar to the closedness of a graded symplectic form in graded symplectic geometry: It amounts to determining a graded metric by the data {g, ω, Δ′}, whereg is a metric tensor onM, ω 0 is a fibered nondegenerate skewsymmetric bilinear form on the Batchelor bundleE → M, and Δ′ is a connection onE satisfying Δ′ω = 0. Odd metrics are also studied under the same criterion and they are specified by the data {κ, Δ′}, with κ ∈ Hom (TM, E) invertible, and Δ′κ = 0. It is shown in general that even graded metrics of constant graded curvature can be supported only over a Riemannian manifold of constant curvature, and the curvature of Δ′ onE satisfiesR ^Δ′ (X,Y)² = 0. It is shown that graded Ricci flat even metrics are supported over Ricci flat manifolds and the curvature of the connection Δ′ satisfies a specific set of equations. 0 Finally, graded Einstein even metrics can be supported only over Ricci flat Riemannian manifolds. Related results for graded metrics on Ω(M) are also discussed. Partially supported by DGICYT grants #PB94-0972, and SAB94-0311; IVEI grant 95-031; CONACyT grant #3189-E9307.     

Any two irreducible Markov chains are finitarily orbit equivalent

Two invertible dynamical systems (X, gA, μ, T) and (Y, ℬ, ν, S), where X, Y are metrizable spaces and T, S are homeomorphisms on X and Y, are said to be finitarily orbit equivalent if there exists an invertible measure preserving mapping ϕ from a subset X ₀ of X of full measure to a subset Y ₀ of Y of full measure such that ϕ|x ₀ is continuous in the relative topology on X ₀, ϕ ⁻¹|Y ₀ is continuous in the relative topology on Y ₀ and ϕ(Orb _T (x)) = Orb _Sϕ (x) for μ-a.e. x ∈ X. In this article a finitary orbit equivalence mapping is shown to exist between any two irreducible Markov chains.     

Approximation by p -Faber polynomials in the weighted Smirnov class Ep( G,ω ) and the Bieberbach polynomials

Let G\subset C be a finite domain with a regular Jordan boundary L . In this work, the approximation properties of a p -Faber polynomial series of functions in the weighted Smirnov class E ^p (G,ω) are studied and the rate of polynomial approximation, for f∈ E ^p ( G,ω) by the weighted integral modulus of continuity, is estimated. Some application of this result to the uniform convergence of the Bieberbach polynomials π _n in a closed domain \overline G with a smooth boundary L is given. February 25, 1999. Date revised: October 20, 1999. Date accepted: May 26, 2000.     

A weak generalized localization of multiple Fourier series of continuous functions with a certain module of continuity

Let E be an arbitrary measurable set, E ⊂ T ^N = [−π, π)^N, N ≥ 1, μE > 0, and let μ be a measure. In this paper, a weak generalized almost everywhere localization is studied, i.e., for given subsets E ₁ ⊂ E, μE ₁ > 0 we study the almost everywhere convergence of multiple trigonometric Fourier series of functions that are zero on E. We obtain sufficient conditions for the almost everywhere convergence of multiple Fourier series (summable over rectangles) of functions from {ie031-01}, as δ → 0 on E ₁. These conditions are given in terms of the structure and geometry of the sets E ₁ and E and are related to certain orthogonal projections of the sets; they are called the {ie031-02} property of the set E. Previously, one of the authors had introduced the {ie031-03}, k = 1, 2, properties of the set E, which are related to one-dimensional and two-dimensional projections of the sets E and E ₁ respectively, as sufficient conditions for the almost everywhere convergence of Fourier series of functions from L ₁(T ^N ) and L _p (T ^N ), p > 1. The results presented generalize these ideas. __________ Translated from Sovremennaya Matematika. Fundamental'nye Napravleniya (Contemporary Mathematics. Fundamental Directions), Vol. 25, Theory of Functions, 2007.     

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.