Elliptic boundary value problems for Bessel operators,with applications to anti-de Sitter spacetimes

This paper considers boundary value problems for a class of singular elliptic operators that appear naturally in the study of asymptotically anti-de Sitter (aAdS) spacetimes. These problems involve a singular Bessel operator acting in the normal direction. After formulating a Lopatinski?? condition, elliptic estimates are established for functions supported near the boundary. The Fredholm property follows from additional hypotheses in the interior. This paper provides a rigorous framework for mode analysis on aAdS spacetimes for a wide range of boundary conditions considered in the physics literature. Completeness of eigenfunctions for some Bessel operator pencils is shown.     

Localization on the Boundary of Blow-up for Reaction–Diffusion Equations with Nonlinear Boundary Conditions

Abstract

In this work we analyze the existence of solutions that blow-up in finite time for a reaction–diffusion equation u _t  ? Δu = f(x, u) in a smooth domain Ω with nonlinear boundary conditions ?u/?n = g(x, u). We show that, if locally around some point of the boundary, we have f(x, u) = ?βu ^p , β ≥ 0, and g(x, u) = u ^q then, blow-up in finite time occurs if 2q > p + 1 or if 2q = p + 1 and β < q. Moreover, if we denote by T _b the blow-up time, we show that a proper continuation of the blowing up solutions are pinned to the value infinity for some time interval [T, τ] with T _b  ≤ T < τ. On the other hand, for the case f(x, u) = ?βu ^p , for all x and u, with β > 0 and p > 1, we show that blow-up occurs only on the boundary.     

The Ambrosetti–Prodi Problem for the p-Laplace Operator

In this work we study the existence of a solution for the problem ? Δ _p u = f(u) + tΦ(x) + h(x), with homogeneous Dirichlet boundary conditions. Here the nonlinear term f(u) is a so-called jumping nonlinearity. In the proofs we use topological arguments and the sub-supersolutions method, together with comparison principles for the p-Laplacian.     

Inverse Spectral Problems in Rectangular Domains

We consider the Schrödinger operator ? Δ + q in domains of the form R = {x ∈ ? ⁿ : 0 ≤ x _i  ≤ a _i , i = 1,…, n} with either Dirichlet or Neumann boundary conditions on the faces of R, and study the constraints on q imposed by fixing the spectrum of ? Δ + q with these boundary conditions. We work in the space of potentials, q, which become real-analytic on ? ⁿ when they are extended evenly across the coordinate planes and then periodically. Our results have the corollary that there are no continuous isospectral deformations for these operators within that class of potentials. This work is based on new formulas for the trace of the wave group in this setting. In addition to the inverse spectral results these formulas lead to asymptotic expansions for the traces of the wave and heat kernels on rectangular domains.     

Nonexistence of Global Solutions to Nonlinear Stochastic Wave Equations in Mean L p -Norm

This article is concerned with explosive solutions of the initial-boundary problem for a class of nonlinear stochastic wave equations in a domain 𝒟 ? ? ^d . Under appropriate conditions on the initial data, the nonlinear term and the noise intensity, it is proved in Theorem 3.4 that there cannot exist a global solution and the local solution will blow up at a finite time in the mean L ^p  ? norm for p ≥ 1. An example is given to show the application of this theorem.     

Small Data Scattering for the One-Dimensional Nonlinear Dirac Equation with Power Nonlinearity

We study scattering problems for the one-dimensional nonlinear Dirac equation (?_t + α?_x + iβ)Φ = λ|Φ|^p?1Φ. We prove that if p > 3 (resp. p > 3 + 1/6), then the wave operator (resp. the scattering operator) is well-defined on some 0-neighborhood of a weighted Sobolev space. In order to prove these results, we use linear operators D(t)xD(?t) and t?_x + x?_t ? α/2, where {D(t)}_t∈? is the free Dirac evolution group. For the reader's convenience, in an appendix we list and prove fundamental properties of D(t)xD(?t) and t?_x + x?_t ? α/2.     

Nonsmooth Neumann-Type Problems Involving the p-Laplacian

This paper deals with the problem ? Δ _p u + α(x)|u| ^p?2 u = β(x)f(|u|) in Ω, subjected to the zero Neumann boundary condition, where p > 1, Ω ? ? ^N is bounded with smooth boundary, α, β ? L ^∞(Ω), essinf_Ωβ > 0, and f:[0,+ ∞) → ? is a not necessarily continuous nonlinearity that oscillates either at the origin or at the infinity. By using nonsmooth variational methods, we establish in both cases the existence of infinitely many distinct non-negative solutions of the Neumann problem. In our framework, α:Ω → ? may be a sign-changing or even a nonpositive potential, which is not permitted usually in earlier works.     

Limit behaviour of solutions to equivalued surface boundary value problem for p‐Laplacian equations: II

In this paper (which is a continuation of Part‐I), we discuss the limit behaviour of solutions to boundary value problem with equivalued surface for p‐Laplacian equations in the case of 1<p?2?1/N when the equivalued surface boundary shrinks to a point in certain way. Copyright © 2001 John Wiley & Sons, Ltd.     

Improving the Rate of Convergence of High-Order Finite Elements on Polyhedra I: A Priori Estimates

ABSTRACT

Let 𝒯 _k be a sequence of triangulations of a polyhedron Ω ? ? ⁿ and let S _k be the associated finite element space of continuous, piecewise polynomials of degree m. Let u _k  ∈ S _k be the finite element approximation of the solution u of a second-order, strongly elliptic system Pu = f with zero Dirichlet boundary conditions. We show that a weak approximation property of the sequence S _k ensures optimal rates of convergence for the sequence u _k . The method relies on certain a priori estimates in weighted Sobolev spaces for the system Pu = 0 that we establish. The weight is the distance to the set of singular boundary points. We obtain similar results for the Poisson problem with mixed Dirichlet–Neumann boundary conditions on a polygon.     

On nonlinear boundary value problems for higher order functional difference equations with p-Laplacian

Sufficient conditions for the existence of solutions of nonlinear boundary value problems for higher order functional difference equations with p-Laplacian are established by using the continuation theorem. The result is proved without using the monotonicity of B _i (i=0,1). We allow f to be at most linear, superlinear or sublinear in obtained results.     

On the Unique Continuation Properties for Elliptic Operators with Singular Potentials

Let u be a solution to a second order elliptic equation with singular potentials belonging to Kato-Fefferman-Phong＇s class in Lipschitz domains. An elementary proof of the doubling property for u^2 over balls is presented, if the balls are contained in the domain or centered at some points near an open subset of the boundary on which the solution u vanishes continuously. Moreover, we prove the inner unique continuation theorems and the boundary unique continuation theorems for the elliptic equations, and we derive the Bp weight properties for the solution u near the boundary.     

Numerical solutions of boundary value problems for K-surfaces in R3

A K-surface is a surface whose Gauss curvature K is a positive constant. In this article, we will consider K-surfaces that are defined by a nonlinear boundary value problem. In this setting, existence follows from some recent results on nonlinear second-order elliptic partial differential equations. The analytical techniques used to establish these results motivate effective numerical methods for computing K-surfaces. In theory, the solvability of the boundary value problem reduces to the existence of a subsolution. In an analogous way, we find that if an approximate numerical subsolution can be determined, then the corresponding K-surface can be computed. We will consider two boundary value problems. In the first problem, the K-surface is a graph over a plane. In the second, the K-surface is a radial graph over a sphere. From certain geometrical considerations, it follows that there is a maximum Gauss curvature K_max for these problems. Using a continuation method, we estimate K_max and determine numerically the unique one-parameter family of K-surfaces that exist for K E (0,K_max). This is the first time that this numerical method has been applied to the nonlinear partial differential equations for a K -surface. Sharp estimates for K_max are not available analytically, except in special situations such as a surface of revolution, where the parametrization can be obtained explicitly in terms of elliptic functions. We find that our numerical estimates for K_max are in close agreement with the expected values in these cases. © 1996 John Wiley & Sons, Inc.     

On the Matrix Equation X = Q − S∗X†S

The positive semidefinite solutions of the nonlinear matrix equation X + S? X?S = Q are investigated. We consider an iterative method converges to a positive semidefinite solution of this equation under the condition Ker X ? Ker S?. The new results are illustrated by numerical examples.     

Multiple positive solutions of boundary value problems for second-order discrete equations on the half-line

In this paper, we study the existence of multiple positive solutions of boundary value problems for second-order discrete equations Δ² x(n ? 1) ? pΔx(n ? 1) ? qx(n ? 1)+f(n, x(n)) = 0, n ∈ {1,2,…}, αx(0) ? βΔx(0) = 0, x(∞) = 0. The proofs are based on the fixed point theorem in Fréchet space (see Agarwal and O'Regan, 2001, Cone compression and expansion and fixed point theorems in Fréchet spaces with application, Journal of Differential Equations, 171, 412–42).     

Unique continuation for positive solutions of degenerate elliptic equations

We establish the strong unique continuation property for positive weak solutions to degenerate quasilinear elliptic equations. The degeneracy is given by a suitable power of a strong A_∞ weight (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

A Principle for Critical Point Under Generalized Regular Constraint and Ill-Posed Lagrange Multipliers Under Nonregular Constraints

In this article, a kind of nonregular constraint and a principle for seeking critical point under the constraint are presented, where no Lagrange multiplier is involved. Let E, F be two Banach spaces, g: E → F a c ¹ map defined on an open set U in E, and the constraint S = the preimage g ^?1(y ₀), y ₀ ∈ F. A main deference between the nonregular constraint and regular constraint is that g′(x) at any x ∈ S is not surjective. Recently, the critical point theory under the nonregular constraint is a concerned focus in optimization theory. The principle also suits the case of regular constraint. Coordinately, the generalized regular constraint is introduced and the critical point principle on generalized regular constraint is established. Let f: U → ? be a nonlinear functional. While the Lagrange multiplier L in classical critical point principle is considered, its expression is given by using generalized inverse g′⁺(x) of g′(x) as follows: if x ∈ S is a critical point of f| _S , then L = f′(x) ○ g′⁺(x) ∈ F*. Moreover, it is proved that if S is a regular constraint, then the Lagrange multiplier L is unique; otherwise, L is ill-posed. Hence, in case of the nonregular constraint, it is very difficult to solve Euler equations; however, it is often the case in optimization theory. So the principle here seems to be new and applicable. By the way, the following theorem is proved: if A ∈ B(E, F) is double split, then the set of all generalized inverses of A, GI(A) is smooth diffeomorphic to certain Banach space. This is a new and interesting result in generalized inverse analysis.     

Noncyclic Graph of a Group

We associate a graph Γ _G to a nonlocally cyclic group G (called the noncyclic graph of G) as follows: take G\ Cyc(G) as vertex set, where Cyc(G) = {x ? G| 〈x, y〉 is cyclic for all y ? G}, and join two vertices if they do not generate a cyclic subgroup. We study the properties of this graph and we establish some graph theoretical properties (such as regularity) of this graph in terms of the group ones. We prove that the clique number of Γ _G is finite if and only if Γ _G has no infinite clique. We prove that if G is a finite nilpotent group and H is a group with Γ _G  ? Γ _H and |Cyc(G)| = |Cyc(H)| = 1, then H is a finite nilpotent group. We give some examples of groups G whose noncyclic graphs are “unique”, i.e., if Γ _G  ? Γ _H for some group H, then G ? H. In view of these examples, we conjecture that every finite nonabelian simple group has a unique noncyclic graph. Also we give some examples of finite noncyclic groups G with the property that if Γ _G  ? Γ _H for some group H, then |G| = |H|. These suggest the question whether the latter property holds for all finite noncyclic groups.