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.     

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.     

Inverse Problems for Time-Dependent Singular Heat Conductivities: Multi-Dimensional Case

We consider an inverse boundary value problem for the heat equation ? _t u = div (γ? _x u) in (0, T) × Ω, u = f on (0, T) × ?Ω, u| _t=0 = u ₀, in a bounded domain Ω ? ? ⁿ , n ≥ 2, where the heat conductivity γ(t, x) is piecewise constant and the surface of discontinuity depends on time: γ(t, x) = k ² (x ∈ D(t)), γ(t, x) = 1 (x ∈ Ω?D(t)). Fix a direction e* ∈ 𝕊 ^n?1 arbitrarily. Assuming that ?D(t) is strictly convex for 0 ≤ t ≤ T, we show that k and sup {e*·x; x ∈ D(t)} (0 ≤ t ≤ T), in particular D(t) itself, are determined from the Dirichlet-to-Neumann map : f → ?_ν u(t, x)|_{(0, T)×?Ω}. The knowledge of the initial data u ₀ is not used in the proof. If we know min_0≤t≤T (sup _x∈D(t) x·e*), we have the same conclusion from the local Dirichlet-to-Neumann map. Numerical examples of stationary and moving circles inside the unit disk are shown. The results have applications to nondestructive testing. Consider a physical body consisting of homogeneous material with constant heat conductivity except for a moving inclusion with different conductivity. Then the location and shape of the inclusion can be monitored from temperature and heat flux measurements performed at the boundary of the body. Such a situation appears for example in blast furnaces used in ironmaking.     

Unboundedness of the large solutions of some asymmetric oscillators at resonance

In this paper, we consider the unboundedness of solutions of the following differential equation (φ_p(x′))′ + (p ? 1)[αφ_p(x⁺) ? βφ_p(x^?)] = f(x)x′ + g(x) + h(x) + e(t) where φ_p(u) = |u|^{p? 2} u, p > 1, x^± = max {±x, 0}, α and β are positive constants satisfying with m, n ∈ N and (m, n) = 1, f and g are continuous and bounded functions such that lim_x→±∞g(x) ? g(±∞) exists and h has a sublinear primitive, e(t) is 2π_p‐periodic and continuous. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Boundedness in nonlinear oscillations

In this paper, the boundedness of all solutions of the nonlinear differential equation (φ_p(x′))′ + αφ_p(x⁺) – βφ_p(x^–) + f(x) = e(t) is studied, where φ_p(u) = |u|^p–2 u, p ≥ 2, α, β are positive constants such that = 2w^–1 with w ∈ ?⁺\?, f is a bounded C⁵ function, e(t) ∈ C⁶ is 2π_p‐periodic, x⁺ = max{x, 0}, x^– = max{–x, 0}. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Commuting Values of Generalized Derivations on Multilinear Polynomials

Let K be a commutative ring with unity, R a prime K-algebra of characteristic different from 2, U the right Utumi quotient ring of R, f(x ₁,…, x _n ) a noncentral multilinear polynomial over K, and G a nonzero generalized derivation of R. Denote f(R) the set of all evaluations of the polynomial f(x ₁,…, x _n ) in R. If [G(u)u, G(v)v] = 0, for any u, v ∈ f(R), we prove that there exists c ∈ U such that G(x) = cx, for all x ∈ R and one of the following holds: 1. f(x ₁,…, x _n )² is central valued on R;

2. R satisfies s ₄, the standard identity of degree 4.

     

Distance Functions and Almost Global Solutions of Eikonal Equations

Consider a function u defined on  ⁿ , except, perhaps, on a closed set of potential singularities . Suppose that u solves the eikonal equation ‖Du‖ = 1 in the pointwise sense on  ⁿ \, where Du denotes the gradient of u and ‖·‖ is a norm on  ⁿ with the dual norm ‖·‖_?. For a class of norms which includes the standard p-norms on  ⁿ , 1 < p < ∞, we show that if  has Hausdorff 1-measure zero and n ≥ 2, then u is either affine or a “cone function,” that is, a function of the form u(x) = a ± ‖x ? z‖_?.     

Finite free resolutions of length two and koszul generalized complex

Abstract

In 1956, Ehrenfeucht proved that a polynomial f ₁(x ₁) + · + f _n (x _n ) with complex coefficients in the variables x ₁, …, x _n is irreducible over the field of complex numbers provided the degrees of the polynomials f ₁(x ₁), …, f _n (x _n ) have greatest common divisor one. In 1964, Tverberg extended this result by showing that when n ≥ 3, then f ₁(x ₁) + · + f _n (x _n ) belonging to K[x ₁, …, x _n ] is irreducible over any field K of characteristic zero provided the degree of each f _i is positive. Clearly a polynomial F = f ₁(x ₁) + · + f _n (x _n ) is reducible over a field K of characteristic p ≠ 0 if F can be written as F = (g ₁(x ₁)) ^p  + (g ₂(x ₂)) ^p  + · + (g _n (x _n )) ^p  + c[g ₁(x ₁) + g ₂(x ₂) + · + g _n (x _n )] where c is in K and each g _i (x _i ) is in K[x _i ]. In 1966, Tverberg proved that the converse of the above simple fact holds in the particular case when n = 3 and K is an algebraically closed field of characteristic p > 0. In this article, we prove an extension of Tverberg's result by showing that this converse holds for any n ≥ 3.     

Principal Eigenvalues and Anti – Maximum Principle for Some Quasilinear Elliptic Equations on ℝN

We improve some previous existence and nonexistence results for positive principal eigenvalues of the problem —Δ_pu = λg(x)ψ^p(u), x ∈ ℝ^N, lim_{‖x‖⇒+∞}u(x) = 0. Also we discuss existence, nonexistence and antimaximum principle questions concerning the perturbed problem —Δ_pu = λg(x)ψ^p(u) + f(x), x∈ ℝ^N.     

Spreading Properties and Complex Dynamics for Monostable Reaction–Diffusion Equations

This paper is concerned with the study of the large-time behavior of the solutions u of a class of one-dimensional reaction–diffusion equations with monostable reaction terms f, including in particular the classical Fisher-KPP nonlinearities. The nonnegative initial data u ₀(x) are chiefly assumed to be exponentially bounded as x tends to + ∞ and separated away from the unstable steady state 0 as x tends to ? ∞. On the one hand, we give some conditions on u ₀ which guarantee that, for some λ > 0, the quantity c _λ = λ +f′(0)/λ is the asymptotic spreading speed, in the sense that lim  _t→+∞ u(t, ct) = 1 (the stable steady state) if c < c _λ and lim  _t→+∞ u(t, ct) = 0 if c > c _λ. These conditions are fulfilled in particular when u ₀(x) e ^λx is asymptotically periodic as x → + ∞. On the other hand, we also construct examples where the spreading speed is not uniquely determined. Namely, we show the existence of classes of initial conditions u ₀ for which the ω-limit set of u(t, ct + x) as t tends to + ∞ is equal to the whole interval [0, 1] for all x ∈ ? and for all speeds c belonging to a given interval (γ₁, γ₂) with large enough γ₁ < γ₂ ≤ + ∞.     

Existence of boundary blow-up solutions for a quasilinear elliptic equation

In this paper, the existence of solution for a class of quasilinear elliptic problem div(|? u| ^p?2 ? u)=a(x)f(u), u≥0 in Ω=B (the unit ball), with the boundary blow-up condition u| _?Ω=+∞ is established, where a(x)∈C(Ω) blows up on ?Ω,p>1 and f is assumed to satisfy (f ₁) and (f ₂). The results are obtained by using sub-supersolution methods.     

Boundary blow-up solutions of <Emphasis Type="Italic">p</Emphasis>-Laplacian elliptic equations with lower order terms

We study the existence, uniqueness, and asymptotic behavior of blow-up solutions for a general quasilinear elliptic equation of the type ?Δ _p u = a(x)u ^m ?b(x)f(u) with p >  1 and 0 <  m <  p?1. The main technical tool is a new comparison principle that enables us to extend arguments for semilinear equations to quasilinear ones. Indeed, this paper is an attempt to generalize all available results for the semilinear case with p =  2 to the quasilinear case with p >  1.     

Bifurcation for Quasilinear Elliptic Singular BVP

For a continuous function g ≥ 0 on (0, + ∞) (which may be singular at zero), we confront a quasilinear elliptic differential operator with natural growth in ?u, ? Δu + g(u)|?u|², with a power type nonlinearity, λu ^p  + f ₀(x). The range of values of the parameter λ for which the associated homogeneous Dirichlet boundary value problem admits positive solutions depends on the behavior of g and on the exponent p. Using bifurcations techniques we deduce sufficient conditions for the boundedness or unboundedness of the cited range.     

带非局部源的退化半线性抛物方程的解的爆破性质

This paper deals with the blow-up properties of the positive solutions to the nonlocal degenerate semilinear parabolic equation u _t − (x ^a u _x ) _x =∫ ₀ ^a f(u)dx in (0,a) × (0,T) under homogeneous Dirichlet conditions. The local existence and uniqueness of classical solution are established. Under appropriate hypotheses, the global existence and blow-up in finite time of positve solutions are obtained. It is also proved that the blow-up set is almost the whole domain. This differs from the local case. Furthermore, the blow-up rate is precisely determined for the special case: f(u)=u ^p , p>1.     

Commuting Traces of Biadditive Maps on Invertible Elements

Let R be a simple unital ring. Under a mild technical restriction on R, we will characterize biadditive mappings G: R² → R satisfying G(u, u)u = uG(u, u), and G(1, r) = G(r, 1) = r for all unit u ∈ R and r ∈ R, respectively. As an application, we describe bijective linear maps θ: R → R satisfying θ(xyx^?1y^?1) = θ(x)θ(y)θ(x)^?1θ(y)^?1 for all invertible x, y ∈ R. This solves an open problem of Herstein on multiplicative commutators. More precisely, we will show that θ is an isomorphism. Furthermore, we shall see the existence of a unital simple ring R′ without nontrivial idempotents, that admits a bijective linear map f: R′ → R′, preserving multiplicative commutators, that is not an isomorphism.     

Solutions with boundary‐layers and spike‐layers to singularly perturbed quasilinear Dirichlet problems

The structure of nontrivial nonnegative solutions to singularly perturbed quasilinear Dirichlet problems of the form –?Δ_pu = f(u) in Ω, u = 0 on ?Ω, Ω ? R ^N a bounded smooth domain, is studied as ? → 0⁺, for a class of nonlinearities f(u) satisfying f(0) = f(z₁) = f(z₂) = 0 with 0 < z₁ < z₂, f < 0 in (0, z₁), f > 0 in (z₁, z₂) and f(u)/u^p–1 = –∞. It is shown that there are many nontrivial nonnegative solutions with spike‐layers. Moreover, the measure of each spike‐layer is estimated as ? → 0⁺. These results are applied to the study of the structure of positive solutions of the same problems with f changing sign many times in (0,∞). Uniqueness of a solution with a boundary‐layer and many positive intermediate solutions with spike‐layers are obtained for ? sufficiently small. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)