-regularity of the Aronsson equation in

For a nonnegative, uniformly convex HC²(R²) with H(0)=0, if uC(Ω), ΩR², is a viscosity solution of the Aronsson equation (1.7), then uC¹(Ω). This generalizes the C¹-regularity theorem on infinity harmonic functions in R² by Savin [O. Savin, C¹-regularity for infinity harmonic functions in dimensions two, Arch. Ration. Mech. Anal. 176 (3) (2005) 351–361] to the Aronsson equation.     

Strong and uniform mean stability of cosine and sine operator functions

It is first observed that a uniformly bounded cosine operator function C() and the associated sine function S() are totally non-stable. Then, using a zero-one law for the Abel limit of a closed linear operator, we prove some results concerning strong mean stability and uniform mean stability of C(). Among them are: (1) C() is strongly (C,1)-mean stable (or (C,2)-mean stable, or Abel-mean stable) if and only if 0ρ(A)σ_c(A); (2) C() is uniformly (C,2)-mean stable if and only if S() is uniformly (C,1)-mean stable, if and only if , if and only if , if and only if C() is uniformly Abel-mean stable, if and only if S() is uniformly Abel-mean stable, if and only if 0ρ(A).     

Orthonormal sampling functions

We investigate functions (x) whose translates {(x−k)}, where k runs through the integer lattice , provide a system of orthonormal sampling functions. The cardinal sine, whose important role in the sampling theory of bandlimited functions is well documented, is the classic example. For the bandlimited case we provide a complete characterization of such functions and give examples with rapid decay including a construction which is symmetric. We also analyze the general case of arbitrary sampling rate, a>0, which leads to some unexpected observations.     

Relative rearrangement and Lebesgue spaces with variable exponent

We apply the techniques of monotone and relative rearrangements to the nonrearrangement invariant spaces L^p()(Ω) with variable exponent. In particular, we show that the maps uL^p()(Ω)→k(t)u_*L^p_*()(0,measΩ) and uL^p()(Ω)→u_*L^p*()(0,measΩ) are locally -Hölderian (u_* (resp. p^*) is the decreasing (resp. increasing) rearrangement of u (resp. p)). The pointwise relations for the relative rearrangement are applied to derive the Sobolev embedding with eventually discontinuous exponents.     

A characterization of convex calibrable sets in with respect to anisotropic norms

A set is called “calibrable” if its characteristic function is an eigenvector of the subgradient of the total variation. The main purpose of this paper is to characterize the “-calibrability” of bounded convex sets in with respect to a norm (called anisotropy in the sequel) by the anisotropic mean -curvature of its boundary. It extends to the anisotropic and crystalline cases the known analogous results in the Euclidean case. As a by-product of our analysis we prove that any convex body C satisfying a -ball condition contains a convex -calibrable set K such that, for any V[|K|,|C|], the subset of C of volume V which minimizes the -perimeter is unique and convex. We also describe the anisotropic total variation flow with initial data the characteristic function of a bounded convex set.     

Conditions for a class of dimensional dual hyperovals to be of polar type

A d-dimensional dual hyperoval with monomial is of polar type if and only if d is even, Gal(GF(2^d+1)/GF(2)) and σ²=id_GF(2^d+1).     

Le lemme de Schur pour les représentations orthogonales

Let σ be an orthogonal representation of a group G on a real Hilbert space. We show that σ is irreducible if and only if its commutant σ(G)' is isomorphic to , or . This result is an analogue of the classical Schur lemma for unitary representations. In both cases (orthogonal and unitary), a representation is irreducible if and only if its commutant is a field. If σ is irreducible, we show that there exists a unitary irreducible representation π of G such that the complexification σ is unitarily equivalent to π if σ(G)' , to π π̄ if σ(G)' , and to π π if σ(G)' (here π̄ denotes the contragredient representation of π). These results are classical for a finite-dimensional σ, but seem to be new in the general case.     

Optimal Sobolev Imbeddings Involving Rearrangement-Invariant Quasinorms

Let m and n be positive integers with n2 and 1mn−1. We study rearrangement-invariant quasinorms _R and _D on functions f: (0, 1)→ such that to each bounded domain Ω in ⁿ, with Lebesgue measure |Ω|, there corresponds C=C(|Ω|)>0 for which one has the Sobolev imbedding inequality _R(u*(|Ω| t))C_D(|^mu|* (|Ω| t)), uC^m₀(Ω), involving the nonincreasing rearrangements of u and a certain mth order gradient of u. When m=1 we deal, in fact, with a closely related imbedding inequality of Talenti, in which _D need not be rearrangement-invariant, _R(u*(|Ω| t))C_D((d/dt) ∫_{{x ⁿ : |u(x)|>u*(|Ω| t)}} |(u)(x)| dx), uC¹₀(Ω). In both cases we are especially interested in when the quasinorms are optimal, in the sense that _R cannot be replaced by an essentially larger quasinorm and _D cannot be replaced by an essentially smaller one. Our results yield best possible refinements of such (limiting) Sobolev inequalities as those of Trudinger, Strichartz, Hansson, Brézis, and Wainger.     

Every 4-connected line graph of a quasi claw-free graph is hamiltonian connected

Let G be a graph. For u,vV(G) with dist_G(u,v)=2, denote J_G(u,v)={wN_G(u)∩N_G(v)|N_G(w)N_G(u)N_G(v){u,v}}. A graph G is called quasi claw-free if J_G(u,v)≠ for any u,vV(G) with dist_G(u,v)=2. In 1986, Thomassen conjectured that every 4-connected line graph is hamiltonian. In this paper we show that every 4-connected line graph of a quasi claw-free graph is hamiltonian connected.     

Inner Functions and Cyclic Composition Operators on H(Bn)

The present paper shows that the algebra generated by {C|  Aut(B_n)} is cyclic on H²(B_n), and any nonconstant function f  H²(B_n) is a cyclic vector of . In addition, the hypercyclic and cyclic composition operators will be discussed.     

On some d-dimensional dual hyperovals in

Let d≥3. Let H be a d+1-dimensional vector space over GF(2) and {e₀,…,e_d} be a specified basis of H. We define Supp(t){e_t1,…,e_tl}, a subset of a specified base for a non-zero vector t=e_t1++e_tl of H, and Supp(0)0/. We also define J(t)Supp(t) if |Supp(t)| is odd, and J(t)Supp(t){0} if |Supp(t)| is even.For s,tH, let {a(s,t)} be elements of H(HH) which satisfy the following conditions: (1) a(s,s)=(0,0), (2) a(s,t)=a(t,s), (3) a(s,t)≠(0,0) if s≠t, (4) a(s,t)=a(s^′,t^′) if and only if {s,t}={s^′,t^′}, (5) {a(s,t)|tH} is a vector space over GF(2), (6) {a(s,t)|s,tH} generate H(HH). Then, it is known that S{X(s)|sH}, where X(s){a(s,t)|tH{s}}, is a dual hyperoval in PG(d(d+3)/2,2)=(H(HH)){(0,0)}.In this note, we assume that, for s,tH, there exists some x_s,t in GF(2) such that a(s,t) satisfies the following equation: Then, we prove that the dual hyperoval constructed by {a(s,t)} is isomorphic to either the Huybrechts’ dual hyperoval, or the Buratti and Del Fra’s dual hyperoval.     

Attractors of the reaction-diffusion systems with rapidly oscillating coefficients and their homogenization

The following reaction-diffusion system in spatially non-homogeneous almost-periodic media is considered in a bounded domain : (1)∂_tu=Au−f(u)+g, u|_∂Ω=0. Here u=(u¹,…,u^k) is an unknown vector-valued function, f is a given nonlinear interaction function and the second order elliptic operator A has the following structure: where a_ij^l(y) are given almost-periodic functions. We prove that, under natural assumptions on the nonlinear term f(u), the longtime behavior of solutions of (1) can be described in terms of the global attractor of the associated dynamical system and that the attractors  , 0<<₀1, converge to the attractor of the homogenized problem (1) as →0. Moreover, in the particular case of periodic media, we give explicit estimates for the distance between the non-homogenized and the homogenized attractors in terms of the parameter .     

Extracting the resolution algorithm from a completeness proof for the propositional calculus

We prove constructively that for any propositional formula in Conjunctive Normal Form, we can either find a satisfying assignment of true and false to its variables, or a refutation of showing that it is unsatisfiable. This refutation is a resolution proof of ¬. From the formalization of our proof in Coq, we extract Robinson’s famous resolution algorithm as a Haskell program correct by construction. The account is an example of the genre of highly readable formalized mathematics.     

Existence of HSOLSSOMs of type

In this paper we investigate the existence of holey self-orthogonal Latin squares with a symmetric orthogonal mate of type 2ⁿu¹ (HSOLSSOM(2ⁿu¹)). For u2, necessary conditions for existence of such an HSOLSSOM are that u must be even and n3u/2+1. Xu Yunqing and Hu Yuwang have shown that these HSOLSSOMs exist whenever either (1) n9 and n3u/2+1 or (2) n263 and n2(u-2). In this paper we show that in (1) the condition n9 can be extended to n30 and that in (2), the condition n263 can be improved to n4, except possibly for 19 pairs (n,u), the largest of which is (53,28).     

Preliminary test estimators and phi-divergence measures in generalized linear models with binary data

We consider the problem of estimation of the parameters in Generalized Linear Models (GLM) with binary data when it is suspected that the parameter vector obeys some exact linear restrictions which are linearly independent with some degree of uncertainty. Based on minimum -divergence estimation (ME), we consider some estimators for the parameters of the GLM: Unrestricted ME, restricted ME, Preliminary ME, Shrinkage ME, Shrinkage preliminary ME, James–Stein ME, Positive-part of Stein-Rule ME and Modified preliminary ME. Asymptotic bias as well as risk with a quadratic loss function are studied under contiguous alternative hypotheses. Some discussion about dominance among the estimators studied is presented. Finally, a simulation study is carried out.     

Asymptotic behavior of large solutions to -Laplacian of Bieberbach–Rademacher type

By the Karamata regular variation theory and the method of lower and upper solutions, we establish the asymptotic behavior of boundary blow-up solutions of the quasilinear elliptic equation div(|u|^p−2u)=b(x)f(u) in a bounded ΩR^N subject to the singular boundary condition u(x)=∞, where the weight b(x) is non-negative and non-trivial in Ω, which may be vanishing on the boundary or go to unbounded, the nonlinear term f is a Γ-varying function at infinity, whose variation at infinity is not regular.     

Exact solitary and periodic wave solutions for a generalized nonlinear Schrödinger equation

The generalized nonlinear Schrödinger equation (GNLS) iu_t + u_xx + βu²u + γu⁴u + iα (u²u)_x + iτ(u²)_xu = 0 is studied. Using the bifurcation of travelling waves of this equation, some exact solitary wave solutions were obtained in [Wang W, Sun J,Chen G, Bifurcation, Exact solutions and nonsmooth behavior of solitary waves in the generalized nonlinear Schrödinger equation. Int J Bifucat Chaos 2005:3295–305.]. In this paper, more explicit exact solitary wave solutions and some new smooth periodic wave solutions are obtained.     

Long time behaviour for generalized complex Ginzburg–Landau equation

In this paper, the two-dimensional generalized complex Ginzburg–Landau equation (CGL)

u_t=ρu−Δφ(u)−(1+iγ)Δu−νΔ²u−(1+iμ)|u|^2σu+αλ₁(|u|²u)+β(λ₂)|u|²