Stochastic wave equation with critical nonlinearities: Temporal regularity and uniqueness

We consider a nonlinear wave equation on Rd driven by a spatially homogeneous Wiener process W with a finite spectral measure and with nonlinear terms f, g of critical growth. We study pathwise uniqueness and norm continuity of paths of (u,ut) in H¹(Rd)⊕L²(Rd) under the hypothesis that there exists a local solution u such that (u,ut) has weakly continuous paths in H¹(Rd)⊕L²(Rd).     

Carleson embeddings for Sobolev spaces via heat equation

Let u(t,x) be the solution of the heat equation (∂_t-Δ_x)u(t,x)=0 on subject to u(0,x)=f(x) on Rⁿ. The main goal of this paper is to characterize such a nonnegative measure μ on that f(x)?u(t²,x) induces a bounded embedding from the Sobolev space , p∈[1,n) into the Lebesgue space , q∈(0,∞).     

Krengel-Lin decomposition for probability measures on hypergroups

A Markov operator P on a σ-finite measure space (X,Σ,m) with invariant measure m is said to have Krengel-Lin decomposition if L²(X)=E₀⊕L²(X,Σ_d) where E₀={f∈L²(X)∣‖Pⁿ(f)‖→0} and Σ_d is the deterministic σ-field of P. We consider convolution operators and we show that a measure λ on a hypergroup has Krengel-Lin decomposition if and only if the sequence converges to an idempotent or λ is scattered. We verify this condition for probabilities on Tortrat groups, on commutative hypergroups and on central hypergroups. We give a counter-example to show that the decomposition is not true for measures on discrete hypergroups.     

Asymptotics of the porous media equation via Sobolev inequalities

Let M be a compact Riemannian manifold without boundary. Consider the porous media equation , u(0)=u₀∈L^q, ? being the Laplace-Beltrami operator. Then, if q?2∨(m-1), the associated evolution is L^q-L^∞ regularizing at any time t>0 and the bound ‖u(t)‖_∞?C(u₀)/t^β holds for t<1 for suitable explicit C(u₀),γ. For large t it is shown that, for general initial data, u(t) approaches its time-independent mean with quantitative bounds on the rate of convergence. Similar bounds are valid when the manifold is not compact, but u(t) approaches u≡0 with different asymptotics. The case of manifolds with boundary and homogeneous Dirichlet, or Neumann, boundary conditions, is treated as well. The proof stems from a new connection between logarithmic Sobolev inequalities and the contractivity properties of the nonlinear evolutions considered, and is therefore applicable to a more abstract setting.     

Labeling graphs with two distance constraints

Given a graph G and integers p,q,d₁ and d₂, with p>q, d₂>d₁?1, an L(d₁,d₂;p,q)-labeling of G is a function f:V(G)→{0,1,2,…,n} such that |f(u)−f(v)|?p if d_G(u,v)?d₁ and |f(u)−f(v)|?q if d_G(u,v)?d₂. A k-L(d₁,d₂;p,q)-labeling is an L(d₁,d₂;p,q)-labeling f such that max_v∈V(G)f(v)?k. The L(d₁,d₂;p,q)-labeling number ofG, denoted by , is the smallest number k such that G has a k-L(d₁,d₂;p,q)-labeling. In this paper, we give upper bounds and lower bounds of the L(d₁,d₂;p,q)-labeling number for general graphs and some special graphs. We also discuss the L(d₁,d₂;p,q)-labeling number of G, when G is a path, a power of a path, or Cartesian product of two paths.     

Existence and decay rates of solutions to the generalized Burgers equation

In this paper we study the generalized Burgers equation u_t+(u²/2)_x=f(t)u_xx, where f(t)>0 for t>0. We show the existence and uniqueness of classical solutions to the initial value problem of the generalized Burgers equation with rough initial data belonging to , as well it is obtained the decay rates of u in L^p norm are algebra order for p∈[1,∞[.     

Hyperbolic conservation laws with nonlinear diffusion and nonlinear dispersion

We study scalar conservation laws with nonlinear diffusion and nonlinear dispersion terms (any ??1), the flux function f(u) being mth order growth at infinity. It is shown that if ε, δ=δ(ε) tend to 0, then the sequence {uε} of the smooth solutions converges to the unique entropy solution u∈L^∞(0,T_∗;Lq(R)) to the conservation law ut+fx(u)=0 in . The proof relies on the methods of compensated compactness, Young measures and entropy measure-valued solutions. Some new a priori estimates are carried out. In particular, our result includes the convergence result by Schonbek when b(λ)=λ, ?=1 and LeFloch and Natalini when ?=1.     

Generalized Bayes minimax estimators of location vectors for spherically symmetric distributions

Let X∼f(∥x-θ∥²) and let δ_π(X) be the generalized Bayes estimator of θ with respect to a spherically symmetric prior, π(∥θ∥²), for loss ∥δ-θ∥². We show that if π(t) is superharmonic, non-increasing, and has a non-decreasing Laplacian, then the generalized Bayes estimator is minimax and dominates the usual minimax estimator δ₀(X)=X under certain conditions on . The class of priors includes priors of the form for and hence includes the fundamental harmonic prior . The class of sampling distributions includes certain variance mixtures of normals and other functions f(t) of the form e^-αtβ and e^-αt+βφ(t) which are not mixtures of normals. The proofs do not rely on boundness or monotonicity of the function r(t) in the representation of the Bayes estimator as .     

Local existence of solutions to some degenerate parabolic equation associated with the p-Laplacian

The existence of local (in time) solutions of the initial-boundary value problem for the following degenerate parabolic equation: ut(x,t)−Δpu(x,t)−|u|^q−2u(x,t)=f(x,t), (x,t)∈Ω×(0,T), where 2?p<q<+∞, Ω is a bounded domain in RN, is given and Δp denotes the so-called p-Laplacian defined by Δpu:=∇⋅(|∇u|^p−2∇u), with initial data u₀∈Lr(Ω) is proved under r>N(q−p)/p without imposing any smallness on u₀ and f. To this end, the above problem is reduced into the Cauchy problem for an evolution equation governed by the difference of two subdifferential operators in a reflexive Banach space, and the theory of subdifferential operators and potential well method are employed to establish energy estimates. Particularly, Lr-estimates of solutions play a crucial role to construct a time-local solution and reveal the dependence of the time interval [0,T₀] in which the problem admits a solution. More precisely, T₀ depends only on Lr|u₀| and f.     

Global attractors for p-Laplacian equation

The existence of a -global attractor is proved for the p-Laplacian equation ut−div(|∇u|^p−2∇u)+f(u)=g on a bounded domain Ω⊂Rn(n?3) with Dirichlet boundary condition, where p?2. The nonlinear term f is supposed to satisfy the polynomial growth condition of arbitrary order c₁q|u|−k?f(u)u?c₂q|u|+k and f^′(u)?−l, where q?2 is arbitrary. There is no other restriction on p and q. The asymptotic compactness of the corresponding semigroup is proved by using a new a priori estimate method, called asymptotic a priori estimate.     

Rank one operators and norm of elementary operators

Let A be a standard operator algebra acting on a (real or complex) normed space E. For two n-tuples A = (A₁, … , A_n) and B = (B₁, … , B_n) of elements in A, we define the elementary operator R_A,B on A by the relation for all X in A. For a single operator A∈A, we define the two particular elementary operators L_A and R_A on A by L_A(X) = AX and R_A(X) = XA, for every X in A. We denote by d(R_A,B) the supremum of the norm of R_A,B(X) over all unit rank one operators on E. In this note, we shall characterize: (i) the supremun d(R_A,B), (ii) the relation , (iii) the relation d(L_A − R_B) = ∥A∥ + ∥B∥, (iv) the relation d(L_AR_B − L_BR_A) = 2∥A∥ + ∥B∥. Moreover, we shall show the lower estimate d(L_A − R_B) ? max{sup_λ∈V(B)∥A − λI∥, sup_λ∈V(A)∥B − λI∥} (where V(X) is the algebraic numerical range of X in A).     

Distance-two labellings of Hamming graphs

Let j≥k≥0 be integers. An ?-L(j,k)-labelling of a graph G=(V,E) is a mapping ?:V→{0,1,2,…,?} such that |?(u)−?(v)|≥j if u,v are adjacent and |?(u)−?(v)|≥k if they are distance two apart. Let λ_j,k(G) be the smallest integer ? such that G admits an ?-L(j,k)-labelling. Define to be the smallest ? if G admits an ?-L(j,k)-labelling with ?(V)={0,1,2,…,?} and ∞ otherwise. An ?-cyclic L(j,k)-labelling is a mapping ?:V→Z_? such that |?(u)−?(v)|_?≥j if u,v are adjacent and |?(u)−?(v)|_?≥k if they are distance two apart, where |x|_?=min{x,?−x} for x between 0 and ?. Let σ_j,k(G) be the smallest ?−1 of such a labelling, and define similarly to . We determine λ_2,0, , σ_2,0 and for all Hamming graphs K_q1□K_q2□?□K_qd (d≥2, q₁≥q₂≥?≥q_d≥2) and give optimal labellings, with the only exception being for q≥4. We also prove the following “sandwich theorem”: If q₁ is sufficiently large then for any graph G between K_q1□K_q2 and K_q1□K_q2□?□K_qd, and moreover we give a labelling which is optimal for these eight invariants simultaneously.     

The heat equation with singular nonlinearity and singular initial data

We study the existence, uniqueness and regularity of positive solutions of the parabolic equation ut−Δu=a(x)uq+b(x)up in a bounded domain and with Dirichlet's condition on the boundary. We consider here a∈Lα(Ω), b∈Lβ(Ω) and 0<q?1<p. The initial data u(0)=u₀ is considered in the space Lr(Ω), r?1. In the main result (0<q<1), we assume a,b?0 a.e. in Ω and we assume that u₀?γdΩ for some γ>0. We find a unique solution in the space .     

On global attractor for m-Laplacian parabolic equation with local and nonlocal nonlinearity

In this paper, we study the long-time behavior of solutions for m-Laplacian parabolic equation in Ω×(0,∞) with the initial data u(x,0)=u₀(x)∈Lq, q?1, and zero boundary condition in ∂Ω. Two cases for a(x)?a₀>0 and a(x)?0 are considered. We obtain the existence and Lp estimate of global attractor A in Lp, for any p?max{1,q}. The attractor A is in fact a bounded set in if a(x)?a₀>0 in Ω, and A is bounded in if a(x)?0 in Ω.     

Blow-up behavior for a nonlinear heat equation with a localized source in a ball

In this paper, we consider the initial-boundary value problem of a semilinear parabolic equation with local and non-local (localized) reactions in a ball: u_t=Δu+u^p+u^q(x^*,t) in B(R) where p,q>0,B(R)={x∈R^N:|x|<R} and x^*≠0. If max(p,q)>1, there exist blow-up solutions of this problem for large initial data. We treat the radially symmetric and one peak non-negative solution of this problem. We give the complete classification of total blow-up phenomena and single point blow-up phenomena according to p and q.

(i)

If or p=q>2, then single point blow-up occurs whenever solutions blow up.

(ii)

If 1<p<q, both phenomena, total blow-up and single point blow-up, occur depending on the initial data.

(iii)

If p?1<q, total blow-up occurs whenever solutions blow up.

(iv)

If max(p,q)?1, every solution exists globally in time.

     

Higher syzygies of hyperelliptic curves

Let X be a hyperelliptic curve of arithmetic genus g and let f:X→P¹ be the hyperelliptic involution map of X. In this paper we study higher syzygies of linearly normal embeddings of X of degree d≤2g. Note that the minimal free resolution of X of degree ≥2g+1 is already completely known. Let A=f^∗O_P¹(1), and let L be a very ample line bundle on X of degree d≤2g. For , we call the pair (m,d−2m)the factorization type ofL. Our main result is that the Hartshorne-Rao module and the graded Betti numbers of the linearly normal curve embedded by |L| are precisely determined by the factorization type of L.     

The heat equation with nonlinear generalized Robin boundary conditions

Let Ω⊂RN be a bounded domain and let μ be an admissible measure on ∂Ω. We show in the first part that if Ω has the H¹-extension property, then a realization of the Laplace operator with generalized nonlinear Robin boundary conditions, formally given by on ∂Ω, generates a strongly continuous nonlinear submarkovian semigroup SB=(SB(t))_t?0 on L²(Ω). We also obtain that this semigroup is ultracontractive in the sense that for every u,v∈Lp(Ω), p?2 and every t>0, one has

     

Uniqueness results for semilinear polyharmonic boundary value problems on conformally contractible domains. II

We continue Part I of this paper on polyharmonic boundary value problems (−Δ)^mu=f(u) on , , with Dirichlet boundary conditions. Here Ω is a bounded or unbounded conformally contractible domain as defined in Part I. The uniqueness principle proved in Part I is applied to show the following theorems: if f(s)=λs+|s|^p−1s, λ?0, with a supercritical p>(n+2m)/(n−2m) we extend the well-known non-existence result of Pucci and Serrin (Indiana Univ. Math. J. 35 (1986) 681-703) for bounded star-shaped domains to the wider class of bounded conformally contractible domains. We give two examples of domains in this class which are not star-shaped. In the case where 1<p<(n+2m)/(n−2m) is subcritical we give lower bounds for the L^∞-norm of non-trivial solutions. For certain unbounded conformally contractible domains, 1<p<(n+2m)/(n−2m) subcritical and λ?0 we show that the only smooth solution in H2m−1(Ω) is u≡0. Finally, on a bounded conformally contractible domain uniqueness of non-trivial solutions for f(s)=λ(1+|s|^p−1s), p>(n+2m)/(n−2m), supercritical and small λ>0 is proved. Solutions are critical points of a functional on a suitable space X. The theorems are proved by finding one-parameter groups of transformations on X which strictly reduce the values of . Then the uniqueness principle of Part I can be applied.     

Orbits of parabolic subgroups on metabelian ideals

Let k be an algebraically closed field, t∈Z?1, and let B be the Borel subgroup of GLt(k) consisting of upper-triangular matrices. Let Q be a parabolic subgroup of GLt(k) that contains B and such that the Lie algebra qu of the unipotent radical of Q is metabelian, i.e. the derived subalgebra of qu is abelian. For a dimension vector with , we obtain a parabolic subgroup P(d) of GLn(k) from B by taking upper-triangular block matrices with (i,j) block of size di×dj. In a similar manner we obtain a parabolic subgroup Q(d) of GLn(k) from Q. We determine all instances when P(d) acts on qu(d) with a finite number of orbits for all dimension vectors d. Our methods use a translation of the problem into the representation theory of certain quasi-hereditary algebras. In the finite cases, we use Auslander-Reiten theory to explicitly determine the P(d)-orbits; this also allows us to determine the degenerations of P(d)-orbits.