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.     

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.     

Stability of a conditional Cauchy equation

Let \mathbb R{\mathbb R} be the set of real numbers, f : \mathbb R ? \mathbb R{f : \mathbb {R} \to \mathbb {R}},  e 3 0{\epsilon \ge 0} and d > 0. We denote by {(x ₁, y ₁), (x ₂, y ₂), (x ₃, y ₃), . . .} a countable dense subset of \mathbb R²{\mathbb {R}^2} and let

Criteria for monogenicity of Clifford algebra-valued functions on fractal domains

Suppose that Ω is a bounded domain with fractal boundary Γ in ${\mathbb R^{n+1}}Suppose that Ω is a bounded domain with fractal boundary Γ in \mathbb Rⁿ⁺¹{\mathbb R^{n+1}} and let \mathbb R_0,n{\mathbb R_{0,n}} be the real Clifford algebra constructed over the quadratic space \mathbb Rⁿ{\mathbb R^{n}}. Furthermore, let U be a \mathbb R_0,n{\mathbb R_{0,n}}-valued function harmonic in Ω and H?lder-continuous up to Γ. By using a new Clifford Cauchy transform for Jordan domains in \mathbb Rⁿ⁺¹{\mathbb R^{n+1}} with fractal boundaries, we give necessary and sufficient conditions for the monogenicity of U in terms of its boundary value u = U|_Γ. As a consequence, the results of Abreu Blaya et al. (Proceedings of the 6th International ISAAC Congress Ankara, 167–174, World Scientific) are extended, which require Γ to be Ahlfors-David regular.     

On the lack of directional quasiconcavity of the fundamental mode in the clamped membrane problem

We consider the principal Dirichlet eigenfunction u of the Laplacian in a bounded region in \mathbbR²{\mathbb{R}^2} which is convex in one direction, say in x ₁. It has been asked by Kawohl (Remarks on some old and current eigenvalue problems, Cambridge University Press, pp 165–183, 1994) whether in this case u is quasiconcave in x ₁, i.e., all superlevel sets of u are convex in x ₁. In this note we provide a negative answer to this question by giving an explicit counterexample.     

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.     

Singularities of secant maps of immersed surfaces

The secant map of an immersion sends a pair of points to the direction of the line joining the images of the points under the immersion. The germ of the secant map of a generic codimension-c immersion $X\!\!:{\mathbb R}^n \to {\mathbb R}^{n+c}The secant map of an immersion sends a pair of points to the direction of the line joining the images of the points under the immersion. The germ of the secant map of a generic codimension-c immersion X:\mathbb Rⁿ ? \mathbb R^n+cX\!\!:{\mathbb R}^n \to {\mathbb R}^{n+c} at the diagonal in the source is a \mathbb Z₂{\mathbb Z}_2 stable map-germ \mathbb R²ⁿ ? \mathbb R^n+c-1{\mathbb R}^{2n} \to {\mathbb R}^{n+c-1} in the following cases: (i) c≥ 2 and (2n,n + c − 1) is a pair of dimensions for which the \mathbb Z₂{\mathbb Z}_2 stable germs of rank at least n are dense, and (ii) for generically immersed surfaces (i.e., n = 2 and any c≥ 1). In the latter surface case the A^{\mathbb Z₂}{\mathcal A}^{{\mathbb Z}_2}-classification of germs of secant maps at the diagonal is described and it is related to the A{\mathcal A}-classification of certain singular projections of the surfaces.     

Algebraic characterization of isometries of the complex and the quaternionic hyperbolic planes

Let H²_{\mathbb F}{{\bf H}^{\bf 2}_{\mathbb F}} denote the two dimensional hyperbolic space over \mathbb F{\mathbb F} , where \mathbb F{\mathbb F} is either the complex numbers \mathbb C{\mathbb C} or the quaternions \mathbb H{\mathbb H} . It is of interest to characterize algebraically the dynamical types of isometries of H²_{\mathbb F}{{\bf H}^{\bf 2}_{\mathbb F}} . For \mathbb F=\mathbb C{\mathbb F=\mathbb C} , such a characterization is known from the work of Giraud–Goldman. In this paper, we offer an algebraic characterization of isometries of H²_{\mathbb H}{{\bf H}^{\bf 2}_{\mathbb H}} . Our result restricts to the case \mathbb F=\mathbb C{\mathbb F=\mathbb C} and provides another characterization of the isometries of H²_{\mathbb C}{{\bf H}^{\bf 2}_{\mathbb C}} , which is different from the characterization due to Giraud–Goldman. Two elements in a group G are said to be in the same z-class if their centralizers are conjugate in G. The z-classes provide a finite partition of the isometry group. In this paper, we describe the centralizers of isometries of H²_{\mathbb F}{{\bf H}^{\bf 2}_{\mathbb F}} and determine the z-classes.     

On a singular elliptic problem involving critical growth in {\mathbb{R}^{\bf N}}

In this paper, we prove a suitable Trudinger–Moser inequality with a singular weight in \mathbbR^N{\mathbb{R}^N} and as an application of this result, using the mountain-pass theorem we establish sufficient conditions for the existence of nontrivial solutions to quasilinear elliptic partial differential equations of the form

Cocompactness and minimizers for inequalities of Hardy–Sobolev type involving N-Laplacian

The paper studies quasilinear elliptic problems in the Sobolev spaces W ^1,p (Ω), ${\Omega\subset{\mathbb R}^N}The paper studies quasilinear elliptic problems in the Sobolev spaces W ^1,p (Ω), W ì \mathbb R^N{\Omega\subset{\mathbb R}^N} , with p = N, that is, the case of Pohozhaev–Trudinger–Moser inequality. Similarly to the case p < N where the loss of compactness in W^1,p(\mathbb R^N){W^{1,p}({\mathbb R}^N)} occurs due to dilation operators u ?t^(N-p)/pu(tx){u {\mapsto}t^{(N-p)/p}u(tx)} , t > 0, and can be accounted for in decompositions of the type of Struwe’s “global compactness” and its later refinements, this paper presents a previously unknown group of isometric operators that leads to loss of compactness in W₀^1,N{W_0^{1,N}} over a ball in \mathbb R^N{{\mathbb R}^N} . We give a one-parameter scale of Hardy–Sobolev functionals, a “p = N”-counterpart of the H?lder interpolation scale, for p > N, between the Hardy functional ò\frac|u|^p|x|^p dx{\int \frac{|u|^p}{|x|^p}\,{\rm d}x} and the Sobolev functional ò|u|^pN/(N-mp)  dx{\int |u|^{pN/(N-mp)} \,{\rm d}x} . Like in the case p < N, these functionals are invariant with respect to the dilation operators above, and the respective concentration-compactness argument yields existence of minimizers for W ^1,N -norms under Hardy–Sobolev constraints.     

Periodicity of Non-Central Integral Arrangements Modulo Positive Integers

An integral coefficient matrix determines an integral arrangement of hyperplanes in \mathbbR^m{\mathbb{R}^m} . After modulo q reduction ${(q \in {\mathbb{Z}_{ >0 }})}${(q \in {\mathbb{Z}_{ >0 }})} , the same matrix determines an arrangement A_q{\mathcal{A}_q} of “hyperplanes” in \mathbbZ^m_q{\mathbb{Z}^m_q} . In the special case of central arrangements, Kamiya, Takemura, and Terao [J. Algebraic Combin. 27(3), 317–330 (2008)] showed that the cardinality of the complement of A_q{\mathcal{A}_q} in \mathbbZ^m_q{\mathbb{Z}^m_q} is a quasi-polynomial in ${q \in {\mathbb{Z}_{ >0 }}}${q \in {\mathbb{Z}_{ >0 }}} . Moreover, they proved in the central case that the intersection lattice of A_q{\mathcal{A}_q} is periodic from some q on. The present paper generalizes these results to the case of non-central arrangements. The paper also studies the arrangement [^(B)]_m^[0,a]{\hat{\mathcal{B}}_m^{[0,a]}} of Athanasiadis [J. Algebraic Combin. 10(3), 207–225 (1999)] to illustrate our results.     

Homogenization of two-phase metrics and applications

We consider two-phase metrics of the form ϕ(x, ξ) ≔ , where α,β are fixed positive constants and B _α, B _β are disjoint Borel sets whose union is ℝ^N, and prove that they are dense in the class of symmetric Finsler metrics ϕ satisfying

Extinction of solutions of semilinear higher order parabolic equations with degenerate absorption potential

We study the first vanishing time for solutions of the Cauchy–Dirichlet problem for the 2m-order (m ≥ 1) semilinear parabolic equation ${u_t + Lu + a(x) |u|^{q-1}u=0,\,0 < q < 1}We study the first vanishing time for solutions of the Cauchy–Dirichlet problem for the 2m-order (m ≥ 1) semilinear parabolic equation u_t + Lu + a(x) |u|^q-1u=0, 0 < q < 1{u_t + Lu + a(x) |u|^{q-1}u=0,\,0 < q < 1} with a(x) ≥ 0 bounded in the bounded domain W ì \mathbb R^N{\Omega \subset \mathbb R^N}. We prove that if N 1 2m{N \ne 2m} and ò₀¹ s^-1 (meas\nolimits {x ? W: |a(x)| ￡ s })^q ds < ￥, q = min(\frac2mN,1){\int_0^1 s^{-1} (\mathop{\rm meas}\nolimits \{x \in \Omega : |a(x)| \leq s \})^\theta {\rm d}s < \infty,\ \theta=\min\left(\frac{2m}N,1\right)}, then the solution u vanishes in a finite time. When N = 2m, the same property holds if ${\int_0^1 s^{-1} \left( \mathop{\rm meas}\nolimits \{x \in \Omega : |a(x)| \leq s \} \right) \ln \left( \mathop{\rm meas}\nolimits \{x \in \Omega : |a(x)| \leq s \} \right) {\rm d}s > - \infty}${\int_0^1 s^{-1} \left( \mathop{\rm meas}\nolimits \{x \in \Omega : |a(x)| \leq s \} \right) \ln \left( \mathop{\rm meas}\nolimits \{x \in \Omega : |a(x)| \leq s \} \right) {\rm d}s > - \infty}.     

Pseudodifferential Operators Approach to Singular Integral Operators in Weighted Variable Exponent Lebesgue Spaces on Carleson Curves

The main results of the paper are: (1) The boundedness of singular integral operators in the variable exponent Lebesgue spaces L ^p(·)(Γ, w) on a class of composed Carleson curves Γ where the weights w have a finite set of oscillating singularities. The proof of this result is based on the boundedness of Mellin pseudodifferential operators on the spaces L^p(·)(\mathbbR ₊,dm){L^{p(\cdot )}(\mathbb{R} _{+},d\mu)} where dμ is an invariant measure on multiplicative group ${\mathbb{R}_{+}=\left\{r\in \mathbb{R}:r >0 \right\}}${\mathbb{R}_{+}=\left\{r\in \mathbb{R}:r >0 \right\}}. (2) Criterion of local invertibility of singular integral operators with piecewise slowly oscillating coefficients acting on L ^p(·)(Γ, w) spaces. We obtain this criterion from the corresponding criteria of local invertibility at the point 0 of Mellin pseudodifferential operators on \mathbbR₊{\mathbb{R}_{+}} and local invertibility of singular integral operators on \mathbbR{\mathbb{R}}. (3) Criterion of Fredholmness of singular integral operators in the variable exponent Lebesgue spaces L ^p(·)(Γ, w) where Γ belongs to a class of composed Carleson curves slowly oscillating at the nodes, and the weight w has a finite set of slowly oscillating singularities.     

Hypersurfaces in the Lorentz-Minkowski space satisfying Lkψ?=?Aψ?+?b

We study hypersurfaces in the Lorentz-Minkowski space \mathbbLⁿ⁺¹{\mathbb{L}^{n+1}} whose position vector ψ satisfies the condition L _k ψ = Aψ + b, where L _k is the linearized operator of the (k + 1)th mean curvature of the hypersurface for a fixed k = 0, . . . , n − 1, A ? \mathbbR^(n+1)×(n+1){A\in\mathbb{R}^{(n+1)\times(n+1)}} is a constant matrix and b ? \mathbbLⁿ⁺¹{b\in\mathbb{L}^{n+1}} is a constant vector. For every k, we prove that the only hypersurfaces satisfying that condition are hypersurfaces with zero (k + 1)th mean curvature, open pieces of totally umbilical hypersurfaces \mathbbSⁿ₁(r){\mathbb{S}^n_1(r)} or \mathbbHⁿ(-r){\mathbb{H}^n(-r)}, and open pieces of generalized cylinders \mathbbS^m₁(r)×\mathbbR^n-m{\mathbb{S}^m_1(r)\times\mathbb{R}^{n-m}}, \mathbbH^m(-r)×\mathbbR^n-m{\mathbb{H}^m(-r)\times\mathbb{R}^{n-m}}, with k + 1 ≤ m ≤ n − 1, or \mathbbL^m×\mathbbS^n-m(r){\mathbb{L}^m\times\mathbb{S}^{n-m}(r)}, with k + 1 ≤ n − m ≤ n − 1. This completely extends to the Lorentz-Minkowski space a previous classification for hypersurfaces in \mathbbRⁿ⁺¹{\mathbb{R}^{n+1}} given by Alías and Gürbüz (Geom. Dedicata 121:113–127, 2006).     

Swan-like results for binomials and trinomials over finite fields of odd characteristic

Swan (Pac. J. Math. 12:1099–1106, 1962) gives conditions under which the trinomial x ⁿ + x ^k + 1 over \mathbbF₂{\mathbb{F}_{2}} is reducible. Vishne (Finite Fields Appl. 3:370–377, 1997) extends this result to trinomials over extensions of \mathbbF₂{\mathbb{F}_{2}}. In this work we determine the parity of the number of irreducible factors of all binomials and some trinomials over the finite field \mathbbF_q{\mathbb{F}_{q}}, where q is a power of an odd prime.     

Classification of Wintgen ideal surfaces in Euclidean 4-space with equal Gauss and normal curvatures

Wintgen proved (C. R. Acad. Sci. Paris, 288:993–995, 1979) that the Gauss curvature K and the normal curvature K ^D of a surface in Euclidean 4-space \mathbb E⁴{\mathbb {E}^4} satisfy K + |K ^D | ≤ H ², where H ² is the squared mean curvature. A surface in \mathbb E⁴{\mathbb {E}^4} is called Wintgen ideal if it satisfies the equality case of the inequality identically. Wintgen ideal surfaces in \mathbb E⁴{\mathbb {E}^4} form an important family of surfaces, namely, surfaces with circular ellipse of curvature. In this article, we completely classify Wintgen ideal surfaces in \mathbb E⁴{\mathbb E^4} satisfying |K| = |K ^D | identically.     

Heat flows for a nonconvex Signorini type problem in $$ {\mathbb{R}^{N}} $$

We prove the existence of a global heat flow u : Ω ×  \mathbbR⁺ ? \mathbbR^N {\mathbb{R}^{+}} \to {\mathbb{R}^{N}}, N > 1, satisfying a Signorini type boundary condition u(∂Ω ×  \mathbbR⁺ {\mathbb{R}^{+}}) ⊂  \mathbbRⁿ {\mathbb{R}^{n}}), n \geqslant 2 n \geqslant 2 , and \mathbbR^N {\mathbb{R}^{N}}) with boundary ∂ [`(W)] \bar{\Omega } such that φ(∂Ω) ⊂ \mathbbR^N {\mathbb{R}^{N}} is given by a smooth noncompact hypersurface S. Bibliography: 30 titles.     

A Fully Nonlinear Nonhomogeneous Neumann Problem

Let Ω be an open bounded set in ℝ^N, N≥3, with connected Lipschitz boundary ∂Ω and let a(x,ξ) be an operator of Leray–Lions type (a(⋅,∇u) is of the same type as the operator |∇u|^p−2∇u, 1<p<N). If τ is the trace operator on ∂Ω, [φ] the jump across ∂Ω of a function φ defined on both sides of ∂Ω, the normal derivative ∂/∂ν_a related to the operator a is defined in some sense as 〈a(⋅,∇u),ν〉, the inner product in ℝ^N, of the trace of a(⋅,∇u) on ∂Ω with the outward normal vector field ν on ∂Ω. If β and γ are two nondecreasing continuous real functions everywhere defined in ℝ, with β(0)=γ(0)=0, f∈L¹(ℝ^N), g∈L¹(∂Ω), we prove the existence and the uniqueness of an entropy solution u for the following problem,

On Representations of Integers in Thin Subgroups of {{\rm SL}_2({\mathbb {Z}})}

Let ${\Gamma < {\rm SL}(2, {\mathbb Z})}Let G < SL(2, \mathbb Z){\Gamma < {\rm SL}(2, {\mathbb Z})} be a free, finitely generated Fuchsian group of the second kind with no parabolics, and fix two primitive vectors v₀, w₀ ? \mathbb Z²  \  {0}{v_{0}, w_{0} \in \mathbb {Z}^{2} \, {\backslash} \, \{0\}}. We consider the set S{\mathcal {S}} of all integers occurring in áv₀g, w₀?{\langle v_{0}\gamma, w_{0}\rangle}, for g ? G{\gamma \in \Gamma} and the usual inner product on \mathbb R²{\mathbb {R}^2}. Assume that the critical exponent δ of Γ exceeds 0.99995, so that Γ is thin but not too thin. Using a variant of the circle method, new bilinear forms estimates and Gamburd’s 5/6-th spectral gap in infinite-volume, we show that S{\mathcal {S}} contains almost all of its admissible primes, that is, those not excluded by local (congruence) obstructions. Moreover, we show that the exceptional set \mathfrak E(N){\mathfrak {E}(N)} of integers |n| < N which are locally admissible (n ? S   (mod  q)   for all   q 3 1){(n \in \mathcal {S} \, \, ({\rm mod} \, q) \, \, {\rm for\,all} \,\, q \geq 1)} but fail to be globally represented, n ? S{n \notin \mathcal {S}}, has a power savings, |\mathfrak E(N)| << N^1-e₀{|\mathfrak {E}(N)| \ll N^{1-\varepsilon_{0}}} for some ${\varepsilon_{0} > 0}${\varepsilon_{0} > 0}, as N → ∞.