A Characterization for Windowed Fourier Orthonormal Basis with Compact Support

Let g(x) ∈L ²(R) and ğ(ω) be the Fourier transform of g(x). Define g _mn (x) = e ^imx g(x−2πn). In this paper we shall give a sufficient and necessary condition under which {g _mn (x)} constitutes an orthonormal basis of L ²(R) for compactly supported g(ω) or ˘(ω). Received March 25, 1999, Revised November 5, 1999, Accepted September 6, 2000     

The weighted Herz-type Hardy spaces hK q α,p (ω1,ω2)

Let 1<q<∞, n(1−1/q)≤α<∞, 0<p<∞ and ω₁,ω₂ ɛA ₁(R ⁿ ) (the Muckenhoupt class). In this paper, the author introduce the weighted Herz-type Hardy spaces hk _q ^α,p (gw₁,ω₂) and present their atomic decomposition. Using the atomic decomposition, the author find out their dual spaces, establish the boundedness on these spaces of the pseudo-differential operators of order zero and show thatD(R ⁿ ), the class of C^∞(Rⁿ)-functions with compactly support, is dense inhK _q ^α,p (ω₁,ω₂) and there is a subsequence, which converges in distrbutional sense to some distribution ofhK _q ^α,p (ω₁,ω₂), of any bounded sequence inhK _q ^α,p (ω₁,ω₂). In addition, the author also set up the boundedness of some non-linear quantities in compensated compactness. Supported by the NECF and the NECF and the NNSF of China.     

An answer to a question by J. Milnor

We consider two commuting automorphismsT ₁,T ₂ of the Lebesque space (M, M, μ) such thath _m,n=h(T ₁ ^m T ₂ ⁿ )<∞ whereh is the measure-theoretic entropy. Under additional assumptions we show the existence of the limits lim (1/m)h _m,n wherem→∞,n→∞,m/n→ω and ω is an irrational number.     

An information geometry algorithm for distribution control

In this paper, we consider the problem of distribution control from the viewpoint of information geometry. Different from most existing models used in stochastic control, it is assumed that the control input directly affects the distribution of the system output in probability sense. Here, we set up a new manifold (S), meanwhile the B-spline manifold (B) and the system output manifold (M) can be referred to as its submanifolds. We give an information geometrical algorithm which can be called as geodesic-projection algorithm using the properties of manifold. In the geodesic step, we can obtain the geodesic equation from the initial point V₀ = (ω₁₀, ω₂₀, ··· , ω_(n−1)0) to the specified point V_g = (ω_1g, ω_2g, ··· , ω_(n−1)g) in B. This gives us an optimal trajectory for the points changing along in B. In the projection step, we project the sample points selected from the geodesic onto M. The coordinates of the projections in M give the trajectory of the control input u.     

The limiting distribution of the trace of a random plane partition

We study the asymptotic behaviour of the trace (the sum of the diagonal parts) τ _n = τ _n (ω) of a plane partition ω of the positive integer n, assuming that ω is chosen uniformly at random from the set of all such partitions. We prove that (τ _n − c ₀ n ^2/3)/c ₁ n ^1/3 log^1/2 n converges weakly, as n → ∞, to the standard normal distribution, where c ₀ = ζ(2)/ [2ζ(3)]^2/3, c ₁ = √(1/3/) [2ζ(3)]^1/3 and ζ(s) = Σ _j=1^∞ j ^−s . Partial support given by the National Science Fund of the Bulgarian Ministry of Education and Science, grant No. VU-MI-105/2005.     

The Helmholtz decomposition of weightedLq-spaces for Muckenhoupt weights

We consider weights of Muckenhoupt classA _q, 1<q<∞. For a bounded Lipschitz domain Ω⊂ℝⁿ we prove a compact embedding and a Poincaré inequality in weighted Sobolev spaces. These technical tools allow us to solve the weak Neumann problem for the Laplace equation in weighted spaces on ℝⁿ, ℝⁿ ₊, on bounded and on exterior domains Ω with boundary of classC ¹, which will yield the Helmholtz decomposition ofL _ω ^q(Ω)ⁿ for general ω∈A _q. This is done by transferring the method of Simader and Sohr [4] to the weighted case. Our result generalizes a result of Farwig and Sohr [2] where the Helmholtz decomposition ofL _ω ^p(Ω)ⁿ is proved for an exterior domain and weights of Muckenhoupt class without singularities or degeneracies in a neighbourhood of ϖΩ.

---

Sunto In questo lavoro consideriamo dei pesi della classe di MuckenhouptA _q, 1<q<∞. Per un dominio limitato lipschitziano Ω⊂ℝⁿ, dimostriamo una immersione compatta ed una disuguaglianza di Poincaré in spazi di Sobolev con peso. Questa tecnica ci consente di risolvere il problema debole di Neumann per l’equazione di Laplace in spazi pesati in ℝⁿ, ℝⁿ ₊ in domini limitati ed in domini esterni con frontiera di classeC ¹, che conduce alla decomposizione di Helmholtz diL _ω ^q(Ω)ⁿ per un qualsiasi ω∈A _q. Il risultato è ottenuto trasferendo il metodo di Simader e Sohr [4] al caso pesato. Quello qui presente estende un risultato di Farwig e Sohr [2] dove la decomposizione di Helmholtz diL _ω ^q(Ω)ⁿ è dimostrata per domini esterni e pesi della classe di Muckenhoupt privi di singolarità in un intorno di ϖΩ.

     

Instances of the Conjecture of Chang

We consider various forms of the Conjecture of Chang. Part A constitutes an introduction. Donder and Koepke have shown that if ρ is a cardinal such that ρ ≧ ω₁, and (ρ⁺⁺,ρ⁺↠(ρ⁺, ρ), then 0⁺ exists. We obtain the same conclusion in Part B starting from some other forms of the transfer hypothesis. As typical corollaries, we get: Theorem A.Assume that there exists cardinals λ, κ, such that λ ≧ K ⁺ ≧ω₂ and (λ⁺, λ)↠(K ⁺,K. Then 0⁺ exists. Theorem B.Assume that there exists a singularcardinal κ such that(K ⁺,K↠(ω₁, ω₀. Then 0⁺ exists. Theorem C.Assume that (λ ⁺⁺, λ). Then 0⁺ exists (also ifK=ω ₀. Remark. Here, as in the paper of Donder and Koepke, “O⁺ exists” is a matter of saying that the hypothesis is strictly stronger than “L(μ) exists”. Of course, the same proof could give a few more sharps overL(μ), but the interest is in expecting more cardinals, coming from a larger core model. Theorem D.Assume that (λ ⁺⁺, λ)↠(K ⁺, K) and thatK≧ω ₁. Then 0⁺ exists. Remark 2. Theorem B is, as is well-known, false if the hypothesis “κ is singular” is removed, even if we assume thatK≧ω ₂, or that κ is inaccessible. We shall recall this in due place. Comments. Theorem B and Remark 2 suggest we seek the consistency of the hypothesis of the form:K ⁺, K↠(ω_n +1, ω_n), for κ singular andn≧0. 0266 0152 V 3 The consistency of several statements of this sort—a prototype of which is (N _ω+1,N _ω)↠(ω₁, ω₀) —have been established, starting with an hypothesis slightly stronger than: “there exists a huge cardinal”, but much weaker than: “there exists a 2-huge cardinal”. These results will be published in a joint paper by M. Magidor, S. Shelah, and the author of the present paper.     

On a Chang conjecture

We use the core model for the one strong cardinal to show that the Chang Conjecture (ℵ _n+2, ℵ _n+1) ⇒ (ℵ _n+1, ℵ _n ) together with 2^ℵ _{n − 1} = ℵ _n implies, for 1<n<ω, the existence of an inner model with a strong cardinal. An essential step of our proof is an application of the Gitik Game which also admits a presentation.     

On the Similarity of Analytic Matrix Functions

Consider a domain , and two analytic matrix-valued functions functions . Consider also points and positive integers n ₁, n ₂, . . . , n _N . We are interested in the existence of an analytic function such that X(ω) is invertible, and G(ω) coincides with X(ω)F(ω)X(ω)⁻¹ up to order n _j at the point ω _j . We will see that such a function exists provided that F(ω _j ),G(ω _j ) have cyclic vectors, and the characteristic polynomials of F,G coincide up to order n _j at ω _j . This allows one to give a short proof to a result of Huang, Marcantognini and Young concerning spectral interpolation in the unit disk. The author was partially supported by a grant from the National Science Foundation. Received: September 8, 2006. Accepted: January 11, 2007.     

Modules of vector fields,differential forms and degenerations of differential systems

We deal with (n−1)-generated modules of smooth (analytic, holomorphic) vector fieldsV=(X ₁,..., X_n−1) (codimension 1 differential systems) defined locally on ℝ ⁿ or ℂ ⁿ , and extend the standard duality(X ₁,..., X_n−1)↦(ω), ω=Ω(X₁,...,X_n−1,.,) (Ω−a volume form) betweenV′s and 1-generated modules of differential 1-forms (Pfaffian equations)—when the generatorsX _i are linearly independent—onto substantially wider classes of codimension 1 differential systems. We prove that two codimension 1 differential systemsV and are equivalent if and only if so are the corresponding Pfaffian equations (ω) and provided that ω has1-division property: ωΛμ=0, μ—any 1-form ⇒ μ=fω for certain function germf. The 1-division property of ω turns out to be equivalent to the following properties ofV: (a)fX∈V, f—not a 0-divisor function germ ⇒X∈V (thedivision property); (b) (V ^⊥)^⊥=V; (c)V ^⊥=(ω); (d) (ω)^⊥=V, where ⊥ denotes the passing from a module (of vector fields or differential 1-forms) to its annihilator. Supported by Polish KBN grant N^o 2 1090 91 01. Partially supported by the fund for the promotion of research at the Technion, 100–942.     

On graded quotient modules of mapping class groups of surfaces

Let Γ _{g, n} be the mapping class group of a compact Riemann surface of genusg withn points preserved (2−2g−n<0,g≥1,n≥0). The Torelli subgroup of Γ _{g, n} has a natural weight filtration {Γ_{g, n}(m)} _m≥1. Each graded quotient gr ^m Γ _{g, n} ⊗ ℚ (m≥1) is a finite dimensional vector space over ℚ on which the group Sp(2g, ℚ)×S _n naturally acts. In this paper, we have determined the Sp(2g, ℚ)×S _n module structure of gr ^m Γ _{g, n} ⊗ ℚ for 1≤m≤3. This includes a verification of an expectation by S. Morita. Also, for generalm, we have identified a certain Sp(2g, ℚ)-irreducible component of gr ^m Γ _{g, n} ⊗ ℚ by constructing explicitly elements in these modules.     

Extension of Floquet''''s theory to nonlinear quasiperiodic differential equations

In this paper, we consider the following autonomous system of differential equations: x = Ax f(x,θ), θ = ω, where θ∈Rm, ω = (ω1,…,ωm) ∈ Rm, x ∈ Rn, A ∈ Rn×n is a constant matrix and is hyperbolic, f is a C∞ function in both variables and 2π-periodic in each component of the vector e which satisfies f = O(||x||2) as x → 0. We study the normal form of this system and prove that under some proper conditions this system can be transformed to an autonomous system: x = Ax g(x), θ = ω. Additionally, the proof of this paper naturally implies the extension of Chen's theory in the quasi-periodic case.     

Vive la différence III

We show that, consistently, there is an ultrafilter on ω such that if N _n^ℓ = (P _n^ℓ ∪ Q _n^ℓ, P _n^ℓ, Q _n^ℓ, R _n^ℓ) (for ℓ = 1, 2, n < ω), P _n^ℓ ∪ Q _n^ℓ ⊆ ω, and are models of the canonical theory t ^ind of the strong independence property, then every isomorphism from onto is a product isomorphism. The first version of this work done in 93; First typed: May 1993. This research was partially supported by the United States-Israel Binational Science Foundation. Publication 509     

On scattered Eberlein compact spaces

We prove that scattered Eberlein compacta of Cantor-Bendixson height at most ω + 1 are Uniform Eberlein compact spaces (ω + 1 is optimal for this result). For a set X and n ∈ ω, by σ _n (2^X) we denote the subspace of the product 2^X consisting of all characteristic functions of sets of cardinality ≥ n. We give an example of an Eberlein compactum K of weight ω _ω and of Cantor-Bendixson height 3 which cannot be embedded into any σ _n (2^X). Research of the first author supported by NSERC of Canada. Murray Bell died on December 9, 2001. Research of the second author supported by KBN grants 2 P03A 011 15 and 2 P03A 004 23. The main part of this research was done while the second author was visiting the University of Manitoba in 2000. He expresses his gratitude to the Department of Mathematics of U.M. for its hospitality.     

Isoperimetric inequalities on minimal submanifolds of space forms

For a domainU on a certaink-dimensional minimal submanifold ofS ⁿ orH ⁿ, we introduce a “modified volume”M(U) ofU and obtain an optimal isoperimetric inequality forU k ^k ω _k M (D) ^k-1 ≤Vol(∂D) ^k , where ω _k is the volume of the unit ball ofR ^k . Also, we prove that ifD is any domain on a minimal surface inS ₊ ⁿ (orH ⁿ, respectively), thenD satisfies an isoperimetric inequality2π A≤L ²+A² (2π A≤L²−A² respectively). Moreover, we show that ifU is ak-dimensional minimal submanifold ofH ⁿ, then(k−1) Vol(U)≤Vol(∂U). Supported in part by KME and GARC     

Strong Arens irregularity of Beurling algebras with a locally convex topology

Let G be a locally compact group with a weight function ω. Recently, we have shown that the Banach space L₀^∞ (G,1/ω) can be identified with the strong dual of L¹(G, ω)equipped with some locally convex topologies τ. Here we use this duality to introduce an Arens multiplication on (L¹(G, ω), τ)**, and prove that the topological center of (L¹(G, ω), τ)** is (L¹(G, ω); this enables us to conclude that (L¹(G, ω), τ) is Arens regular if and only if G is discrete. We also give a characterization for Arens regularity of L₀^∞ (G, 1/ω)¹. Received: 8 March 2005     

Resonant response of a strong electromagnetic wave beam to a gravitational wave in a static magnetic field

Concrete forms of resonant response (ER) for a strong electromagnetic (EM) wave beam (photon flux) propagating in a static magnetic field to a standing gravitational wave (gravitons) are given, and the corresponding perturbation solutions and resonant conditions are obtained. It is found that perturbed EM fields (PEMFs) contain three new components with frequencies Io,* w,l and ωP_g respectively. In the case of ω_e⋙ω_g, the PEMFs are manifested as the EM wave beams with frequency ω_e and a standing EM wave with ω_g. The former and the background EM wave beam (BE-MWB) have the same propagating direction, while in the case of ω_g⋙ω_e, all PEMFs are expressed as the standing EM waves with frequency ω_g. The resonant response occurs in two cases of ω_e = 1/2 ω_g andω_e, = ω_g only. Then not only the first order perturbed energy fluxes (PEFs) propagating in the same and opposite directions of the BEMWB can be generated, but also radial and tangential PEFs which are perpendicular to the above directions can be produced. This effect might provide a new way for the EM detection of the gravitational waves (GWs). Moreover, the possible schemes of displaying perturbed effects induced by the standing GW withh = 10^-33 - 10^-35 and λ_g = 0.1 m at the level of the single photon avalanche and in a typicla laboratory dimension are reviewed.     

On the chromatic polynomial of a graph

Let P(G,λ) be the chromatic polynomial of a graph G with n vertices, independence number α and clique number ω. We show that for every λ≥n, ()^α≤≤ () ^{n −ω}. We characterize the graphs that yield the lower bound or the upper bound.?These results give new bounds on the mean colour number μ(G) of G: n− (n−ω)() ^{n −ω}≤μ(G)≤n−α() ^α. Received: December 12, 2000 / Accepted: October 18, 2001?Published online February 14, 2002     

On maximal weakly separated set-systems

For a permutation ω∈S _n , Leclerc and Zelevinsky in Am. Math. Soc. Transl., Ser. 2 181, 85–108 (1998) introduced the concept of an ω-chamber weakly separated collection of subsets of {1,2,…,n} and conjectured that all inclusionwise maximal collections of this sort have the same cardinality ℓ(ω)+n+1, where ℓ(ω) is the length of ω. We answer this conjecture affirmatively and present a generalization and additional results.     

Free discontinuity problems with unbounded data: The two dimensional case

We prove the existence of a minimizing pair for the functionalG defined for every closed setK ⊂R ² and for every functionu ∈C ¹(ω/K) by where ω is an open set inR ², λ, μ>0,q≥1,g ∈L ^q (ω) ∩L ^p (ω) withp>2q andH ¹ is the 1-dimensional Hausdorff measure.