On quasi-similarity of subnormal operators

For a compact subset K in the complex plane, let Rat(K) denote the set of the rational functions with poles off K. Given a finite positive measure with support contained in K, let R2(K,v) denote the closure of Rat(K) in L2(v) and let Sv denote the operator of multiplication by the independent variable z on R2(K, v), that is, Svf = zf for every f∈R2(K, v). SupposeΩis a bounded open subset in the complex plane whose complement has finitely many components and suppose Rat(Ω) is dense in the Hardy space H2(Ω). Letσdenote a harmonic measure forΩ. In this work, we characterize all subnormal operators quasi-similar to Sσ, the operators of the multiplication by z on R2(Ω,σ). We show that for a given v supported onΩ, Sv is quasi-similar to Sσif and only if v/■Ω■σ and log(dv/dσ)∈L1(σ). Our result extends a well-known result of Clary on the unit disk.     

Free and forced convection flow in a rotating channel bounded below by a permeable bed

The steady flow in a parallel plate channel rotating with an angular velocity Ω and bounded below by a permeable bed is analysed under the effect of buoyancy force. On the porous bed the boundary condition of Beavers and Joseph is applied and an exact solution of the governing equations is found. The solution in dimensionless form contains four parameters: The permeability parameterσ ², the Grashof numberG, the rotation parameterK ² and a dimensionless constantα. The effects of these parameters, specially,σ ², G andK ², on the slip velocities and velocity distributions are studied. For largeK ², there arise thin boundary layers on the walls of the channel.     

CM values and central L-values of elliptic modular forms

Let f be a holomorphic cusp form of weight l on SL₂(Z) and Ω an algebraic Hecke character of an imaginary quadratic field K with Ω((α)) = (α/|α|) ^l for ${\alpha\in K^{\times}}Let f be a holomorphic cusp form of weight l on SL₂(Z) and Ω an algebraic Hecke character of an imaginary quadratic field K with Ω((α)) = (α/|α|) ^l for a ? K^×{\alpha\in K^{\times}}. Let L(f, Ω; s) be the Rankin-Selberg L-function attached to (f, Ω) and P(f, Ω) an “Ω-averaged” sum of CM values of f. In this paper, we give a formula expressing the central L-values L(f, Ω; 1/2) in terms of the square of P(f, Ω).     

Removability of singularities for a class of fully non-linear elliptic equations

In this paper we address the problem of understanding the singularities of the fully non-linear elliptic equation σ _k (v) = 1. These σ _k curvature are defined as the symmetric functions of the eigenvalues of the Schouten tensor of a Riemannian metric and appear naturally in conformal geometry, in fact, σ₁ is just the scalar curvature.Here we deal with the local behavior of isolated singularities. We give a sufficient condition for the solution to be bounded near the singularity. The same result follows for a more general singular set Λ as soon as we impose some capacity conditions. The main ingredient is an estimate of the L ^∞ norm in terms of a suitable L ^p norm. Mathematics Subject Classification (2000) 35J60, 53A30     

Exact controllability for the wave equation with variable coefficients

We consider in this paper the evolution systemy″−Ay=0, whereA =∂ _i(a_ij∂_j) anda _ij ∈C ¹ (ℝ⁺;W ^1,∞ (Ω)) ∩W ^1,∞ (Ω × ℝ⁺), with initial data given by (y ₀,y ₁) ∈L ²(Ω) ×H ⁻¹ (Ω) and the nonhomogeneous conditiony=v on Γ ×]0,T[. Exact controllability means that there exist a timeT>0 and a controlv such thaty(T, v)=y′(T, v)=0. The main result of this paper is to prove that the above system is exactly controllable whenT is “sufficiently large”. Moreover, we obtain sharper estimates onT.     

On order preserving contractions

Let (Ω,Σ,μ) be a measure space and letP be an operator onL ₂(Ω,Σ,μ) with ‖P‖≦1,Pf≧0 a.e. wheneverf≧0. If the subspaceK is defined byK={x| ||P ⁿ x||=||P ^*n x||=||x||,n=1,2,...} thenK=L ₂(Ω,Σ₁,μ), where Σ₁ ⊂ Σ and onK the operatorP is “essentially” a measure preserving transformation. Thus the eigenvalues ofP of modulus one, form a group under multiplication. This last result was proved by Rota for finiteμ here finiteness is not assumed) and is a generalization of a theorem of Frobenius and Perron on positive matrices. The research reported in this document has been sponsored in part by Air Force Office of Scientific Research, OAR through the European Office, Aerospace Research, United States Air Force.     

Linear,hydrodynamic flow in a rotating saturated porous medium

Linear, steady, axisymmetric flow of a homogeneous fluid in a rigid, bounded, rotating, saturated porous medium is analyzed. The fluid motions are driven by differential rotation of horizontal boundaries. The dynamics of the interior region and vertical boundary layers are investigated as functions of the Ekman number E(=v/ΩL ²) and rotational Darcy 3 numberN(=kΩ/v) which measures the ratio between the Coriolis force and the Darcy frictional term. IfN≫E ^−1/2, the permeability is sufficiently high and the flow dynamics are the same as those of the conventional free flow problem with Stewartson'sE ^1/3 andE ^1/4 double layer structure. For values ofN≤E ^−1/2 the effect of porous medium is felt by the flow; the Taylor-Proudman constraint is no longer valid. ForN≪E ^−1/3 the porous medium strongly affects the flow; viscous side wall layer is absent to the lowest order and the fluid pumped by the Ekman layer, returns through a region of thicknessO(N ⁻¹). The intermediate rangeE ^−1/3≪N≪E ^−1/2 is characterized by double side wall layer structure: (1)E ^1/3 layer to return the mass flux and (ii) (NE)^1/2 layer to adjust the interior azimuthal velocity to that of the side wall. Spin-up problem is also discussed and it is shown that the steady state is reached quickly in a time scaleO(N).     

Higher order commutators for a class of rough operators

In this paper we study the (L ^p (u ^p ),L ^q (v ^q )) boundedness of the higher order commutatorsT _Ω,α,b ^m andM _Ω,α,b ^m formed by the fractional integral operatorT _Ω,α , the fractional maximal operatorM _Ω,α , and a functionb(x) in BMO(v), respectively. Our results imporve and extend the corresponding results obtained by Segovia and Torrea in 1993 [9]. The project was supported by NNSF of China.     

N-widths of Ω r ′ in L p

Let Ω _ϕ ^r ={f:f ^(r-1) abs. cont. on [0,1], ‖q_r(D)f‖_p≤1, f^(2K+σ) (0)=f^(2K+σ)=0, (k)=0,...,l-1}. where , and I is an identical operator. Denote Kolmogorov, linear, Geelfand and Bernstein n-widths of Ω _ϕ ^r in L^p byd _n (Ω _ϕ ^r ;L ^p ),δ _n (Ω _ϕ ^r ;L ^p ),d ⁿ (Ω _p ^r ;L ^p ) andb _n (Ω _p ^r ;L ^p ), respectively. In this paper, we find a method to get an exact estimation of these n-widths. Related optimal subspaces and an optimal linear operator are given. For another subset , similar results are also derrived.     

Exponential decay for distributed bilinear control systems with damping

Let Ω be a bounded open domain in ℝ ^N ,A an unbounded, selfadjoint, positive and coercive linear operator onL ² (Ω). We consider feedback stabilization for the distributed bilinear control systemy″(t)+Ay(t)+Dy′(t)+u(t)By(t)=0, whereD andB are linear bounded operators fromL ²(Ω) toL ²(Ω). Under suitable assumptions onB andD, a nonlinear feedback ensuring uniform exponential decay of solutions is given. Various applications to vibrating processes are presented.     

Real loci of based loop groups

Let (G, K) be a Riemannian symmetric pair of maximal rank, where G is a compact simply connected Lie group and K is the fixed point set of an involutive automorphism σ. This induces an involutive automorphism τ of the based loop space Ω(G). There exists a maximal torus T ⊂ G such that the canonical action of T × S ¹ on Ω(G) is compatible with τ (in the sense of Duistermaat). This allows us to formulate and prove a version of Duistermaat’s convexity theorem. Namely, the images of Ω(G) and Ω(G) ^τ (fixed point set of τ) under the T × S ¹ moment map on Ω(G) are equal. The space Ω(G) ^τ is homotopy equivalent to the loop space Ω(G/K) of the Riemannian symmetric space G/K. We prove a stronger form of a result of Bott and Samelson which relates the cohomology rings with coefficients in \mathbbZ₂ {\mathbb{Z}_2} of Ω(G) and Ω(G/K). Namely, the two cohomology rings are isomorphic, by a degree-halving isomorphism (Bott and Samelson [BS] had proved that the Betti numbers are equal). A version of this theorem involving equivariant cohomology is also proved. The proof uses the notion of conjugation space in the sense of Hausmann, Holm, and Puppe [HHP].     

Weighted Inequalities for the Generalized Maximal Operator in Martingale Spaces

The generalized maximal operator M in martingale spaces is considered. For 1 < p ≤ q < ∞, the authors give a necessary and sufficient condition on the pair ([^(m)]\hat \mu , v) for M to be a bounded operator from martingale space L ^p (v) into L ^q ([^(m)]\hat \mu ) or weak-L ^q ([^(m)]\hat \mu ), where [^(m)]\hat \mu is a measure on Ω × ℕ and v a weight on Ω. Moreover, the similar inequalities for usual maximal operator are discussed.     

Amemiya Norm Equals Orlicz Norm in Musielak-Orlicz Spaces

Let （Ω,μ） be a a-finite measure space and Φ ： Ω × [0,∞） → [0, ∞] be a Musielak-Orlicz function. Denote by L^Φ（Ω） the Musielak-Orlicz space generated by Φ. We prove that the Amemiya norm equals the Orlicz norm in L^Φ（Ω）.     

Some equivalence relations which are borel reducible to isomorphism between separable banach spaces

We prove that the relationE _K σ is Borel reducible to isomorphism and complemented biembeddability between subspaces ofc ₀ orl _p with 1≤p<2. We also show that the relationE _K σ ⊗=⁺ is Borel reducible to isomorphism, complemented biembeddability, and Lipschitz isomorphism between subspaces ofL _p for 1≤p<2. This author was supported by FAPESP Grant 2002/09662-1.     

On mappings of the Galois space

LetV be a metric vector space over a fieldK, dimV=n<∞, and let δ:V×V→K denote the corresponding distance function. Given a mappingσ:V→V such that δ(p,q) = 1⇒ δ(p ^σ ,q ^ς) = 1, ifn=2, indV=1 and charK≠2, 3, 5, thenσ is semilinear [5], [11]; ifn≧3,K=R and the distance function is either Euclidean or Minkowskian, thenσ is linear [3], [10]. Here the following is proved: IfK=GF(p ^m ),p>2 andn≧3, thenσ is semilinear (up to a translation), providedn≠0, −1, −2 (modp) or the discriminant ofV satisfies a certain condition. The proof is based on the condition for a regular simplex to exist in a Galois space, which may be of interest for its own sake.     

Monte-Carlo approximations for 2d Navier-Stokes equations with measure initial data

We are interested in proving Monte-Carlo approximations for 2d Navier-Stokes equations with initial data u ₀ belonging to the Lorentz space L ^2,∞ and such that curl u ₀ is a finite measure. Giga, Miyakawaand Osada [7] proved that a solution u exists and that u=K* curl u, where K is the Biot-Savartkernel and v = curl u is solution of a nonlinear equation in dimension one, called the vortex equation. In this paper, we approximate a solution v of this vortex equationby a stochastic interacting particlesystem and deduce a Monte-Carlo approximation for a solution of the Navier-Stokesequation. That gives in this case a pathwise proofof the vortex algorithm introducedby Chorin and consequently generalizes the works ofMarchioro-Pulvirenti [12] and Méléardv [15] obtained in the case of a vortex equation with bounded density initial data. Received: 6 October 1999 / Revised version: 15 September 2000 / Published online: 9 October 2001     

Graph-Theoretic Approach to Stochastic Integrals with Clifford Algebras

Given a fixed probability space (Ω,ℱ,ℙ) and m≥1, let X(t) be an L²(Ω) process satisfying necessary regularity conditions for existence of the mth iterated stochastic integral. For real-valued processes, these existence conditions are known from the work of D. Engel. Engel’s work is extended here to L²(Ω) processes defined on Clifford algebras of arbitrary signature (p,q), which reduce to the real case when p=q=0. These include as special cases processes on the complex numbers, quaternion algebra, finite fermion algebras, fermion Fock spaces, space-time algebra, the algebra of physical space, and the hypercube. Next, a graph-theoretic approach to stochastic integrals is developed in which the mth iterated stochastic integral corresponds to the limit in mean of a collection of weighted closed m-step walks on a growing sequence of graphs. Combinatorial properties of the Clifford geometric product are then used to create adjacency matrices for these graphs in which the appropriate weighted walks are recovered naturally from traces of matrix powers. Given real-valued L²(Ω) processes, Hermite and Poisson-Charlier polynomials are recovered in this manner.     

Boundary Harnack principle for second order elliptic equations with unbounded drift

We prove the boundary Harnack principle for ratios of solutions u/v of non-divergence second order elliptic equations Lu = a _ij D _ij u + b _i D _i u = 0 in a bounded domain Ω ⊂  \mathbb R {\mathbb R} ⁿ . We assume that b _i ∈ L ⁿ (Ω) and Ω is a twisted H?lder domain of order α ∈ (1/2, 1]. Based on this result, we derive the H?lder regularity of u/v for uniform domains. Bibliography: 27 titles.     

Controllability in a filled domain for the multidimensional wave equation with a singular boundary control

In accordance with the demands of the so-called local approach to inverse problems, the set of “waves” u^f (·, T) is studied, where u^f (x,t) is the solution of the initial boundary-value problem u_tt−Δu=0 in Ω×(0,T), u|_t<0=0, u|_∂Ω×(0,T)=f, and the (singular) control f runs over the class L²((0,T); H^−m (∂Ω)) (m>0). The following result is established. Let Ω^T={x ∈ Ω : dist(x, ∂Ω)<T)} be a subdomain of Ω ⊂ ℝⁿ (diam Ω<∞) filled with waves by a final instant of time t=T, let T_*=inf{T : Ω^T=Ω} be the time of filling the whole domain Ω. We introduce the notation D_m=Dom((−Δ)^m/2), where (−Δ) is the Laplace operator, Dom(−Δ)=H²(Ω)∩H ₀ ¹ (Ω);D_−m=(D_m)′;D_−m(Ω^T)={y∈D_−m:supp y ⋐ Ω^T. If T<T., then the reachable set R _m ^T ={u^t(·, T): f ∈ L₂((0,T), H^−m (∂Ω))} (∀m>0), which is dense in D_−m(Ω^T), does not contain the class C ₀ ^∞ (Ω^T). Examples of a ∈ C ₀ ^∞ , a ∈ R _m ^T , are presented. Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 210, 1994, pp. 7–21. Translated by T. N. Surkova.