Extensions of Well-Boundedness and <Emphasis Type="Italic">C</Emphasis><Superscript><Emphasis Type="Italic">m</Emphasis></Superscript>-Scalarity

We consider some extensions of well-boundedness and C^m-scalarity by using fractional calculus, and prove some theorems accordingly. These results are applied to the usual Laplacian on Rⁿ and sub-Laplacians on nilpotent Lie groups. The research of first and second authors has been partly supported by the Project MTM2004-03036 of the M.C.YT.-DGI/F.E.D.E.R., Spain, and the Project E-12/25, D. G. Aragón, Spain. Part of the research of second author was developed in the Christian-Albrechts Universit?t in Kiel, while he was enjoying a HARP-postdoctoral position in the European Harmonic Analysis Network, HARP, IHP 2002-06.     

PSPACE complexity of modal logic <Emphasis Type="Italic">K D</Emphasis>45<Subscript>n</Subscript>

We study sequent calculus for multi-modal logic K D45_n and its complexity. We introduce a loop-check free sequent calculus. Loop-check is eliminated by using the marked modal operator □_i^•, which is used as an alternative to sequents with histories ([8], [3], [5]). All inference rules are invertible or semi-invertible. To get this, we use or branches beside common and branches. We prove the equivalence between known sequent calculus and our newly introduced efficient sequent calculus. We concentrate on the complexity analysis of the introduced sequent calculus for multi-modal logic K D45_n. We prove that the space complexity of the given calculus is polynomial (O(l ³)). We show the maximum height of the constructed derivation tree that leads to the reduction of the time and space complexity. We present a decision algorithm for multi-modal logic K D45_n and some nontrivial examples to improve the introduced loop-check free sequent calculus.     

Littlewood–Paley theorem on spaces <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis>(<Emphasis Type="Italic">t</Emphasis>)</Superscript>(ℝ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>)

We point out that if the Hardy–Littlewood maximal operator is bounded on the space L ^p(t)(ℝ), 1 < a ≤ p(t) ≤ b < ∞, t ∈ ℝ, then the well-known characterization of the spaces L ^p (ℝ), 1 < p < ∞, by the Littlewood–Paley theory extends to the space L ^p(t)(ℝ). We show that, for n > 1 , the Littlewood–Paley operator is bounded on L ^p(t) (ℝ ⁿ ), 1 < a ≤ p(t) ≤ b < ∞, t ∈ ℝ ⁿ , if and only if p(t) = const. Published in Ukrains’kyi Matematychnyi Zhurnal, Vol. 60, No. 12, pp. 1709–1715, December, 2008.     

On Optimality Conditions for Some Nonsmooth Optimization Problems over <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> Spaces

The paper deals with the minimization of an integral functional over an L^p space subject to various types of constraints. For such optimization problems, new necessary optimality conditions are derived, based on several concepts of nonsmooth analysis. In particular, we employ the generalized differential calculus of Mordukhovich and the fuzzy calculus of proximal subgradients. The results are specialized to nonsmooth two-stage and multistage stochastic programs.The authors express their gratitude to Boris Mordukhovich (Detroit) for his extensive support during this research and to Marian Fabian (Prague) and Alexander Kruger (Ballarat) for valuable discussions. They are indebted also to two anonymous referees for helpful suggestions.The research of this author was partly supported by Grant 1075005 of the Czech Academy of SciencesThe research of this author was supported by the Deutsche Forschungsgemeinschaft     

On the value distribution of <Emphasis Type="Italic">ƒ</Emphasis> + <Emphasis Type="Italic">a</Emphasis>(<Emphasis Type="Italic">ƒ</Emphasis>′)<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

Let ƒ be a transcendental meromorphic function, a a nonzero finite complex number, and n ⩾ 2 a positive integer. Then ƒ + a(ƒ′) ⁿ assumes every complex value infinitely often. This answers a question of Ye for n = 2. A related normality criterion is also given. This work was supported by the National Natural Science Foundation of China (Grant No. 10771076), the Natural Science Foundation of Guangdong Province, China (Grant No. 07006700) and by the German-Israeli Foundation for Scientific Research and Development (Grant No. G-809-234.6/2003)     

3-Selmer groups for curves <Emphasis Type="Italic">y</Emphasis><Superscript>2</Superscript> = <Emphasis Type="Italic">x</Emphasis><Superscript>3</Superscript> + <Emphasis Type="Italic">a</Emphasis>

We explicitly perform some steps of a 3-descent algorithm for the curves y ² = x ³ + a, a a nonzero integer. In general this will enable us to bound the order of the 3-Selmer group of such curves.     

SOME NEW PROPERTIES ON L^p（Ω, H^n）

Let L^p（Ω, H^n） indicate the L^P-space of the maps for Heisenberg group target. In this paper some new properties are obtained for the space L^p（Ω, H^n）     

Monadic <Emphasis Type="Italic">GMV</Emphasis>-algebras

Monadic MV-algebras are an algebraic model of the predicate calculus of the Łukasiewicz infinite valued logic in which only a single individual variable occurs. GMV-algebras are a non-commutative generalization of MV-algebras and are an algebraic counterpart of the non-commutative Łukasiewicz infinite valued logic. We introduce monadic GMV-algebras and describe their connections to certain couples of GMV-algebras and to left adjoint mappings of canonical embeddings of GMV-algebras. Furthermore, functional MGMV-algebras are studied and polyadic GMV-algebras are introduced and discussed. The first author was supported by the Council of Czech Government, MSM 6198959214.     

Consecutive customer losses in regular and oscillating <Emphasis Type="Italic">M</Emphasis><Superscript><Emphasis Type="Italic">X</Emphasis></Superscript>/<Emphasis Type="Italic">G</Emphasis>/1/<Emphasis Type="Italic">n</Emphasis> systems

We derive fast recursions to compute the probability that k or more consecutive customer losses take place during a busy period of a queue, the so called k-CCL probability, for regular and oscillating M ^X /G/1/n systems.     

Analog of <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> with a subadditive measure

For a subadditive fuzzy measure (not assumed finite), a Minkowski type triangle inequality, with Choquet integrals in place of Lebesgue integrals, is shown to hold. It is immediate that the set of functions for which a certain positive power of the absolute values have finite Choquet integrals is closed under addition, leading to a linear space analogous to the Lebesgue space L ^p , with a metric related to the integral of that power. Under the additional condition that the subadditive fuzzy measure is inner continuous (Sugeno), the space is shown to be complete. Consequences of the Minkowski type inequality are illustrated in two specific instances.      

Cohomologie <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> en degré 1 des espaces homogènes

The L ^p -cohomology in degree 1 of Riemannian homogeneous spaces is computed. It turns out that reduced cohomology does not vanish exactly for spaces quasiisometric to negatively curved homogeneous spaces.      

Spectral flexibility of symplectic manifolds <Emphasis Type="Italic">T</Emphasis><Superscript>2</Superscript> × <Emphasis Type="Italic">M</Emphasis>

We consider Riemannian metrics compatible with the natural symplectic structure on T ² × M, where T ² is a symplectic 2-torus and M is a closed symplectic manifold. To each such metric we attach the corresponding Laplacian and consider its first positive eigenvalue λ₁. We show that λ₁ can be made arbitrarily large by deforming the metric structure, keeping the symplectic structure fixed. The conjecture is that the same is true for any symplectic manifold of dimension ≥ 4. We reduce the general conjecture to a purely symplectic question.     

Harnack estimate for the <Emphasis Type="Italic">H</Emphasis><Superscript><Emphasis Type="Italic">k</Emphasis></Superscript>-flow

We obtain the Harnack estimate of the solution to Hk-flow in Euclidean space Rn 1,for k ＞ 0.By using this estimate,we get some corollaries about the translation soliton.     

Composite Integers n for Which φ（n）｜n- 1

In this note, we show that the number of composite integers n ≤ x such that φ（n）｜n - 1 is at most O（x^1/2（loglog x）^1/2）, thus improving earlier results by Pomerance and by Shan.     

Group invariance and <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript>-bounded operators

The Hilbert and Riesz transforms can be characterized up to scalar as the translation invariant operators that satisfy additionally certain relative invariance of conformal transformation groups. In this article, we initiate a systematic study of translation invariant operators from group theoretic viewpoints, and formalize a geometric condition that characterizes specific multiplier operators uniquely up to scalar by means of relative invariance of affine subgroups. After providing some interesting examples of multiplier operators having “large symmetry”, we classify which of these examples can be extended to continuous operators on L ^p (R ⁿ ) (1 < p < ∞). T. Kobayashi was partially supported by Grant-in-Aid for Scientific Research 18340037, Japan Society for the Promotion of Science. A. Nilsson was partially supported by Japan Society for the Promotion of Science.     

Degenerations of <Emphasis Type="Italic">k</Emphasis>[<Emphasis Type="Italic">t</Emphasis>]/(<Emphasis Type="Italic">t</Emphasis><Superscript>r</Superscript>)-Modules Giving Stratification of the Orbits

Let Λ be a finitely generated associative k-algebra where k is an algebraically closed field. For each natural number d, we have the variety of d-dimensional module structures on k^d given by the multiplication of the elements from a generating set of Λ. The general linear group Gl_d(k) acts on this variety by conjugation and the orbits under this action correspond to isomorphism classes of d-dimensional Λ-modules. For two d-dimensional Λ-modules M and N one says that M degenerates to N if the orbit corresponding to N is in the Zariski-closure of the orbit corresponding to M. Now in this situation the stabilizers of the elements in the orbit corresponding to N acts on the orbit corresponding to M. In this paper we characterize degenerations of k[t]/(t^r)-modules with the property that for each y in the orbit corresponding to N, there is an x_y in the orbit corresponding to M such that the orbit corresponding to M is the disjoint union of orbits of the x_y’s under the action of the stabilizer of y where y runs through the orbit corresponding to N. Presented by Idun ReitenMathematics Subject Classifications (2000) 14L30, 16G10.     

Semiclassical <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> Estimates

The purpose of this paper is to use semiclassical analysis to unify and generalize L ^p estimates on high energy eigenfunctions and spectral clusters. In our approach these estimates do not depend on ellipticity and order, and apply to operators which are selfadjoint only at the principal level. They are estimates on weakly approximate solutions to semiclassical pseudodifferential equations. Submitted: May 11, 2006. Accepted: September 19, 2006.     

About the computation of the signature of surface singularities <Emphasis Type="Italic">z</Emphasis><Superscript><Emphasis Type="Italic">N</Emphasis></Superscript> + <Emphasis Type="Italic">g</Emphasis>(<Emphasis Type="Italic">x,y</Emphasis>) = 0

In this article we describe our experiences with a parallel Singular implementation of the signature of a surface singularity defined by z ^N + g(x; y) = 0.     

Directional <Emphasis Type="Italic">∇</Emphasis>-derivative and Curves on <Emphasis Type="Italic">n</Emphasis>-dimensional Time Scales

The general ideal in this paper is to study a differential calculus for multivariable functions, directional ∇-derivative and curves of parametric equations on n-dimensional time scales.      

New examples of Cantor sets in <Emphasis Type="Italic">S</Emphasis><Superscript>1</Superscript> that are not <Emphasis Type="Italic">C</Emphasis><Superscript>1</Superscript>-minimal

Although every Cantor subset of the circle (S¹) is the minimal set of some homeomorphism of S¹, not every such set is minimal for a C¹ diffeomorphism of S¹. In this work, we construct new examples of Cantor sets in S¹ that are not minimal for any C¹-diffeomorphim of S¹.