On the equation Δ<Emphasis Type="Italic">u</Emphasis> + <Emphasis Type="Italic">q</Emphasis>(<Emphasis Type="Italic">x</Emphasis>)<Emphasis Type="Italic">u</Emphasis> = 0

Sufficient conditions for the blow-up of nontrivial generalized solutions of the interior Dirichlet problem with homogeneous boundary condition for the homogeneous elliptic-type equation Δu + q(x)u = 0, where either q(x) ≠ const or q(x) = const= λ > 0, are obtained. A priori upper bounds (Theorem 4 and Remark 6) for the exact constants in the well-known Sobolev and Steklov inequalities are established.     

The smooth structure set of <Emphasis Type="Italic">S</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> × <Emphasis Type="Italic">S</Emphasis><Superscript><Emphasis Type="Italic">q</Emphasis></Superscript>

We calculate \({\mathcal{S}^{{\it Diff}}(S^p \times S^q)}\), the smooth structure set of S ^p × S ^q , for p, q ≥ 2 and p + q ≥ 5. As a consequence we show that in general \({\mathcal{S}^{Diff}(S^{4j-1}\times S^{4k})}\) cannot admit a group structure such that the smooth surgery exact sequence is a long exact sequence of groups. We also show that the image of the forgetful map \({\mathcal{S}^{Diff}(S^{4j}\times S^{4k}) \rightarrow \mathcal{S}^{Top}(S^{4j}\times S^{4k})}\) is not in general a subgroup of the topological structure set.     

<Emphasis Type="Italic">C</Emphasis><Superscript>∞</Superscript> regularity of solutions of the Levi equation in<Emphasis Type="Italic">R</Emphasis><Superscript><Emphasis Type="Italic">2n+1</Emphasis></Superscript>

We study the regularity of the solutions of the Levi equation in ?²ⁿ⁺¹. It is a second order quasilinear equation whose characteristic matrix is positive semidefinite and has vanishing determinant at every point and for every functionu∈C ². We show that the operator associated to the equation can be represented as a sum of squares of non linear vector fields. Then, by using a freezing method, we prove theC ^∞ regularity of the solutions.     

Solutions of Δ<Emphasis Type="Italic">u</Emphasis>=4<Emphasis Type="Italic">u</Emphasis><Superscript><Emphasis Type="Italic">2</Emphasis></Superscript> with Neumann’s conditions using the Brownian snake

We consider a Brownian snake (W_s,s0) with underlying process a reflected Brownian motion in a bounded domain D. We construct a continuous additive functional (L_s,s0) of the Brownian snake which counts the time spent by the end points _s of the Brownian snake paths on D. The random measure Z=_sdLs is supported by D. Then we represent the solution v of u=4u² in D with weak Neumann boundary condition 0 by using exponential moment of (Z,) under the excursion measure of the Brownian snake. We then derive an integral equation for v. For small it is then possible to describe negative solution of u=4u² in D with weak Neumann boundary condition . In contrast to the exit measure of the Brownian snake out of D, the measure Z is more regular. In particular we show it is absolutely continuous with respect to the surface measure on D for dimension 2 and 3.Mathematics Subject Classification (2000):60J55, 60J80, 60H30, 60G57, 35C15, 35J65     

Weighted a priori estimates for solution of (−Δ)<Superscript><Emphasis Type="Italic">m</Emphasis></Superscript><Emphasis Type="Italic">u</Emphasis> = <Emphasis Type="Italic">f</Emphasis> with homogeneous dirichlet conditions

Let u be a weak solution of (-△)mu = f with Dirichlet boundary conditions in a smooth bounded domain Ω  Rn. Then, the main goal of this paper is to prove the following a priori estimate:‖u‖ Wω2 m,p(Ω) ≤ C ‖f‖ Lωp (Ω),where ω is a weight in the Muckenhoupt class Ap.     

<Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> and <Emphasis Type="Italic">L</Emphasis><Superscript>∞</Superscript> norm estimates of the cost of the controllability for heat equations

This paper is concerned with the bound of the cost of approximate controllability and null controllability of heat equations, i.e., the minimal Lp norm and L∞ norm of a control needed to control the system approximately or a control needed to steer the state of the system to zero. The methods we use combine observability inequalities, energy estimates for heat equations and the dual theory.     

A Characterization of <Emphasis Type="Italic">PSU</Emphasis><Subscript>3</Subscript>(<Emphasis Type="Italic">q</Emphasis>) for <Emphasis Type="Italic">q</Emphasis> ≥ 5

Based on the prime graph of a finite simple group, its order is the product of its order components (see [4]). We prove that the simple groups PSU₃(q) are uniquely determined by their order components. Our result immediately implies that the Thompsons conjecture and the Wujie Shis conjecture [16] are valid for these groups.AMS Subject Classification: 20D05, 20D60     

On the Gosper’s <Emphasis Type="Italic">q</Emphasis>-constant Π<Subscript><Emphasis Type="Italic">q</Emphasis></Subscript>

Gosper introduced the functions sin_qz and cos_qz as q-analogues for the trigonometric functions sin z and cos z respectively. He stated a variety of identities involving these two q-trigonometric functions along with certain constants denoted by \({\Pi _{{q^n}}}\) (n ∈ N). Gosper noticed that all his formulas on these constants have more than two of the \({\Pi _{{q^n}}}\). So, it is natural to raise the question of establishing identities involving only two of the \({\Pi _{{q^n}}}\). In this paper, our main goal is to give examples of such formulas in only two \({\Pi _{{q^n}}}\).     

On Analytic Campanato and <Emphasis Type="Italic">F</Emphasis>(<Emphasis Type="Italic">p</Emphasis>, <Emphasis Type="Italic">q</Emphasis>, <Emphasis Type="Italic">s</Emphasis>) Spaces

We investigate the relation between analytic Campanato spaces \(\mathcal {AL}_{p,s}\) and the spaces F(p, q, s), characterize the bounded and compact Riemann–Stieltjes operators from \(\mathcal {AL}_{p,s}\) to \(F(p,p-s-1,s)\). We also describe the corona theorem and the interpolating sequences for the class \(F(p,p-2,s)\), which is the Möbius invariant subspace of the analytic Besov type spaces \(B_p(s)\).     

A theorem of the alternatives for the equation |<Emphasis Type="Italic">Ax</Emphasis>| − |<Emphasis Type="Italic">B</Emphasis>||<Emphasis Type="Italic">x</Emphasis>| = <Emphasis Type="Italic">b</Emphasis>

A theorem of the alternatives for the equation \({|Ax|-|B||x|=b\ (A,B\in{\mathbb{R}}^{n\times n},\, b\in{\mathbb{R}}^n)}\) is proved and several consequences are drawn. In particular, a class of matrices A, B is identified for which the equation has exactly 2 ⁿ solutions for each positive right-hand side b.     

Systematic Construction of <Emphasis Type="Italic">q</Emphasis>-Analogs of <Emphasis Type="Italic">t</Emphasis>−(<Emphasis Type="Italic">v</Emphasis>,<Emphasis Type="Italic">k</Emphasis>,λ)-Designs

In the present paper we consider a q-analog of t–(v,k,)-designs. It is canonic since it arises by replacing sets by vector spaces over GF(q), and their orders by dimensions. These generalizations were introduced by Thomas [Geom.Dedicata vol. 63, pp. 247–253 (1996)] they are called t –(v,k,;q)- designs. A few of such q-analogs are known today, they were constructed using sophisticated geometric arguments and case-by-case methods. It is our aim now to present a general method that allows systematically to construct such designs, and to give complete catalogs (for small parameters, of course) using an implemented software package. &nbsp; In order to attack the (highly complex) construction, we prepare them for an enormous data reduction by embedding their definition into the theory of group actions on posets, so that we can derive and use a generalization of the Kramer-Mesner matrix for their definition, together with an improved version of the LLL-algorithm. By doing so we generalize the methods developed in a research project on t –(v,k,)-designs on sets, obtaining this way new results on the existence of t–(v,k,;q)-designs on spaces for further quintuples (t,v,k,;q) of parameters. We present several 2–(6,3,;2)-designs, 2–(7,3,;2)-designs and, as far as we know, the very first 3-designs over GF(q).classification 05B05     

<Emphasis Type="Italic">q</Emphasis>-Blossoming and Hermite-Padé approximants to the <Emphasis Type="Italic">q</Emphasis>-exponential function

We derive explicit expressions for the type II Hermite-Padé approximants to the q-exponential function using the q-blossom of its partial sums. In particular, this derivation leads to an interpretation of the Padé approximants as control points of a q-Bézier curve defined in terms of the partial sums of the q-exponential function.     

On the Spectrum of the Sizes of Maximal Partial Line Spreads in <Emphasis Type="Italic">PG</Emphasis>(2<Emphasis Type="Italic">n</Emphasis>,<Emphasis Type="Italic">q</Emphasis>), <Emphasis Type="Italic">n</Emphasis> ≥ 3

A lot of research has been done on the spectrum of the sizes of maximal partial spreads in PG(3,q) [P. Govaerts and L. Storme, Designs Codes and Cryptography, Vol. 28 (2003) pp. 51–63; O. Heden, Discrete Mathematics, Vol. 120 (1993) pp. 75–91; O. Heden, Discrete Mathematics, Vol. 142 (1995) pp. 97–106; O. Heden, Discrete Mathematics, Vol. 243 (2002) pp. 135–150]. In [A. Gács and T. Sznyi, Designs Codes and Cryptography, Vol. 29 (2003) pp. 123–129], results on the spectrum of the sizes of maximal partial line spreads in PG(N,q), N 5, are given. In PG(2n,q), n 3, the largest possible size for a partial line spread is q^2n-1+q^2n-3+...+q³+1. The largest size for the maximal partial line spreads constructed in [A. Gács and T. Sznyi, Designs Codes and Cryptography, Vol. 29 (2003) pp. 123–129] is (q²ⁿ⁺¹–q)/(q²–1)–q³+q²–2q+2. This shows that there is a non-empty interval of values of k for which it is still not known whether there exists a maximal partial line spread of size k in PG(2n,q). We now show that there indeed exists a maximal partial line spread of size k for every value of k in that interval when q 9.J. Eisfeld: Supported by the FWO Research Network WO.011.96NP. Sziklai: The research of this author was partially supported by OTKA D32817, F030737, F043772, FKFP 0063/2001 and Magyary Zoltan grants. The third author is grateful for the hospitality of Ghent University.     

Pointwise multipliers and decomposition theorems in <Emphasis Type="Italic">F</Emphasis><Superscript><Emphasis Type="Italic">∞,q</Emphasis></Superscript><Subscript><Emphasis Type="Italic">s</Emphasis></Subscript>

In this paper we give a characterization of the pointwise multipliers of the holomorphic Triebel-Lizorkin spaces F^{, q}_s, and we apply these results to prove a corona decomposition theorem for these spaces.Mathematics Subject Classification (1991):32A37Both authors partially supported by DGICYT Grant BMF2002-04072-C02-01 and CIRIT Grant 2001-SGR-00172     

Difference sets with <Emphasis Type="Italic">n</Emphasis> = 5<Emphasis Type="Italic"> p</Emphasis><Superscript><Emphasis Type="Italic">r</Emphasis></Superscript>

Let D be a (v, k, λ)-difference set in an abelian group G, and (v, 31) = 1. If n = 5p ^r with p a prime not dividing v and r a positive integer, then p is a multiplier of D. In the case 31|v, we get restrictions on the parameters of such difference sets D for which p may not be a multiplier.      

Free involutions on <Emphasis Type="Italic">S</Emphasis><Superscript>1</Superscript> × <Emphasis Type="Italic">S</Emphasis><Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

Topological free involutions on S ¹ × S ⁿ are classified up to conjugation. We prove that this is the same as classifying quotient manifolds up to homeomorphism. There are exactly four possible homotopy types of such quotients, and surgery theory is used to classify all manifolds within each homotopy type.     

<Emphasis Type="Italic">C</Emphasis><Superscript>1+<Emphasis Type="Italic">α</Emphasis></Superscript>-Regularity for Two-Dimensional Almost-Minimal Sets in ℝ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

We give a new proof and a partial generalization of Jean Taylor’s result (Ann. Math. (2) 103(3), 489–539, 1976) that says that Almgren almost-minimal sets of dimension 2 in ℝ³ are locally C ^1+α -equivalent to minimal cones. The proof is rather elementary, but uses a local separation result proved in Ann. Fac. Sci. Toulouse 18(1), 65–246, 2009 and an extension of Reifenberg’s parameterization theorem (David et al. in Geom. Funct. Anal. 18, 1168–1235, 2008). The key idea is still that if X is the cone over an arc of small Lipschitz graph in the unit sphere, but X is not contained in a disk, we can use the graph of a harmonic function to deform X and substantially diminish its area. The local separation result is used to reduce to unions of cones over arcs of Lipschitz graphs. A good part of the proof extends to minimal sets of dimension 2 in ℝ ⁿ , but in this setting our final regularity result on E may depend on the list of minimal cones obtained as blow-up limits of E at a point.     

Cycles in <Emphasis Type="Italic">G</Emphasis>-orbits in <Emphasis Type="Italic">G</Emphasis><Superscript><Emphasis Type="Italic">ℂ</Emphasis></Superscript>-flag manifolds

There is a natural duality between orbits of a real form G of a complex semisimple group G on a homogeneous rational manifold Z=G /P and those of the complexification K of any of its maximal compact subgroups K: (,) is a dual pair if is a K-orbit. The cycle space C() is defined to be the connected component containing the identity of the interior of {g:g() is non-empty and compact}. Using methods which were recently developed for the case of open G-orbits, geometric properties of cycles are proved, and it is shown that C() is contained in a domain defined by incidence geometry. In the non-Hermitian case this is a key ingredient for proving that C() is a certain explicitly computable universal domain.Research of the first author partially supported by Schwerpunkt Global methods in complex geometry and SFB-237 of the Deutsche Forschungsgemeinschaft.The second author was supported by a stipend of the Deutsche Akademische Austauschdienst.     

Regular<Emphasis Type="Italic">n</Emphasis>-simplices in ℝ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript> with vertices in ℤ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

In this paper theI andII regularn-simplices are introduced. We prove that the sufficient and necessary conditions for existence of anI regularn-simplex in ℝ ⁿ are that ifn is even thenn = 4m(m + 1), and ifn is odd thenn = 4m + 1 with thatn + 1 can be expressed as a sum of two integral squares orn = 4m - 1, and that the sufficient and necessary condition for existence of aII regularn-simplex in ℝ ⁿ isn = 2m ² - 1 orn = 4m(m + 1)(m ∈ ℕ). The connection between regularn-simplex in ℝ ⁿ and combinational design is given.