Consistency,optimality, and incompleteness

Assume that the problem _P0$P_0$ is not solvable in polynomial time. Let T   be a first-order theory containing a sufficiently rich part of true arithmetic. We characterize T∪{_ConT}$T\cup \{{\mathit{Con}}_T\}$ as the minimal extension of T   proving for some algorithm that it decides _P0$P_0$ as fast as any algorithm B$\mathbb{B}$ with the property that T   proves that B$\mathbb{B}$ decides _P0$P_0$. Here, _ConT${\mathit{Con}}_T$ claims the consistency of T. As a byproduct, we obtain a version of Gödel?s Second Incompleteness Theorem. Moreover, we characterize problems with an optimal algorithm in terms of arithmetical theories.     

A model of Cummings and Foreman revisited

This paper concerns the model of Cummings and Foreman where from ω   supercompact cardinals they obtain the tree property at each _ℵn${\mathrm{\aleph }}_n$ for 2≤n<ω$2\le n<\omega$. We prove some structural facts about this model. We show that the combinatorics at _ℵω+1${\mathrm{\aleph }}_{\omega +1}$ in this model depend strongly on the properties of _ω1${\omega }_1$ in the ground model. From different ground models for the Cummings–Foreman iteration we can obtain either _ℵω+1∈I[_ℵω+1]${\mathrm{\aleph }}_{\omega +1}\in I[{\mathrm{\aleph }}_{\omega +1}]$ and every stationary subset of _ℵω+1${\mathrm{\aleph }}_{\omega +1}$ reflects or there are a bad scale at _ℵω${\mathrm{\aleph }}_{\omega }$ and a non-reflecting stationary subset of _ℵω+1∩cof(_ω1)${\mathrm{\aleph }}_{\omega +1}\cap \mathrm{cof}({\omega }_1)$. We also prove that regardless of the ground model a strong generalization of the tree property holds at each _ℵn${\mathrm{\aleph }}_n$ for n≥2$n\ge 2$.     

Weak convergence of censored and reflected stable processes

It is shown that if a sequence of open n$n$-sets _Dk$D_k$ increases to an open n$n$-set D$D$ then reflected stable processes in _Dk$D_k$ converge weakly to the reflected stable process in D$D$ for every starting point x$x$ in D$D$. The same result holds for censored α$\alpha$-stable processes for every x$x$ in D$D$ if D$D$ and _Dk$D_k$ satisfy the uniform Hardy inequality. Using the method in the proof of the above results, we also prove the weak convergence of reflected Brownian motions in unbounded domains.     

Finite order spreading models

Extending the classical notion of spreading model, the k$k$-spreading models of a Banach space are introduced, for every k∈N$k\in \mathbb{N}$. The definition, which is based on the k$k$-sequences and plegma families, reveals a new class of spreading sequences associated to a Banach space. Most of the results of the classical theory are stated and proved in the higher order setting. Moreover, new phenomena like the universality of the class of the 2-spreading models of _c0$c_0$ and the composition property are established. As consequence, a problem concerning the structure of the k$k$-iterated spreading models is solved.     

Korn type inequalities in Orlicz spaces

We exhibit balance conditions between a Young function A and a Young function B   for a Korn type inequality to hold between the L^B$L^B$ norm of the gradient of vector-valued functions and the L^A$L^A$ norm of its symmetric part. In particular, we extend a standard form of the Korn inequality in L^p$L^p$, with 1<p<∞$1<p<\infty$, and an Orlicz version involving a Young function A   satisfying both the _Δ2${\mathrm{\Delta }}_2$ and the _∇2${\mathrm{\nabla }}_2$ condition.     

On some geometric properties of generalized Orlicz–Lorentz function spaces

In this article we continue investigations concerning generalized Orlicz–Lorentz function spaces _Λφ${\Lambda }_{\phi }$ initiated in the papers (Foralewski, 2011)  and  (cf. also (Foralewski, 2008)  and ). First, it is shown that modular _?φ${?}_{\phi }$ is orthogonally subadditive. Next, monotonicity properties are considered. In order to get sufficient conditions for uniform monotonicity of the space _Λφ${\Lambda }_{\phi }$ a strong condition of _Δ2${\Delta }_2$ type and the notion of regularity of the generated Musielak–Orlicz function φ$\phi$ are introduced. Finally, criteria for non-squareness of _Λφ${\Lambda }_{\phi }$ are presented.     

A continuum of unusual self-adjoint linear partial differential operators

In an earlier publication a linear operator _THar$T_{\mathrm{Har}}$ was defined as an unusual self-adjoint extension generated by each linear elliptic partial differential expression, satisfying suitable conditions on a bounded region Ω$\Omega$ of some Euclidean space. In this present work the authors define an extensive class of _THar$T_{\mathrm{Har}}$-like self-adjoint operators on the Hilbert function space _L2(Ω);$L_2(\Omega );$ but here for brevity we restrict the development to the classical Laplacian differential expression, with Ω$\Omega$ now the planar unit disk. It is demonstrated that there exists a non-denumerable set of such _THar$T_{\mathrm{Har}}$-like operators (each a self-adjoint extension generated by the Laplacian), each of which has a domain in _L2(Ω)$L_2(\Omega )$ that does not lie within the usual Sobolev Hilbert function space W²(Ω)$W^2(\Omega )$. These _THar$T_{\mathrm{Har}}$-like operators cannot be specified by conventional differential boundary conditions on the boundary of ∂Ω$\mathrm{\partial }\Omega$, and may have non-empty essential spectra.     

A boundary blow-up elliptic problem with an inhomogeneous term

By a perturbation method and constructing comparison functions, we reveal how the inhomogeneous term h$h$ affects the exact asymptotic behaviour of solutions near the boundary to the problem △u=b(x)g(u)+λh(x)$△u=b\left(x\right)g\left(u\right)+\lambda h\left(x\right)$, u>0$u>0$ in Ω$\Omega$, u_|∂Ω=∞$u{|}_{\partial \Omega }=\infty$, where Ω$\Omega$ is a bounded domain with smooth boundary in R^N${\mathbb{R}}^N$, λ>0$\lambda >0$, g∈C¹[0,∞)$g\in C^1[0,\infty )$ is increasing on [0,∞)$[0,\infty )$, g(0)=0$g\left(0\right)=0$, g^′$g^{\prime }$ is regularly varying at infinity with positive index ρ$\rho$, the weight b$b$, which is non-trivial and non-negative in Ω$\Omega$, may be vanishing on the boundary, and the inhomogeneous term h$h$ is non-negative in Ω$\Omega$ and may be singular on the boundary.     

The stabilized set of p's in Krivine's theorem can be disconnected

For any closed subset F   of [1,∞]$[1,\infty ]$ which is either finite or consists of the elements of an increasing sequence and its limit, a reflexive Banach space X with a 1-unconditional basis is constructed so that in each block subspace Y of X  , _?p${?}_p$ is finitely block represented in Y   if and only if p∈F$p\in F$. In particular, this solves the question as to whether the stabilized Krivine set for a Banach space had to be connected. We also prove that for every infinite dimensional subspace Y of X there is a dense subset G of F such that the spreading models admitted by Y   are exactly the _?p${?}_p$ for p∈G$p\in G$.     

Reverse mathematics and initial intervals

In this paper we study the reverse mathematics of two theorems by Bonnet about partial orders. These results concern the structure and cardinality of the collection of initial intervals. The first theorem states that a partial order has no infinite antichains if and only if its initial intervals are finite unions of ideals. The second one asserts that a countable partial order is scattered and does not contain infinite antichains if and only if it has countably many initial intervals. We show that the left to right directions of these theorems are equivalent to _ACA0${\mathsf{ACA}}_0$ and _ATR0${\mathsf{ATR}}_0$, respectively. On the other hand, the opposite directions are both provable in _WKL0${\mathsf{WKL}}_0$, but not in _RCA0${\mathsf{RCA}}_0$. We also prove the equivalence with _ACA0${\mathsf{ACA}}_0$ of the following result of Erdös and Tarski: a partial order with no infinite strong antichains has no arbitrarily large finite strong antichains.     

An improvement for the Trudinger–Moser inequality and applications

In line with the Concentration–Compactness Principle due to P.-L. Lions [19], we study the lack of compactness of Sobolev embedding of W^1,n(Rⁿ)$W^{1,n}({\mathbb{R}}^n)$, n?2$n?2$, into the Orlicz space _LΦα$L_{{\Phi }_{\alpha }}$ determined by the Young function _Φα(s)${\Phi }_{\alpha }(s)$ behaving like e^{α|s|n/(n−1)}−1$e^{\alpha {|s|}^{n/(n-1)}}-1$ as |s|→+∞$|s|\to +\infty$. In the light of this result we also study existence of ground state solutions for a class of quasilinear elliptic problems involving critical growth of the Trudinger–Moser type in the whole space Rⁿ${\mathbb{R}}^n$.     

Concentration and multiplicity of solutions for a fourth-order equation with critical nonlinearity

In this paper, we consider the problem (_Pε)$(P_{\epsilon })$ : Δ²u=u^n+4/n-4+εu,u>0${\mathrm{\Delta }}^{2}u=u^{n+4/n-4}+\epsilon u,u>0$ in Ω,u=Δu=0$\Omega ,u=\mathrm{\Delta }u=0$ on ∂Ω$\mathrm{\partial }\Omega$, where Ω$\Omega$ is a bounded and smooth domain in Rⁿ,n>8${\mathbb{R}}^n,n>8$ and ε>0$\epsilon >0$. We analyze the asymptotic behavior of solutions of (_Pε)$(P_{\epsilon })$ which are minimizing for the Sobolev inequality as ε→0$\epsilon \to 0$ and we prove existence of solutions to (_Pε)$(P_{\epsilon })$ which blow up and concentrate around a critical point of the Robin's function. Finally, we show that for ε$\epsilon$ small, (_Pε)$(P_{\epsilon })$ has at least as many solutions as the Ljusternik–Schnirelman category of Ω$\Omega$.     

On a family of differential operators with the coupling parameter in the boundary condition

We study a family of differential operators _Lα${\mathbf{L}}_{\alpha }$ in two variables, depending on the coupling parameter α?0$\alpha ?0$ that appears only in the boundary conditions. Our main concern is the spectral properties of _Lα${\mathbf{L}}_{\alpha }$, which turn out to be quite different for α<1$\alpha <1$ and for α>1$\alpha >1$. In particular, _Lα${\mathbf{L}}_{\alpha }$ has a unique self-adjoint realization for α<1$\alpha <1$ and many such realizations for α>1$\alpha >1$. In the more difficult case α>1$\alpha >1$ an analysis of non-elliptic pseudodifferential operators in dimension one is involved.     

Critical exponents for non-simultaneous blow-up in a localized parabolic system

The paper deals with the radially symmetric solutions of _ut=Δu+u^m(x,t)vⁿ(0,t)$u_t=\Delta u+u^m(x,t)v^n(0,t)$, _vt=Δv+u^p(0,t)v^q(x,t)$v_t=\Delta v+u^p(0,t)v^q(x,t)$, subject to null Dirichlet boundary conditions. For the blow-up classical solutions, we propose the critical exponents for non-simultaneous blow-up by determining the complete and optimal classification for all the non-negative exponents: (i) There exist initial data such that u$u$ (v$v$) blows up alone if and only if m>p+1$m>p+1$ (q>n+1$q>n+1$), which means that any blow-up is simultaneous if and only if m≤p+1$m\le p+1$, q≤n+1$q\le n+1$. (ii) Any blow-up is u$u$ (v$v$) blowing up with v$v$ (u$u$) remaining bounded if and only if m>p+1$m>p+1$, q≤n+1$q\le n+1$ (m≤p+1$m\le p+1$, q>n+1$q>n+1$). (iii) Both non-simultaneous and simultaneous blow-up may occur if and only if m>p+1$m>p+1$, q>n+1$q>n+1$. Moreover, we consider the blow-up rate and set estimates which were not obtained in the previously known work for the same model.