On the principal eigenvalue of some nonlocal diffusion problems

In this paper we analyze some properties of the principal eigenvalue λ₁(Ω) of the nonlocal Dirichlet problem (J∗u)(x)−u(x)=−λu(x) in Ω with u(x)=0 in RN?Ω. Here Ω is a smooth bounded domain of RN and the kernel J is assumed to be a C¹ compactly supported, even, nonnegative function with unit integral. Among other properties, we show that λ₁(Ω) is continuous (or even differentiable) with respect to continuous (differentiable) perturbations of the domain Ω. We also provide an explicit formula for the derivative. Finally, we analyze the asymptotic behavior of the decreasing function Λ(γ)=λ₁(γΩ) when the dilatation parameter γ>0 tends to zero or to infinity.     

Some Results on Injective Modules Over a Ring of Krull Type

ABSTRACT

In this article, we study injective modules over a ring of Krull type A. Our main result is E(K/A)? ?_{ω∈Ω ^t} E(K/?_ω), where Ω ^t is a thin defining family of valuations of A. We also characterize the rings of Krull type A such that TE(K/A) is a cogenerator of the quotient category Mod(A)/?₀, where ?₀ is the thick subcategory of the modules with trivial maps into the codivisorial modules.     

Multi-bump bound states of nonlinear Schrödinger equations with electromagnetic fields and critical frequency

In this paper, we are concerned with the existence and asymptotic behavior of standing wave solutions ψ(x,t)=e−iλEt of nonlinear Schrödinger equations with electromagnetic fields , (t,x)∈R×RN, with E being a critical frequency in the sense that infx∈RNW(x)=E. We show that if the zero set of W−E has several isolated connected components Ω₁,…,Ωk such that the interior of Ωi is not empty and ∂Ωi is smooth, then for λ>0 large there exists, for any non-empty subset J⊂{1,2,…,k}, a standing wave solution which is trapped in a neighborhood of _?j∈JΩj.     

The Kahan S.O.R. convergence bound for nonsingular and irreducible M-matrices

Let A be a nonsingular M-matrix, and let π be a block partitioning of A such that the diagonal blocks are square. Denote by J^A_π and

^A_πω the block Jacobi and the block S.O.R. iteration matrices arising from and associated with the partitioning π of A, respectively. In [5] Kahan showed that ρ (

^A_πω<1 for all 0<ω<ω':=2/[1+ρ(J^A_π)]. Under the assumption that J^A_π is irreducible we examine the question of when ρ(

^A_πω')=1 for certain recurring M-matrices.     

Near boundary vortices in a magnetic Ginzburg-Landau model: Their locations via tight energy bounds

Given a bounded doubly connected domain G⊂R², we consider a minimization problem for the Ginzburg-Landau energy functional when the order parameter is constrained to take S¹-values on ∂G and have degrees zero and one on the inner and outer connected components of ∂G, correspondingly. We show that minimizers always exist for 0<λ<1 and never exist for λ?1, where λ is the coupling constant ( is the Ginzburg-Landau parameter). When λ→1−0 minimizers develop vortices located near the boundary, this results in the limiting currents with δ-like singularities on the boundary. We identify the limiting positions of vortices (that correspond to the singularities of the limiting currents) by deriving tight upper and lower energy bounds. The key ingredient of our approach is the study of various terms in the Bogomol'nyi's representation of the energy functional.     

Quasisymmetric geometry of the Julia sets of McMullen maps

We study the quasisymmetric geometry of the Julia sets of McMullen maps f_λ(z) = z^m + λ/z^?, where λ ∈ ? {0} and ? and m are positive integers satisfying 1/?+1/m < 1. If the free critical points of f_λ are escaped to the infinity, we prove that the Julia set J_λ of f_λ is quasisymmetrically equivalent to either a standard Cantor set, a standard Cantor set of circles or a round Sierpiński carpet (which is also standard in some sense). If the free critical points are not escaped, we give a suffcient condition on λ such that J_λ is a Sierpiński carpet and prove that most of them are quasisymmetrically equivalent to some round carpets. In particular, there exist infinitely renormalizable rational maps whose Julia sets are quasisymmetrically equivalent to the round carpets.     

Strong convergence theorems for maximal monotone mappings in Banach spaces

Let E be a uniformly convex and 2-uniformly smooth real Banach space with dual E^∗. Let be a Lipschitz continuous monotone mapping with A⁻¹(0)≠∅. For given u,x₁∈E, let {xn} be generated by the algorithm xn+1:=βnu+(1−βn)(xn−αnAJxn), n?1, where J is the normalized duality mapping from E into E^∗ and {λn} and {θn} are real sequences in (0,1) satisfying certain conditions. Then it is proved that, under some mild conditions, {xn} converges strongly to x^∗∈E where Jx^∗∈A⁻¹(0). Finally, we apply our convergence theorems to the convex minimization problems.     

The parabolic map f1/e(z)=(1/e)e

We consider the exponential maps ?_λ : ? → ? defined by the formula ?_λ (z) = λe^z, λ(0,1/e]. Let J_r(?_λ) be the subset of the Julia set consisting of points that do not escape to infinity under forward iterates of ?. Our main result is that the function λh_λ :=HD(J_r(?_λ),)), λ(0, 1/e], is continuons at the point 1/e. As a preparation for this result we deal with the map ?₁/e itself. We prove that the h₁/e-dimensional Hausdorff measure of J_r(?₁/e) is positive and finite on each horizontal strip, and that the h₁/e-dimensional packing measure of J_r(?_λ) is locally infinite at each point of J_r(?_λ). Our main technical devices are formed by the, associated with ?_λ, maps F_λ defined on some strip P of height 2π and also associated with them tonformal measures.     

Solutions of the Cheeger problem via torsion functions

The Cheeger problem for a bounded domain Ω⊂RN, N>1 consists in minimizing the quotients |∂E|/|E| among all smooth subdomains E⊂Ω and the Cheeger constant h(Ω) is the minimum of these quotients. Let be the p-torsion function, that is, the solution of torsional creep problem −Δp?p=1 in Ω, ?p=0 on ∂Ω, where Δpu:=div(|∇u|^p−2∇u) is the p-Laplacian operator, p>1. The paper emphasizes the connection between these problems. We prove that . Moreover, we deduce the relation limp→¹⁺‖?p_‖L¹(Ω)?CNlimp→¹⁺‖?p_‖L^∞(Ω) where CN is a constant depending only of N and h(Ω), explicitely given in the paper. An eigenfunction u∈BV(Ω)∩L^∞(Ω) of the Dirichlet 1-Laplacian is obtained as the strong L¹ limit, as p→¹⁺, of a subsequence of the family {?p/‖?p_‖L¹(Ω)}_p>1. Almost all t-level sets Et of u are Cheeger sets and our estimates of u on the Cheeger set |E₀| yield |B₁|hN(B₁)?|E₀|hN(Ω), where B₁ is the unit ball in RN. For Ω convex we obtain u=|E₀|⁻¹χE₀.     

On an eigenvalue problem involving variable exponent growth conditions

We study the problem in Ω, u=0 on ∂Ω, where Ω is a bounded domain in R^N, is a continuous function and λ and ε are two positive constants. We prove that for any ε>0 each λ∈(0,λ₁) is an eigenvalue of the above problem, where λ₁ is the principal eigenvalue of the Laplace operator on Ω. Moreover, for each eigenvalue λ∈(0,λ₁) it corresponds a unique eigenfunction. The proofs will be based on the Banach fixed point theorem combined with adequate variational techniques.     

A uniqueness result for a semilinear elliptic problem: A computer-assisted proof

Starting with the famous article [A. Gidas, W.M. Ni, L. Nirenberg, Symmetry and related properties via the maximum principle, Comm. Math. Phys. 68 (1979) 209-243], many papers have been devoted to the uniqueness question for positive solutions of −Δu=λu+up in Ω, u=0 on ∂Ω, where p>1 and λ ranges between 0 and the first Dirichlet eigenvalue λ₁(Ω) of −Δ. For the case when Ω is a ball, uniqueness could be proved, mainly by ODE techniques. But very little is known when Ω is not a ball, and then only for λ=0. In this article, we prove uniqueness, for all λ∈[0,λ₁(Ω)), in the case Ω=²(0,1) and p=2. This constitutes the first positive answer to the uniqueness question in a domain different from a ball. Our proof makes heavy use of computer assistance: we compute a branch of approximate solutions and prove existence of a true solution branch close to it, using fixed point techniques. By eigenvalue enclosure methods, and an additional analytical argument for λ close to λ₁(Ω), we deduce the non-degeneracy of all solutions along this branch, whence uniqueness follows from the known bifurcation structure of the problem.     

Friedrichs extensions of Schrödinger operators with singular potentials

The Friedrichs extension for the generalized spiked harmonic oscillator given by the singular differential operator −d²/dx²+Bx²+Ax⁻²+λx^−α (B>0, A?0) in L₂(0,∞) is studied. We look at two different domains of definition for each of these differential operators in L₂(0,∞), namely C₀^∞(0,∞) and D(T_2,F)∩D(M_λ,α), where the latter is a subspace of the Sobolev space W_2,2(0,∞). Adjoints of these differential operators on C₀^∞(0,∞) exist as result of the null-space properties of functionals. For the other domain, convolutions and Jensen and Minkowski integral inequalities, density of C₀^∞(0,∞) in D(T_2,F)∩D(M_λ,α) in L₂(0,∞) lead to the other adjoints. Further density properties C₀^∞(0,∞) in D(T_2,F)∩D(M_λ,α) yield the Friedrichs extension of these differential operators with domains of definition D(T_2,F)∩D(M_λ,α).     

Asymptotic expansions of the ordered spectrum of symmetric matrices

In this work, we build on ideas of Torki (2001 [6]) and show that if a symmetric matrix-valued map t?A(t) has a one-sided asymptotic expansion at t=0⁺ of order K then so does t?λ_m(A(t)), where λ_m is the mth largest eigenvalue. We derive formulas for computing the coefficients A₀,A₁,…,A_K in the asymptotic expansion. As an application of the approach we give a new proof of a classical result due to Kato (1976 [3]) about the one-sided analyticity of the ordered spectrum under analytic perturbations. Finally, as a demonstration of the derived formulas, we compute the first three terms in the asymptotic expansion of λ_m(A+tE) for any fixed symmetric matrices A and E.     

Kernel theorems in the setting of mixed nonquasi-analytic classes

Let Ω₁⊂Rr and Ω₂⊂Rs be nonempty and open. We introduce the Beurling-Roumieu spaces D(ω₁,ω₂}(Ω₁×Ω₂), D(M,M^′}(Ω₁×Ω₂) and obtain tensor product representations of them. This leads for instance to kernel theorems of the following type: every continuous linear map from the Beurling space D(ω₁)(Ω₁) (respectively D(M)(Ω₁)) into the strong dual of the Roumieu space D{ω₂}(Ω₂) (respectively D{M^′}(Ω₂)) can be represented by a continuous linear functional on D(ω₁,ω₂}(Ω₁×Ω₂) (respectively D(M,M^′}(Ω₁×Ω₂)).     

Quantitative unique continuation for the semilinear heat equation in a convex domain

In this paper, we study certain unique continuation properties for solutions of the semilinear heat equation t_∂u−△u=g(u), with the homogeneous Dirichlet boundary condition, over Ω×(0,T_∗). Ω is a bounded, convex open subset of Rd, with a smooth boundary for the subset. The function g:R→R satisfies certain conditions. We establish some observation estimates for (u−v), where u and v are two solutions to the above-mentioned equation. The observation is made over ω×{T}, where ω is any non-empty open subset of Ω, and T is a positive number such that both u and v exist on the interval [0,T]. At least two results can be derived from these estimates: (i) if ‖(u−v)(⋅,T)_‖L²(ω)=δ, then ‖(u−v)(⋅,T)_‖L²(Ω)?Cδα where constants C>0 and α∈(0,1) can be independent of u and v in certain cases; (ii) if two solutions of the above equation hold the same value over ω×{T}, then they coincide over Ω×[0,Tm). Tm indicates the maximum number such that these two solutions exist on [0,Tm).     

Boundary behaviour of the unique solution to a singular Dirichlet problem with a convection term

By Karamata regular variation theory and constructing comparison functions, we derive that the boundary behaviour of the unique solution to a singular Dirichlet problem −Δu=b(x)g(u)+λq|∇u|, u>0, x∈Ω, u_|∂Ω=0, which is independent of λq|∇uλ|, where Ω is a bounded domain with smooth boundary in RN, λ∈R, q∈(0,2], lims→⁰⁺g(s)=+∞, and b is non-negative on Ω, which may be vanishing on the boundary.     

Uniqueness and Flat Core of Positive Solutions for Quasilinear Elliptic Eigenvalue Problems in General Smooth Domains

The structure of positive solutions to the quasilinear elliptic problems –div(|Du|^p–2Du = λf(u) in Ω, u = 0 on ∂Ω, p > 1, Ω ⊂ R^Na bounded smooth domain, is precisely studied when λ is sufficiently large, for a class of logistic‐type nonlinearities f(u) satisfying that f(0) = f(a) = 0, a > 0, f(u) > 0 for u ∈ (0,a), , while u = a is a zero point of f with order ω. It is shown that if ω ≥ p – 1, the problem has a unique positive solution u_λ with sup _Ω u_λ < a, which develops a boundary layer near ∂Ω. It is shown that if 0 < ω < p – 1, the problem also has a unique positive solution u _λ, but the flat core {x ∈ Ω : u_λ(x) = a} ≠ ∅︁ exists. Moreover, the asymptotic behaviour of the flat core is studied as λ → ∞.     

On a conjecture by D. Ž. D̄okovic

It is shown that if $\text{A?Ω}{}_{\mathrm{n}}\text{?{J}{}_{\mathrm{n}}\text{}}$ satisfies

$\text{nkσ}{}_{\mathrm{k}}\text{(A)?(n?k+1)}{}^2\text{σ}{}_{\mathrm{k?1}}\text{(A)}$

$\text{(k=1,2,…,n)}$

, where σ_k(A) denotes the sum of all kth order subpermanent of A, then Per[λJ_n+(1?λ)A] is strictly decreasing in the interval 0<λ<1.     

Maps preserving peripheral spectrum of Jordan semi-triple products of operators

Let A and B be (not necessarily unital or closed) standard operator algebras on complex Banach spaces X and Y, respectively. For a bounded linear operator A on X, the peripheral spectrum σ_π(A) of A is the set σ_π(A)={z∈σ(A):|z|=max_ω∈σ(A)|ω|}, where σ(A) denotes the spectrum of A. Assume that Φ:A→B is a map the range of which contains all operators of rank at most two. It is shown that the map Φ satisfies the condition that σ_π(BAB)=σ_π(Φ(B)Φ(A)Φ(B)) for all A,B∈A if and only if there exists a scalar λ∈C with λ³=1 and either there exists an invertible operator T∈B(X,Y) such that Φ(A)=λTAT^-1 for every A∈A; or there exists an invertible operator T∈B(X^∗,Y) such that Φ(A)=λTA^∗T^-1 for every A∈A. If X=H and Y=K are complex Hilbert spaces, the maps preserving the peripheral spectrum of the Jordan skew semi-triple product BA^∗B are also characterized. Such maps are of the form A?UAU^∗ or A?UA^tU^∗, where U∈B(H,K) is a unitary operator, A^t denotes the transpose of A in an arbitrary but fixed orthonormal basis of H.     

Some results about the approximate controllability property for quasilinear diffusion equations

We study the approximate controllability property for y_t - δ(y) = uχ_w, on Ω × (0, T), where Ω is a bounded open set of ℝ^N and ω ⊂Ω. First, we show some negative results for the case (s) = |s|^m-1s, 0 < m < 1, by means of an obstruction phenomenon. In a second part, we obtain a positive answer on the space H^−1−γ (Ω), for any γ > 0, for a class of functions φ essentially linear at infinity, by using a higher order vanishing viscosity argument.