Régularité Besov-Orlicz du temps local brownien

Let (B_t, t ε [0, 1]) be a linear Brownian motion starting from 0 and denote (L_t(x), t ≥0, x ∈ ℝ) its local time. We prove that, for all t > 0, a.s. the function xL_t (x) belongs to the Besov-Orlicz space B^½M_{2, ∞} with M₂(x)=e^|x|2 -1 and doesn't belong a.s. to B^½,0M_{2, ∞}.     

Eigenvectors and cyclic vectors of bilateral weighted shifts. II: Simply invariant subspaces

Let T be an injective bilateral weighted shift onl ² thought as "multiplication by λ" on a space of formal Laurent series L²(β). (a) If L²(β) is contained in a space of quasi-analytic class of functions, then the point spectrum σ_p(T^?) of T^? contains a circle and the cyclic invariant subspaceM _f of T generated by f is simply invariant (i.e., ∩{(T^k M _f)^?: k ≥ 0}= {0}) for each f in L²(β); (b) If L²(β) contains a non-quasi-analytic class of functions (defined on a circle г) of a certain type related with the weight sequence of T, then there exists f in L²(ß) such thatM _f is a non-trivial doubly invariant subspace (i.e., (TM _f)^? =M _f); furthermore, if г ? σ_p(T^*), then σ_p (T^*) = г and f can be chosen so that σ_p([T∣M _f]^*) = г?{α}, for some α ε г. Several examples show that the gap between operators satisfying (a) and operators satisfying (b) is rather small.     

Regularity property of Donsker's delta function

LetL be the space of rapidly decreasing smooth functions on ? andL ^* its dual space. Let (L ²)⁺ and (L ²)^? be the spaces of test Brownian functionals and generalized Brownian functionals, respectively, on the white noise spaceL ^* with standard Gaussian measure. The Donsker delta functionδ(B(t)?x) is in (L ²)^? and admits the series representation $$\delta (B(t) - x) = (2\pi t)^{ - 1/2} \exp ( - x^2 /2t)\sum\limits_{n = 0}^\infty {(n!2^n )^{ - 1} H_n (x/\sqrt {2t} )} \times H_n (B(t)/\sqrt {2t} )$$ , whereH _n is the Hermite polynomial of degreen. It is shown that forφ in (L ²)⁺,g _t,φ(x)≡〈δ(B(t)?x), φ〉 is inL and the linear map takingφ intog _t,φ is continuous from (L ²)⁺ intoL. This implies that forf inL ^* is a generalized Brownian functional and admits the series representation $$f(B(t)) = (2\pi t)^{ - 1/2} \sum\limits_{n = 0}^\infty {(n!2^n )^{ - 1} \langle f,\xi _{n, t} \rangle } H_n (B(t)/\sqrt {2t} )$$ , whereξ _n,t is the Hermite function of degreen with parametert. This series representation is used to prove the Ito lemma forf inL ^*, $$f(B(t)) = f(B(u)) + \int_u^t {\partial _s^ * } f'(B(s)) ds + (1/2)\int_u^t {f''} (B(s)) ds$$ , where? _s ^* is the adjoint of \(\dot B(s)\) -differentiation operator? _s .     

Existence of positive solutions of Neumann boundary value problem via a cone compression-expansion fixed point theorem of functional type

This paper is devoted to study the existence of positive solutions of second-order boundary value problem $$-u''+m^2u=h(t)f(t,u),\quad t\in (0,1)$$ with Neumann boundary conditions $$u'(0)=u'(1)=0,$$ where m>0, f∈C([0,1]×?⁺,?⁺), and h(t) is allowed to be singular at t=0 and t=1. The arguments are based only upon the positivity of the Green function, a fixed point theorem of cone expansion and compression of functional type, and growth conditions on the nonlinearity f.     

Regularity of hyperbolic equations underL 2(0,T; L 2 (Γ))-Dirichlet boundary terms

With Ω an open bounded domain inR ⁿ with boundary Γ, letf(t; f ₀,f ₁;u) be the solution to a second order linear hyperbolic equation defined on Ω, under the action of the forcing termu(t) applied in the Dirichlet B.C., and with initial dataf ₀ ∈L ₂ (Ω) andf ₁ ∈H ^?1 (Ω). In a previous paper [6], we proved (among other things) that the mapu → f ? f _t , from the Dirichlet input into the solution is continuous fromL ₂(0,T; L ₂ (Γ)) intoL ₂(0,T; L ₂(Ω))?L₂ (0, T; H ^?1 (Ω)). Here, we make crucial use of this result to present the following marked improvement: the mapu → f ?f _t is continuous fromL ₂ (0, T; L ₂ (Γ)) intoC([0, T]; L ₂ (Ω))?C([0, T]; H ^?1 (Ω)). Our approach uses the cosine operator model introduced in [6], along with crucial relevant fact from cosine operator theory. A new trace theory result, on which we base our proof here, plays also a decisive role in the corresponding quadratic optimal control problem [7]. Whenu, instead, acts in the Neumann B. C. and Ω is either a sphere or a parallelepiped, the same approach leads to the same improvement over results obtained in [6] to the regularity int of the solution (i.e., fromL ₂ (0, T) toC[0, T]).     

Weighted inequalities and pointwise estimates for the multilinear fractional integral and maximal operators

In this article we prove weighted norm inequalities and pointwise estimates between the multilinear fractional integral operator and the multilinear fractional maximal. As a consequence of these estimations we obtain weighted weak and strong inequalities for the multilinear fractional maximal operator or function. In particular, we extend some results given in Carro et al. (2005) [7] to the multilinear context. On the other hand we prove weighted pointwise estimates between the multilinear fractional maximal operator Mα,B associated to a Young function B and the multilinear maximal operators Mψ=M0,ψ, ψ(t)=B(t1−α/(nm))^nm/(nm−α). As an application of these estimate we obtain a direct proof of the Lp−Lq boundedness results of Mα,B for the case B(t)=t and Bk(t)=tk(1+log⁺t) when 1/q=1/p−α/n. We also give sufficient conditions on the weights involved in the boundedness results of Mα,B that generalizes those given in Moen (2009) [22] for B(t)=t. Finally, we prove some boundedness results in Banach function spaces for a generalized version of the multilinear fractional maximal operator.     

Tracial gauge norms on finite von Neumann algebras satisfying the weak Dixmier property

In this paper we set up a representation theorem for tracial gauge norms on finite von Neumann algebras satisfying the weak Dixmier property in terms of Ky Fan norms. Examples of tracial gauge norms on finite von Neumann algebras satisfying the weak Dixmier property include unitarily invariant norms on finite factors (type II₁ factors and Mn(C)) and symmetric gauge norms on L^∞[0,1] and Cn. As the first application, we obtain that the class of unitarily invariant norms on a type II₁ factor coincides with the class of symmetric gauge norms on L^∞[0,1] and von Neumann's classical result [J. von Neumann, Some matrix-inequalities and metrization of matrix-space, Tomsk. Univ. Rev. 1 (1937) 286-300] on unitarily invariant norms on Mn(C). As the second application, Ky Fan's dominance theorem [Ky Fan, Maximum properties and inequalities for the eigenvalues of completely continuous operators, Proc. Natl. Acad. Sci. USA 37 (1951) 760-766] is obtained for finite von Neumann algebras satisfying the weak Dixmier property. As the third application, some classical results in non-commutative Lp-theory (e.g., non-commutative Hölder's inequality, duality and reflexivity of non-commutative Lp-spaces) are obtained for general unitarily invariant norms on finite factors. We also investigate the extreme points of N(M), the convex compact set (in the pointwise weak topology) of normalized unitarily invariant norms (the norm of the identity operator is 1) on a finite factor M. We obtain all extreme points of N(M₂(C)) and some extreme points of N(Mn(C)) (n?3). For a type II₁ factor M, we prove that if t (0?t?1) is a rational number then the Ky Fan tth norm is an extreme point of N(M).     

Global Dynamics of Froude-Type Oscillators with Superlinear Damping Terms

This paper deals with the damped superlinear oscillator $$x'' + a(t)\phi_p\bigl(x' \bigr) + b(t)\phi_q\bigl(x'\bigr)+ \omega^2x = 0, $$ where a(t) and b(t) are continuous and nonnegative for t≥0; p and q are real numbers greater than or equal to 2; ? _r (x′)=|x′| ^r?2 x′. This equation is a generalization of nonlinear ship rolling motion with Froude’s expression, which is very familiar in marine engineering, ocean engineering and so on. Our concern is to establish a necessary and sufficient condition for the equilibrium to be globally asymptotically stable. In particular, the effect of the damping coefficients a(t), b(t) and the nonlinear functions ? _p (x′), ? _q (x′) on the global asymptotic stability is discussed. The obtained criterion is judged by whether the integral of a particular solution of the first-order nonlinear differential equation $$u' + \omega^{p-2}a(t)\phi_p(u) + \omega^{q-2}b(t)\phi_q(u) + 1 = 0 $$ is divergent or convergent. In addition, explicit sufficient conditions and explicit necessary conditions are given for the equilibrium of the damped superlinear oscillator to be globally attractive. Moreover, some examples are included to illustrate our results. Finally, our results are extended to be applied to a more complicated model.     

On the BIB design having the minimum p-rank

It is shown that (i) among BIB designs with parameters (2^t+1 ? 1, 2^t+1 ? 1, 2^t ? 1, 2^t ? 1, 2^t?1 ? 1), the incidence matrix of the BIB design PG(t, 2):t ? 1 derived from a finite projective geometry PG(t, 2) has the minimum 2-rank and (ii) among BIB designs with parameters (2^t, 2^t+1 ? 2, 2^t ? 1, 2^?1, 2^t?1 ? 1), the incidence matrix of the BIB design EG(t, 2):t ? 1 derived from an affine geometry EG(t, 2) has the minimum 2-rank.     

Sojourns and extremes of Fourier sums and series with random coefficients

Let X(t) be the trigonometric polynomial Σ^k_j=0a_j(U_tcosjt+V_jsinjt), –∞< t<∞, where the coefficients U_t and V_t are random variables and a_j is real. Suppose that these random variables have a joint distribution which is invariant under all orthogonal transformations of R^2k–2. Then X(t) is stationary but not necessarily Gaussian. Put L_t(u) = Lebesgue measure {s: 0?s?t, X(s) > u}, and M(t) = max{X(s): 0?s?t}. Limit theorems for L_t(u) and $\text{P}\text{(M(t) > u)}$ for u→∞ are obtained under the hypothesis that the distribution of the random norm (Σ^k_j=0(U²_j+V²_j))^{1 2} belongs to the domain of attraction of the extreme value distribution exp{ e^–2}. The results are also extended to the random Fourier series (k=∞).     

Triple positive solutions for a class of third-order p-Laplacian singular boundary value problems

In this work, we study the existence of triple positive solutions for one-dimensional p-Laplacian singular boundary value problems $$\begin{array}{l}(\phi_p(y''(t)))'+f(t)g(t,\,y(t),\,y'(t),\,y''(t))=0,\quad 0<t<1,\\[3pt]ay(0)-by'(0)=0,\qquad cy(1)+dy'(1)=0,\qquad y''(0)=0,\end{array}$$ where φ _p (s)=|s| ^p?2 s,?p>1, g:[0,?1]×[0,?+∞)×R ²?[0,?+∞) and f:(0,?1)?[0,?+∞) are continuous. The nonlinear term f may be singular at t=0 and/or t=1. Firstly, Green’s function for the associated linear boundary value problem is constructed. Then, by making use of a fixed point theorem due to Avery and Peterson, sufficient conditions are obtained that guarantee the existence of triple positive solutions to the above boundary value problem. The interesting point is that the nonlinear term g involved with the first-order and second-order derivatives explicitly.     

Concrete model theory for a class of operators with unitary part

Let m and v_t, 0 ? t ? 2π be measures on T = [0, 2π] with m smooth. Consider the direct integral $\text{H}$ = ⊕L²(v^t) dm(t) and the operator $\text{(L?)(t, λ) = e}{}^{\mathrm{?i\lambda }}\text{?(t, λ) ? 2e}{}^{\mathrm{?i\lambda }}\text{∫}{}_{\mathrm{t}}{}^{\mathrm{2\pi }}\text{∫}{}_{\mathrm{T}}\text{?(s, x) e(s, t) dv}{}_{\mathrm{s}}\text{(x) dm(s)}$ on $\text{H}$, where e(s, t) = exp ∫_s^t ∫_Tdv_λ(θ) dm(λ). Let μ_t be the measure defined by $\text{∫}{}_{\mathrm{T}}\text{?(x) dμ}{}_{\mathrm{t}}\text{(x) = ∫}{}_0{}^{\mathrm{t}}\text{∫}{}_{\mathrm{T}}\text{?(x) dv}{}_{\mathrm{s}}\text{dm(s)}$ for all continuous ?, and let ?_t(z) = exp[?∫ (e^iθ + z)(e^iθ ? z)^?1dμ_t(gq)]. Call {v_t} regular iff for all $\text{t, ¦?}{}_{\mathrm{t}}\text{(e}{}^{\mathrm{i\theta }}\text{)¦ = ¦?}{}_{\mathrm{2\pi }}\text{(e}{}^{\mathrm{i\theta }}\text{)¦}$ for 1 a.e.     

The Exact Value of Normal Structure Coefficients and WCS coefficients in a Class of Orlicz Function Spaces

Let φ be an N-function. Then the normal structure coefficients N and the weakly convergent sequence coefficients WCS of the Orlicz function spaces L ^φ[0, 1] generated by φ and equipped with the Luxemburg and Orlicz norms have the following exact values. (i) If F _φ(t) = t _?(t)/φ(t) is decreasing and 1 < C _φ < 2 (where \(C_\Phi = \lim _{t \to + \infty } t\varphi (t)/\Phi (t)\)), then N(L ^(φ)[0, 1]) = N(L ^φ[0, 1]) = WCS(L ^(φ)[0, 1]) = WCS(L ^φ[0, 1]) = 2^1?1/Cφ. (ii) If F _φ(t) is increasing and C _φ > 2, then N(L ^(φ)[0, 1]) = N(L ^φ[0, 1]) = WCS(L ^(φ)[0, 1]) = WCS(L ^φ[0, 1]) = 2^1/Cφ.     

Corrigendum to “The Conley conjecture for Hamiltonian systems on the cotangent bundle and its analogue for Lagrangian systems” [J. Funct. Anal. 256 (9) (2009) 2967-3034]

In lines 8-11 of Lu (2009) [18, p. 2977] we wrote: “For integer m?3, if M is Cm-smooth and Cm−1-smooth L:R×TM→R satisfies the assumptions (L1)-(L3), then the functional Lτ is C²-smooth, bounded below, satisfies the Palais-Smale condition, and all critical points of it have finite Morse indexes and nullities (see [1, Prop. 4.1, 4.2] and [4])”. However, as proved in Abbondandolo and Schwarz (2009) [2] the claim that Lτ is C²-smooth is true if and only if for every (t,q) the function v?L(t,q,v) is a polynomial of degree at most 2. So the arguments in Lu (2009) [18] are only valid for the physical Hamiltonian in (1.2) and corresponding Lagrangian therein. In this note we shall correct our arguments in Lu (2009) [18] with a new splitting lemma obtained in Lu (2011) [20].     

A synopsis of Combinatorial Integral Geometry

A Lie coalgebra is a coalgebra whose comultiplication Δ : M → M ? M satisfies the Lie conditions. Just as any algebra A whose multiplication ? : A ? A → A is associative gives rise to an associated Lie algebra $\text{L}$(A), so any coalgebra C whose comultiplication Δ : C → C ? C is associative gives rise to an associated Lie coalgebra $\text{L}$^c(C). The assignment C ? $\text{L}$^c(C) is functorial. A universal coenveloping coalgebra Uc(M) is defined for any Lie Lie coalgebra M by asking for a right adjoint U^c to $\text{L}$^c. This is analogous to defining a universal enveloping algebra U(L) for any Lie algebra L by asking for a left adjoint U to the functor $\text{L}$. In the case of Lie algebras, the unit (i.e., front adjunction) 1 → $\text{L}$ o U of the adjoint functor pair U ? $\text{L}$ is always injective. This follows from the Poincaré-Birkhoff-Witt theorem, and is equivalent to it in characteristic zero (x = 0). It is, therefore, natural to inquire about the counit (i.e., back adjunction) $\text{L}$^c o U^c → 1 of the adjoint functor pair $\text{L}$^c ? U^c.Theorem. For any Lie coalgebra M, the natural map$\text{L}$^c(U^cM) → M is surjective if and only if M is locally finite, (i.e., each element of M lies in a finite dimensional sub Lie coalgebra of M).An example is given of a non locally finite Lie coalgebra. The existence of such an example is surprising since any coalgebra C whose diagonal Δ is associative is necessarily locally finite by a result of that theory. The present paper concludes with a development of an analog of the Poincaré-Birkhoff-Witt theorem for Lie algebras which we choose to call the Dual Poincaré-Birkhoff-Witt Theorem and abbreviate by “The Dual PBWθ.” The constraints of the present paper, however, allow only a sketch of this theorem. A complete proof will appear in a subsequent paper. The reader may, however, consult [12], in the meantime, for details. The Dual PBWθ shows for any locally finite Lie coalgebra M the existence (in χ = 0) of a natural isomorphism of the graded Hopf algebras ₀E(U^cM) and ₀E(S^cM) associated to U^cM and to S^cM = U^c(TrivM) when U^c(M) and S^c(M) are given the Lie filtrations. [Just as U^c(M) is the analog of the enveloping algebra U(L) of a Lie algebra L, so S^c(V) is the analog of the symmetric algebra S(V) on a vector space V. Triv(M) denotes the trivial Lie coalgebra structure on the underlying vector space of M obtained by taking the comultiplication to be the zero map.]     

Spectral representations for abelian automorphism groups of von Neumann algebras

Let $\text{A}$ be a von Neumann algebra, let σ be a strongly continuous representation of the locally compact abelian group G as ¹-automorphisms of $\text{A}$. Let M(σ) be the Banach algebra of bounded linear operators on $\text{A}$ generated by ∝ σ_tdμ(t) (μ?M(G)). Then it is shown that M(σ) is semisimple whenever either (i) $\text{A}$ has a σ-invariant faithful, normal, semifinite, weight (ii) σ is an inner representation or (iii) G is discrete and each σ_t is inner. It is shown that the Banach algebra L(σ) generated by $\text{∝ ?(t)σ}{}_{\mathrm{t}}\text{dt (? ? L}{}^1\text{(G))}$ is semisimple if a is an integrable representation. Furthermore, if σ is an inner representation with compact spectrum, it is shown that L(σ) is embedded in a commutative, semisimple, regular Banach algebra with isometric involution that is generated by projections. This algebra is contained in the ultraweakly continuous linear operators on $\text{A}$. Also the spectral subspaces of σ are given in terms of projections.     

Further results on the covering radius of small codes

The minimum number of codewords in a code with t ternary and b binary coordinates and covering radius R is denoted by K(t,b,R). In the paper, necessary and sufficient conditions for K(t,b,R)=M are given for M=6 and 7 by proving that there exist exactly three families of optimal codes with six codewords and two families of optimal codes with seven codewords. The cases M?5 were settled in an earlier study by the same authors. For binary codes, it is proved that K(0,2b+4,b)?9 for b?1. For ternary codes, it is shown that K(3t+2,0,2t)=9 for t?2. New upper bounds obtained include K(3t+4,0,2t)?36 for t?2. Thus, we have K(13,0,6)?36 (instead of 45, the previous best known upper bound).     

Divergence of Infinite-Variance Nonradial Solutions to the 3D NLS Equation

We consider solutions u(t) to the 3d NLS equation i? _t u + Δu + |u|² u = 0 such that ‖xu(t)‖ _{L ²}  = ∞ and u(t) is nonradial. Denoting by M[u] and E[u], the mass and energy, respectively, of a solution u, and by Q(x) the ground state solution to ?Q + ΔQ + |Q|² Q = 0, we prove the following: if M[u]E[u] < M[Q]E[Q] and ‖u ₀‖ _{L ²} ‖?u ₀‖ _{L ²}  > ‖Q‖ _{L ²} ‖?Q‖ _{L ²} , then either u(t) blows-up in finite positive time or u(t) exists globally for all positive time and there exists a sequence of times t _n  → + ∞ such that ‖?u(t _n )‖ _{L ²}  → ∞. Similar statements hold for negative time.