Some estimates of Schrödinger type operators on the Heisenberg group

In this paper, we consider the Schrödinger type operator ${H = (-\Delta _{\mathbb {H}}^n)^2 +V ^{2}}In this paper, we consider the Schr?dinger type operator H = (-D_{\mathbb H}ⁿ)² +V ²{H = (-\Delta _{\mathbb {H}}^n)^2 +V ^{2}}, where the nonnegative potential V belongs to the reverse H?lder class B_q1 for q₁ 3 \frac Q 2,Q 3 6{B_{{q}_{1}}\, {\rm for}\, q_{1}\geq {\frac {Q}{ 2}},Q \geq 6}, and D_{\mathbb Hⁿ}{\Delta_{\mathbb {H}^n}} is the sublaplacian on the Heisenberg group \mathbb Hⁿ{\mathbb {H}^n}. An L ^p estimate and a weak type L ¹ estimate for the operator ?⁴_{\mathbb Hⁿ} H^-1{\nabla^4_{\mathbb {H}^n} H^{-1}} when V ? B_q1{V \in B_{{q}_{1}}} for 1 < p ￡ \fracq₁2{1 < p \leq \frac{q_{1}}{2}} are obtained.     

The Moduli Space of Complex Geodesics in the Complex Hyperbolic Plane

We consider the space M\mathcal{M} of ordered m-tuples of distinct complex geodesics in complex hyperbolic 2-space, H_\mathbbC²{\rm\bf H}_{\mathbb{C}}^{2}, up to its holomorphic isometry group PU(2,1). One of the important problems in complex hyperbolic geometry is to construct and describe the moduli space for M\mathcal{M}. This is motivated by the study of the deformation space of groups generated by reflections in complex geodesics. In the present paper, we give the complete solution to this problem.     

Sub-Riemannian calculus and monotonicity of the perimeter for graphical strips

We consider the class of minimal surfaces given by the graphical strips ${{\mathcal S}}We consider the class of minimal surfaces given by the graphical strips S{{\mathcal S}} in the Heisenberg group \mathbb H¹{{\mathbb {H}}^1} and we prove that for points p along the center of \mathbb H¹{{\mathbb {H}}^1} the quantity \fracs_H(S?B(p,r))r^Q-1{\frac{\sigma_H(\mathcal S\cap B(p,r))}{r^{Q-1}}} is monotone increasing. Here, Q is the homogeneous dimension of \mathbb H¹{{\mathbb {H}}^1} . We also prove that these minimal surfaces have maximum volume growth at infinity.     

Counting Ω-ideals

Let ${\mathbb{A}}Let \mathbbA{\mathbb{A}} be a universal algebra of signature Ω, and let I{\mathcal{I}} be an ideal in the Boolean algebra P_\mathbbA{\mathcal{P}_{\mathbb{A}}} of all subsets of \mathbbA{\mathbb{A}} . We say that I{\mathcal{I}} is an Ω-ideal if I{\mathcal{I}} contains all finite subsets of \mathbbA{\mathbb{A}} and f(Aⁿ) ? I{f(A^{n}) \in \mathcal{I}} for every n-ary operation f ? W{f \in \Omega} and every A ? I{A \in \mathcal{I}} . We prove that there are 2^2à₀{2^{2^{\aleph_0}}} Ω-ideals in P_\mathbbA{\mathcal{P}_{\mathbb{A}}} provided that \mathbbA{\mathbb{A}} is countably infinite and Ω is countable.     

Modular Lie algebras and the Gelfand–Kirillov conjecture

Let ${\mathfrak{g}}Let \mathfrakg{\mathfrak{g}} be a finite dimensional simple Lie algebra over an algebraically closed field \mathbbK\mathbb{K} of characteristic 0. Let \mathfrakg_\mathbbZ{\mathfrak{g}}_{{\mathbb{Z}}} be a Chevalley ℤ-form of \mathfrakg{\mathfrak{g}} and \mathfrakg_\Bbbk=\mathfrakg_\mathbbZ?_\mathbbZ\Bbbk{\mathfrak{g}}_{\Bbbk}={\mathfrak{g}}_{{\mathbb{Z}}}\otimes _{{\mathbb{Z}}}\Bbbk, where \Bbbk\Bbbk is the algebraic closure of  \mathbbF_p{\mathbb{F}}_{p}. Let G_\BbbkG_{\Bbbk} be a simple, simply connected algebraic \Bbbk\Bbbk-group with \operatornameLie(G_\Bbbk)=\mathfrakg_\Bbbk\operatorname{Lie}(G_{\Bbbk})={\mathfrak{g}}_{\Bbbk}. In this paper, we apply recent results of Rudolf Tange on the fraction field of the centre of the universal enveloping algebra U(\mathfrakg_\Bbbk)U({\mathfrak{g}}_{\Bbbk}) to show that if the Gelfand–Kirillov conjecture (from 1966) holds for \mathfrakg{\mathfrak{g}}, then for all p≫0 the field of rational functions \Bbbk (\mathfrakg_\Bbbk)\Bbbk ({\mathfrak{g}}_{\Bbbk}) is purely transcendental over its subfield \Bbbk(\mathfrakg_\Bbbk)^G_\Bbbk\Bbbk({\mathfrak{g}}_{\Bbbk})^{G_{\Bbbk}}. Very recently, it was proved by Colliot-Thélène, Kunyavskiĭ, Popov, and Reichstein that the field of rational functions \mathbbK(\mathfrakg){\mathbb{K}}({\mathfrak{g}}) is not purely transcendental over its subfield \mathbbK(\mathfrakg)^\mathfrakg{\mathbb{K}}({\mathfrak{g}})^{\mathfrak{g}} if \mathfrakg{\mathfrak{g}} is of type B _n , n≥3, D _n , n≥4, E₆, E₇, E₈ or F₄. We prove a modular version of this result (valid for p≫0) and use it to show that, in characteristic 0, the Gelfand–Kirillov conjecture fails for the simple Lie algebras of the above types. In other words, if \mathfrakg{\mathfrak{g}} is of type B _n , n≥3, D _n , n≥4, E₆, E₇, E₈ or F₄, then the Lie field of \mathfrakg{\mathfrak{g}} is more complicated than expected.     

Cyclic codes over $${{\mathbb{F}}_2+u{\mathbb{F}}_2+v{\mathbb{F}}_2+uv{\mathbb{F}}_2}$$

In this work, we focus on cyclic codes over the ring \mathbbF₂+u\mathbbF₂+v\mathbbF₂+uv\mathbbF₂{{{\mathbb{F}}_2+u{\mathbb{F}}_2+v{\mathbb{F}}_2+uv{\mathbb{F}}_2}} , which is not a finite chain ring. We use ideas from group rings and works of AbuAlrub et.al. in (Des Codes Crypt 42:273–287, 2007) to characterize the ring (\mathbbF₂+u\mathbbF₂+v\mathbbF₂+uv\mathbbF₂)/(xⁿ-1){({{\mathbb{F}}_2+u{\mathbb{F}}_2+v{\mathbb{F}}_2+uv{\mathbb{F}}_2})/(x^n-1)} and cyclic codes of odd length. Some good binary codes are obtained as the images of cyclic codes over \mathbbF₂+u\mathbbF₂+v\mathbbF₂+uv\mathbbF₂{{{\mathbb{F}}_2+u{\mathbb{F}}_2+v{\mathbb{F}}_2+uv{\mathbb{F}}_2}} under two Gray maps that are defined. We also characterize the binary images of cyclic codes over \mathbbF₂+u\mathbbF₂+v\mathbbF₂+uv\mathbbF₂{{{\mathbb{F}}_2+u{\mathbb{F}}_2+v{\mathbb{F}}_2+uv{\mathbb{F}}_2}} in general.     

A criterion for weak convergence on Berkovich projective space

We give a criterion for the weak convergence of unit Borel measures on the N-dimensional Berkovich projective space P^N_K{{\bf P}^{N}_K} over a complete non-archimedean field K. As an application, we give a sufficient condition for a certain type of equidistribution on P^N_K{{\bf P}^{N}_K} in terms of a weak Zariski-density property on the scheme-theoretic projective space \mathbb P^N_[(K)\tilde]{{\mathbb P}^N_{\tilde{K{}_{\vphantom{0}}}}} over the residue field [(K)\tilde]{\tilde{K}} . As a second application, in the case of residue characteristic zero we give an ergodic-theoretic equidistribution result for the powers of a point a in the N-dimensional unit torus \mathbb T^N_K{{\mathbb T}^N_K} over K. This is a non-archimedean analogue of a well-known result of Weyl over \mathbb C{\mathbb C} , and its proof makes essential use of a theorem of Mordell-Lang type for \mathbb G_m^N{{\mathbb G}_m^N} due to Laurent.     

Entropy bounds and second cohomology

When X is a finite complex and p₁X\pi_{1}X acts on \mathbbR²{\mathbb{R}}^2 by translations we give criteria involving H²X for an equivariant map F : [(X)\tilde] ? \mathbbR²F : \tilde{X} \rightarrow {\mathbb{R}}^2 to be onto. Following work of Manning and Shub, this leads to entropy bounds related to Shub’s entropy conjecture.     

Compact Surfaces with Constant Gaussian Curvature in Product Spaces

We prove that the only compact surfaces of positive constant Gaussian curvature in \mathbbH²×\mathbbR{\mathbb{H}^{2}\times\mathbb{R}} (resp. positive constant Gaussian curvature greater than 1 in \mathbbS²×\mathbbR{\mathbb{S}^{2}\times\mathbb{R}}) whose boundary Γ is contained in a slice of the ambient space and such that the surface intersects this slice at a constant angle along Γ, are the pieces of a rotational complete surface. We also obtain some area estimates for surfaces of positive constant Gaussian curvature in \mathbbH²×\mathbbR{\mathbb{H}^{2}\times\mathbb{R}} and positive constant Gaussian curvature greater than 1 in \mathbbS²×\mathbbR{\mathbb{S}^{2}\times\mathbb{R}} whose boundary is contained in a slice of the ambient space. These estimates are optimal in the sense that if the bounds are attained, the surface is again a piece of a rotational complete surface.     

Lifting of convex functions on Carnot groups and lack of convexity for a gauge function

Let ${\mathbb{G}}Let \mathbbG{\mathbb{G}} be a Carnot group of step r and m generators and homogeneous dimension Q. Let \mathbbF_m,r{\mathbb{F}_{m,r}} denote the free Lie group of step r and m generators. Let also p:\mathbbF_m,r?\mathbbG{\pi:\mathbb{F}_{m,r}\to\mathbb{G}} be a lifting map. We show that any horizontally convex function u on \mathbbG{\mathbb{G}} lifts to a horizontally convex function u°p{u\circ \pi} on \mathbbF_m,r{\mathbb{F}_{m,r}} (with respect to a suitable horizontal frame on \mathbbF_m,r{\mathbb{F}_{m,r}}). One of the main aims of the paper is to exhibit an example of a sub-Laplacian L=?_j=1^m X_j²{\mathcal{L}=\sum_{j=1}^m X_j^2} on a Carnot group of step two such that the relevant L{\mathcal{L}}-gauge function d (i.e., d ^2-Q is the fundamental solution for L{\mathcal{L}}) is not h-convex with respect to the horizontal frame {X ₁, . . . , X _m }. This gives a negative answer to a question posed in Danielli et al. (Commun. Anal. Geom. 11 (2003), 263–341).     

An Inverse Theorem for the Uniformity Seminorms Associated with the Action of {{\mathbb {F}^{\infty}_{p}}}

Let ${\mathbb {F}}Let \mathbb F{\mathbb {F}} a finite field. We show that the universal characteristic factor for the Gowers–Host–Kra uniformity seminorm U ^k (X) for an ergodic action (T_g)_{g ? \mathbb F^w}{(T_{g})_{{g} \in \mathbb {F}^{\omega}}} of the infinite abelian group \mathbb F^w{\mathbb {F}^{\omega}} on a probability space X = (X, B, m){X = (X, \mathcal {B}, \mu)} is generated by phase polynomials f: X ? S¹{\phi : X \to S^{1}} of degree less than C(k) on X, where C(k) depends only on k. In the case where k ￡ char(\mathbb F){k \leq {\rm char}(\mathbb {F})} we obtain the sharp result C(k) = k. This is a finite field counterpart of an analogous result for \mathbb Z{\mathbb {Z}} by Host and Kra [HK]. In a companion paper [TZ] to this paper, we shall combine this result with a correspondence principle to establish the inverse theorem for the Gowers norm in finite fields in the high characteristic case k ￡ char(\mathbb F){k \leq {\rm char}(\mathbb {F})} , with a partial result in low characteristic.     

Spherical twists, stationary paths and harmonic maps from generalised annuli into spheres

Let X ì \mathbb Rⁿ{{\bf X} \subset {\mathbb R}^n} be a generalised annulus and consider the Dirichlet energy functional

Minimal rotational hypersurfaces in Minkowski (<Emphasis Type="Italic">α</Emphasis>, <Emphasis Type="Italic">β</Emphasis>)-space

In Finsler geometry, minimal surfaces with respect to the Busemann-Hausdorff measure and the Holmes-Thompson measure are called BH-minimal and HT-minimal surfaces, respectively. In this paper, we give the explicit expressions of BH-minimal and HT-minimal rotational hypersurfaces generated by plane curves rotating around the axis in the direction of [(b)\tilde]^\sharp{\tilde{\beta}^{\sharp}} in Minkowski (α, β)-space (\mathbbVⁿ⁺¹,[(F_b)\tilde]){(\mathbb{V}^{n+1},\tilde{F_b})} , where \mathbbVⁿ⁺¹{\mathbb{V}^{n+1}} is an (n+1)-dimensional real vector space, [(F_b)\tilde]=[(a)\tilde]f([(b)\tilde]/[(a)\tilde]), [(a)\tilde]{\tilde{F_b}=\tilde{\alpha}\phi(\tilde{\beta}/\tilde{\alpha}), \tilde{\alpha}} is the Euclidean metric, [(b)\tilde]{\tilde{\beta}} is a one form of constant length b:=||[(b)\tilde]||_[(a)\tilde], [(b)\tilde]^\sharp{b:=\|\tilde{\beta}\|_{\tilde{\alpha}}, \tilde{\beta}^{\sharp}} is the dual vector of [(b)\tilde]{\tilde{\beta}} with respect to [(a)\tilde]{\tilde{\alpha}} . As an application, we first give the explicit expressions of the forward complete BH-minimal rotational surfaces generated around the axis in the direction of [(b)\tilde]^\sharp{\tilde{\beta}^{\sharp}} in Minkowski Randers 3-space (\mathbbV³,[(a)\tilde]+[(b)\tilde]){(\mathbb{V}^{3},\tilde{\alpha}+\tilde{\beta})} .     

$${\mathbb{Z}_2\mathbb{Z}_4}$$-linear codes: rank and kernel

A code C{{\mathcal C}} is \mathbbZ₂\mathbbZ₄{{\mathbb{Z}_2\mathbb{Z}_4}}-additive if the set of coordinates can be partitioned into two subsets X and Y such that the punctured code of C{{\mathcal C}} by deleting the coordinates outside X (respectively, Y) is a binary linear code (respectively, a quaternary linear code). The corresponding binary codes of \mathbbZ₂\mathbbZ₄{{\mathbb{Z}_2\mathbb{Z}_4}}-additive codes under an extended Gray map are called \mathbbZ₂\mathbbZ₄{{\mathbb{Z}_2\mathbb{Z}_4}}-linear codes. In this paper, the invariants for \mathbbZ₂\mathbbZ₄{{\mathbb{Z}_2\mathbb{Z}_4}}-linear codes, the rank and dimension of the kernel, are studied. Specifically, given the algebraic parameters of \mathbbZ₂\mathbbZ₄{{\mathbb{Z}_2\mathbb{Z}_4}}-linear codes, the possible values of these two invariants, giving lower and upper bounds, are established. For each possible rank r between these bounds, the construction of a \mathbbZ₂\mathbbZ₄{{\mathbb{Z}_2\mathbb{Z}_4}}-linear code with rank r is given. Equivalently, for each possible dimension of the kernel k, the construction of a \mathbbZ₂\mathbbZ₄{{\mathbb{Z}_2\mathbb{Z}_4}}-linear code with dimension of the kernel k is given. Finally, the bounds on the rank, once the kernel dimension is fixed, are established and the construction of a \mathbbZ₂\mathbbZ₄{{\mathbb{Z}_2\mathbb{Z}_4}}-linear code for each possible pair (r, k) is given.     

Topology and Smooth Structure for Pseudoframes

Given a closed subspace ${\mathcal{S}}Given a closed subspace S{\mathcal{S}} of a Hilbert space H{\mathcal{H}}, we study the sets F_S{\mathcal{F}_\mathcal{S}} of pseudo-frames, CF_S{\mathcal{C}\mathcal{F}_\mathcal{S}} of commutative pseudo-frames and \mathfrakX_S{\tiny{\mathfrak{X}}_{\mathcal{S}}} of dual frames for S{\mathcal{S}}, via the (well known) one to one correspondence which assigns a pair of operators (F, H) to a frame pair ({f_n}_{n ? \mathbbN},{h_n}_{n ? \mathbbN}){(\{f_n\}_{n\in\mathbb{N}},\{h_n\}_{n\in\mathbb{N}})},

F:l2? H,     F({cn}n ? \mathbbN )=?n cn fn,F:\ell^2\to\,\mathcal{H}, \quad F\left(\{c_n\}_{n\in\mathbb{N}} \right)=\sum_n c_n f_n,      16. The Nonexistence of Pseudoquaternions in {\mathbb{C}^{2\times 2}}      Drahoslava Janovská  Gerhard Opfer 《Advances in Applied Clifford Algebras》2011,21(3):531-540 The field of quaternions, denoted by \mathbbH{\mathbb{H}} can be represented as an isomorphic four dimensional subspace of \mathbbR4×4{\mathbb{R}^{4\times 4}}, the space of real matrices with four rows and columns. In addition to the quaternions there is another four dimensional subspace in \mathbbR4×4{\mathbb{R}^{4\times 4}} which is also a field and which has – in connection with the quaternions – many pleasant properties. This field is called field of pseudoquaternions. It exists in \mathbbR4×4{\mathbb{R}^{4\times 4}} but not in \mathbbH{\mathbb{H}}. It allows to write the quaternionic linear term axb in matrix form as Mx where x is the same as the quaternion x only written as a column vector in \mathbbR4{\mathbb{R}^4}. And M is the product of the matrix associated with the quaternion a with the matrix associated with the pseudoquaternion b.      17. Analytic cohomology groups in top degrees of Zariski open sets in {\mathbb{P}^n}      Gabriel Chiriacescu  Mihnea Colţoiu  Cezar Joiţa 《Mathematische Zeitschrift》2010,264(3):671-677 We show that if A is a closed analytic subset of \mathbbPn{\mathbb{P}^n} of pure codimension q then Hi(\mathbbPn\ A,F){H^i(\mathbb{P}^n{\setminus} A,{\mathcal F})} are finite dimensional for every coherent algebraic sheaf F{{\mathcal F}} and every i 3 n-[\fracn-1q]{i\geq n-\left[\frac{n-1}{q}\right]} . If n-1 3 2q we show that Hn-2(\mathbbPn\ A,F)=0{n-1\geq 2q\,{\rm we show that}\, H^{n-2}(\mathbb{P}^n{\setminus} A,{\mathcal F})=0} .      18. The {\overline{\partial}} operator along the leaves and Guichard’s theorem for a complex simple foliation      Aziz El Kacimi Alaoui 《Mathematische Annalen》2010,347(4):885-897 In (Ann Sc ENS Sér 3 4:361–380, 1887) Guichard proved that, for any holomorphic function g on ${{\mathbb C}}In (Ann Sc ENS Sér 3 4:361–380, 1887) Guichard proved that, for any holomorphic function g on \mathbb C{{\mathbb C}}, there exists a holomorphic function h (on \mathbb C{{\mathbb C}}) such that h - h °t = g{h - h \circ \tau = g} where τ is the translation by 1 on \mathbb C{{\mathbb C}}. In this note we prove an analogous of this theorem in a more general situation. Precisely, let (M,F){(M,{\mathcal F})} be a complex simple foliation whose leaves are simply connected non compact Riemann surfaces and γ an automorphism of F{{\mathcal F}} which fixes each leaf and acts on it freely and properly. Then, the vector space HF(M){{\mathcal H}_{\mathcal F}(M)} of leafwise holomorphic functions is not reduced to functions constant on the leaves and for any g ? HF(M){g \in {\mathcal H}_{\mathcal F}(M)}, there exists h ? HF(M){h \in {\mathcal H}_{\mathcal F}(M)} such that h - h °g = g{h - h \circ \gamma = g}. From the proof of this theorem we derive a foliated version of Mittag–Leffler Theorem.      19. The decidability of some classes of Stone algebras      Martin Adam?ík  Pavol Zlato? 《Algebra Universalis》2012,67(2):163-173 Iterating the triple construction applied consecutively to n Boolean algebras, we introduce two finitely axiomatizable subclasses SAin{{\bf SA}^{\rm i}_n} and SAsn{{\bf SA}^{\rm s}_n} of the class SA n of all Stone algebras of degree n with all the structure homomorphisms in their P-product representation injective or surjective, respectively. Then the class of all Post algebras of degree n is definitionally equivalent to the intersection SAin ?SAsn{{\bf SA}^{\rm i}_{n} \cap {\bf SA}^{\rm s}_{n}}. We show that for each n ≥ 2 the class SAin{{\bf SA}^{\rm i}_n} is hereditarily undecidable while SAsn{{\bf SA}^{\rm s}_{n}} is decidable. As a consequence we obtain several (un)decidability results for various axiomatic classes of Stone algebras: among them the decidability of the class of all Stone algebras of degree n which are dually pseudocomplemented and form a dual Stone algebra under the operation of dual pseudocomplement, and undecidability of the class of all Stone algebras with Boolean dense set. On the other hand, the class of all finite members in SA n is decidable.      20. Local and Global Existence of Solutions to Initial Value Problems of Nonlinear Kaup-Kupershmidt Equations   总被引：6，自引：0，他引：6   Shuang Ping TAO Shang Bin CUI 《数学学报(英文版)》2005,21(4):881-892 This paper is devoted to studying the initial value problems of the nonlinear Kaup Kupershmidt equations δu/δt ＋ α1 uδ^2u/δx^2 ＋ βδ^3u/δx^3 ＋ γδ^5u/δx^5 = 0, （x,t）∈ E R^2, and δu/δt ＋ α2 δu/δx δ^2u/δx^2 ＋ βδ^3u/δx^3 ＋ γδ^5u/δx^5 = 0, （x, t） ∈R^2. Several important Strichartz type estimates for the fundamental solution of the corresponding linear problem are established. Then we apply such estimates to prove the local and global existence of solutions for the initial value problems of the nonlinear Kaup- Kupershmidt equations. The results show that a local solution exists if the initial function u0（x） ∈ H^s（R）, and s ≥ 5/4 for the first equation and s≥301/108 for the second equation.

The Nonexistence of Pseudoquaternions in {\mathbb{C}^{2\times 2}}

The field of quaternions, denoted by \mathbbH{\mathbb{H}} can be represented as an isomorphic four dimensional subspace of \mathbbR^4×4{\mathbb{R}^{4\times 4}}, the space of real matrices with four rows and columns. In addition to the quaternions there is another four dimensional subspace in \mathbbR^4×4{\mathbb{R}^{4\times 4}} which is also a field and which has – in connection with the quaternions – many pleasant properties. This field is called field of pseudoquaternions. It exists in \mathbbR^4×4{\mathbb{R}^{4\times 4}} but not in \mathbbH{\mathbb{H}}. It allows to write the quaternionic linear term axb in matrix form as Mx where x is the same as the quaternion x only written as a column vector in \mathbbR⁴{\mathbb{R}^4}. And M is the product of the matrix associated with the quaternion a with the matrix associated with the pseudoquaternion b.     

Analytic cohomology groups in top degrees of Zariski open sets in {\mathbb{P}^n}

We show that if A is a closed analytic subset of \mathbbPⁿ{\mathbb{P}^n} of pure codimension q then Hⁱ(\mathbbPⁿ\ A,F){H^i(\mathbb{P}^n{\setminus} A,{\mathcal F})} are finite dimensional for every coherent algebraic sheaf F{{\mathcal F}} and every i 3 n-[\fracn-1q]{i\geq n-\left[\frac{n-1}{q}\right]} . If n-1 3 2q we show that H^n-2(\mathbbPⁿ\ A,F)=0{n-1\geq 2q\,{\rm we show that}\, H^{n-2}(\mathbb{P}^n{\setminus} A,{\mathcal F})=0} .     

The {\overline{\partial}} operator along the leaves and Guichard’s theorem for a complex simple foliation

In (Ann Sc ENS Sér 3 4:361–380, 1887) Guichard proved that, for any holomorphic function g on ${{\mathbb C}}In (Ann Sc ENS Sér 3 4:361–380, 1887) Guichard proved that, for any holomorphic function g on \mathbb C{{\mathbb C}}, there exists a holomorphic function h (on \mathbb C{{\mathbb C}}) such that h - h °t = g{h - h \circ \tau = g} where τ is the translation by 1 on \mathbb C{{\mathbb C}}. In this note we prove an analogous of this theorem in a more general situation. Precisely, let (M,F){(M,{\mathcal F})} be a complex simple foliation whose leaves are simply connected non compact Riemann surfaces and γ an automorphism of F{{\mathcal F}} which fixes each leaf and acts on it freely and properly. Then, the vector space H_F(M){{\mathcal H}_{\mathcal F}(M)} of leafwise holomorphic functions is not reduced to functions constant on the leaves and for any g ? H_F(M){g \in {\mathcal H}_{\mathcal F}(M)}, there exists h ? H_F(M){h \in {\mathcal H}_{\mathcal F}(M)} such that h - h °g = g{h - h \circ \gamma = g}. From the proof of this theorem we derive a foliated version of Mittag–Leffler Theorem.     

The decidability of some classes of Stone algebras

Iterating the triple construction applied consecutively to n Boolean algebras, we introduce two finitely axiomatizable subclasses SAⁱ_n{{\bf SA}^{\rm i}_n} and SA^s_n{{\bf SA}^{\rm s}_n} of the class SA _n of all Stone algebras of degree n with all the structure homomorphisms in their P-product representation injective or surjective, respectively. Then the class of all Post algebras of degree n is definitionally equivalent to the intersection SAⁱ_n ?SA^s_n{{\bf SA}^{\rm i}_{n} \cap {\bf SA}^{\rm s}_{n}}. We show that for each n ≥ 2 the class SAⁱ_n{{\bf SA}^{\rm i}_n} is hereditarily undecidable while SA^s_n{{\bf SA}^{\rm s}_{n}} is decidable. As a consequence we obtain several (un)decidability results for various axiomatic classes of Stone algebras: among them the decidability of the class of all Stone algebras of degree n which are dually pseudocomplemented and form a dual Stone algebra under the operation of dual pseudocomplement, and undecidability of the class of all Stone algebras with Boolean dense set. On the other hand, the class of all finite members in SA _n is decidable.     

Local and Global Existence of Solutions to Initial Value Problems of Nonlinear Kaup-Kupershmidt Equations

This paper is devoted to studying the initial value problems of the nonlinear Kaup Kupershmidt equations δu/δt ＋ α1 uδ^2u/δx^2 ＋ βδ^3u/δx^3 ＋ γδ^5u/δx^5 = 0, （x,t）∈ E R^2, and δu/δt ＋ α2 δu/δx δ^2u/δx^2 ＋ βδ^3u/δx^3 ＋ γδ^5u/δx^5 = 0, （x, t） ∈R^2. Several important Strichartz type estimates for the fundamental solution of the corresponding linear problem are established. Then we apply such estimates to prove the local and global existence of solutions for the initial value problems of the nonlinear Kaup- Kupershmidt equations. The results show that a local solution exists if the initial function u0（x） ∈ H^s（R）, and s ≥ 5/4 for the first equation and s≥301/108 for the second equation.