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.     

Positive solutions of Lane-Emden systems with negative exponents: Existence, boundary behavior and uniqueness

We study the existence, boundary behavior and uniqueness of solutions for the singular elliptic system −Δu=u^−pv^−q,−Δv=u^−rv^−s,u>0,v>0,x∈Ω,u|_∂Ω=v|_∂Ω=0, where Ω is a bounded domain with smooth boundary in R^N, p,s≥0 and q,r>0. Our results are obtained in a range of p,q,r,s different from those in [M. Ghergu, Lane-Emden systems with negative exponents, J. Funct. Anal. 258 (2010) 3295-3318].     

Existence and multiplicity of solutions for quasilinear nonhomogeneous problems: An Orlicz-Sobolev space setting

We study the boundary value problem −div(log(1+q|∇u|)|∇u|^p−2∇u)=f(u) in Ω, u=0 on ∂Ω, where Ω is a bounded domain in RN with smooth boundary. We distinguish the cases where either f(u)=−λ|u|^p−2u+|u|^r−2u or f(u)=λ|u|^p−2u−|u|^r−2u, with p, q>1, p+q<min{N,r}, and r<(Np−N+p)/(N−p). In the first case we show the existence of infinitely many weak solutions for any λ>0. In the second case we prove the existence of a nontrivial weak solution if λ is sufficiently large. Our approach relies on adequate variational methods in Orlicz-Sobolev spaces.     

Boundary blow-up solutions to elliptic systems of competitive type

We consider the elliptic system Δu=u^pv^q, Δv=u^rv^s in Ω, where p,s>1, q,r>0, and Ω⊂R^N is a smooth bounded domain, subject to different types of Dirichlet boundary conditions: (F) u=λ, v=μ, (I) u=v=+∞ and (SF) u=+∞, v=μ on ∂Ω, where λ,μ>0. Under several hypotheses on the parameters p,q,r,s, we show existence and nonexistence of positive solutions, uniqueness and nonuniqueness. We further provide the exact asymptotic behaviour of the solutions and their normal derivatives near ∂Ω. Some more general related problems are also studied.     

An elliptic system with bifurcation parameters on the boundary conditions

In this paper we consider the elliptic system Δu=a(x)upvq, Δv=b(x)urvs in Ω, a smooth bounded domain, with boundary conditions , on ∂Ω. Here λ and μ are regarded as parameters and p,s>1, q,r>0 verify (p−1)(s−1)>qr. We consider the case where a(x)?0 in Ω and a(x) is allowed to vanish in an interior subdomain Ω₀, while b(x)>0 in . Our main results include existence of nonnegative nontrivial solutions in the range 0<λ<λ₁?∞, μ>0, where λ₁ is characterized by means of an eigenvalue problem, and the uniqueness of such solutions. We also study their asymptotic behavior in all possible cases: as both λ,μ→0, as λ→λ₁<∞ for fixed μ (respectively μ→∞ for fixed λ) and when both λ,μ→∞ in case λ₁=∞.     

A remark on uniqueness of large solutions for elliptic systems of competitive type

We prove that the semilinear system Δu=a(x)upvq, Δv=b(x)urvs in a smooth bounded domain Ω⊂RN has a unique positive solution with the boundary condition u=v=+∞ on ∂Ω, provided that p,s>1, q,r>0 and (p−1)(s−1)−qr>0. The main novelty is imposing a growth on the possibly singular weights a(x), b(x) near ∂Ω, rather than requiring them to have a precise asymptotic behavior.     

Boundary singularities of solutions of N-harmonic equations with absorption

We study the boundary behaviour of solutions u of −ΔNu+|u|^q−1u=0 in a bounded smooth domain Ω⊂RN subject to the boundary condition u=0 except at one point, in the range q>N−1. We prove that if q?2N−1 such an u is identically zero, while, if N−1<q<2N−1, u inherits a boundary behaviour which either corresponds to a weak singularity, or to a strong singularity. Such singularities are effectively constructed.     

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.     

Complete quenching for singular parabolic problems

We prove finite time extinction of the solution of the equation ut−Δu+χ{u>0}(u−β−λf(u))=0 in Ω×(0,∞) with boundary data u(x,t)=0 on ∂Ω×(0,∞) and initial condition u(x,0)=u₀(x) in Ω, where Ω⊂RN is a bounded smooth domain, 0<β<1 and λ>0 is a parameter. For every small enough λ>0 there exists a time t₀>0 such that the solution is identically equal to zero.     

Semilinear elliptic problems near resonance with a nonprincipal eigenvalue

We consider the Dirichlet problem for the equation −Δu=λu±f(x,u)+h(x) in a bounded domain, where f has a sublinear growth and h∈L². We find suitable conditions on f and h in order to have at least two solutions for λ near to an eigenvalue of −Δ. A typical example to which our results apply is when f(x,u) behaves at infinity like a(x)|u|^q−2u, with M>a(x)>δ>0, and 1<q<2.     

Multiple positive solutions to a singular boundary value problem for a superlinear Emden-Fowler equation

A multiplicity result for the singular ordinary differential equation y^″+λx⁻²yσ=0, posed in the interval (0,1), with the boundary conditions y(0)=0 and y(1)=γ, where σ>1, λ>0 and γ?0 are real parameters, is presented. Using a logarithmic transformation and an integral equation method, we show that there exists Σ^?∈(0,σ/2] such that a solution to the above problem is possible if and only if λγσ−1?Σ^?. For 0<λγσ−1<Σ^?, there are multiple positive solutions, while if γ=(λ⁻¹Σ^?)^1/(σ−1) the problem has a unique positive solution which is monotonic increasing. The asymptotic behavior of y(x) as x→⁰⁺ is also given, which allows us to establish the absence of positive solution to the singular Dirichlet elliptic problem −Δu=d⁻²(x)uσ in Ω, where Ω⊂RN, N?2, is a smooth bounded domain and d(x)=dist(x,∂Ω).     

Scalar conservation laws with general boundary condition and continuous flux function

We introduce a notion of entropy solution for a scalar conservation law on a bounded domain with nonhomogeneous boundary condition: ut+divΦ(u)=f on Q=(0,T)×Ω, u(0,⋅)=u₀ on Ω and “u=a on some part of the boundary (0,T)×∂Ω.” Existence and uniqueness of the entropy solution is established for any Φ∈C(R;RN), u₀∈L^∞(Ω), f∈L^∞(Q), a∈L^∞((0,T)×∂Ω). In the L¹-setting, a corresponding result is proved for the more general notion of renormalised entropy solution.     

Universal self-similarity of porous media equation with absorption: the critical exponent case

In this paper we study the large time behavior of non-negative solutions to the Cauchy problem of u_t=Δu^m−u^q in R^N×(0,∞), where m>1 and q=q_c≡m+2/N is a critical exponent. For non-negative initial value u(x,0)=u₀(x)∈L¹(R^N), we show that the solution converges, if u₀(x)(1+|x|)^k is bounded for some k>N, to a unique fundamental solution of u_t=Δu^m, independent of the initial value, with additional logarithmic anomalous decay exponent in time as t→∞.     

Labeling bipartite permutation graphs with a condition at distance two

An L(p,q)-labeling of a graph G is an assignment f from vertices of G to the set of non-negative integers {0,1,…,λ} such that |f(u)−f(v)|≥p if u and v are adjacent, and |f(u)−f(v)|≥q if u and v are at distance 2 apart. The minimum value of λ for which G has L(p,q)-labeling is denoted by λ_p,q(G). The L(p,q)-labeling problem is related to the channel assignment problem for wireless networks.In this paper, we present a polynomial time algorithm for computing L(p,q)-labeling of a bipartite permutation graph G such that the largest label is at most (2p−1)+q(bc(G)−2), where bc(G) is the biclique number of G. Since λ_p,q(G)≥p+q(bc(G)−2) for any bipartite graph G, the upper bound is at most p−1 far from optimal.     

Hamilton cycles in digraphs of unitary matrices

A set S⊆V is called a q⁺-set (q^--set, respectively) if S has at least two vertices and, for every u∈S, there exists v∈S,v≠u such that N⁺(u)∩N⁺(v)≠∅ (N^-(u)∩N^-(v)≠∅, respectively). A digraph D is called s-quadrangular if, for every q⁺-set S, we have |∪{N⁺(u)∩N⁺(v):u≠v,u,v∈S}|?|S| and, for every q^--set S, we have |∪{N^-(u)∩N^-(v):u,v∈S)}?|S|. We conjecture that every strong s-quadrangular digraph has a Hamilton cycle and provide some support for this conjecture.     

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).     

Isolated singularities for weighted quasilinear elliptic equations

We classify all the possible asymptotic behavior at the origin for positive solutions of quasilinear elliptic equations of the form div(|∇u|^p−2∇u)=b(x)h(u) in Ω?{0}, where 1<p?N and Ω is an open subset of RN with 0∈Ω. Our main result provides a sharp extension of a well-known theorem of Friedman and Véron for h(u)=uq and b(x)≡1, and a recent result of the authors for p=2 and b(x)≡1. We assume that the function h is regularly varying at ∞ with index q (that is, limt→∞h(λt)/h(t)=λq for every λ>0) and the weight function b(x) behaves near the origin as a function b₀(|x|) varying regularly at zero with index θ greater than −p. This condition includes b(x)=θ|x| and some of its perturbations, for instance, b(x)=θ|x|m(−log|x|) for any m∈R. Our approach makes use of the theory of regular variation and a new perturbation method for constructing sub- and super-solutions.     

Isolated singularities of solutions to quasi-linear elliptic equations with absorption

We study the problem of removability of isolated singularities for a general second-order quasi-linear equation in divergence form −divA(x,u,∇u)+a₀(x,u)+g(x,u)=0 in a punctured domain Ω?{0}, where Ω is a domain in Rn, n?3. The model example is the equation −Δpu+gu|u|^p−2+u|u|^q−1=0, q>p−1>0, p<n. Assuming that the lower-order terms satisfy certain non-linear Kato-type conditions, we prove that for all point singularities of the above equation are removable, thus extending the seminal result of Brezis and Véron.     

Some paranormed sequence spaces of non-absolute type derived by weighted mean

The sequence spaces ?_∞(p), c(p) and c₀(p) were introduced and studied by Maddox [I.J. Maddox, Paranormed sequence spaces generated by infinite matrices, Proc. Cambridge Philos. Soc. 64 (1968) 335-340]. In the present paper, the sequence spaces λ(u,v;p) of non-absolute type which are derived by the generalized weighted mean are defined and proved that the spaces λ(u,v;p) and λ(p) are linearly isomorphic, where λ denotes the one of the sequence spaces ?_∞, c or c₀. Besides this, the β- and γ-duals of the spaces λ(u,v;p) are computed and the basis of the spaces c₀(u,v;p) and c(u,v;p) is constructed. Additionally, it is established that the sequence space c₀(u,v) has AD property and given the f-dual of the space c₀(u,v;p). Finally, the matrix mappings from the sequence spaces λ(u,v;p) to the sequence space μ and from the sequence space μ to the sequence spaces λ(u,v;p) are characterized.     

Concentration on minimal submanifolds for a singularly perturbed Neumann problem

We consider the equation −ε²Δu+u=up in Ω⊆RN, where Ω is open, smooth and bounded, and we prove concentration of solutions along k-dimensional minimal submanifolds of ∂Ω, for N?3 and for k∈{1,…,N−2}. We impose Neumann boundary conditions, assuming 1<p<(N−k+2)/(N−k−2) and ε→⁰⁺. This result settles in full generality a phenomenon previously considered only in the particular case N=3 and k=1.