The topological structure of fuzzy sets with sendograph metric

For a non-degenerate convex subset Y of the n  -dimensional Euclidean space Rⁿ${\mathbb{R}}^n$, let F(Y)$\mathbb{F}(Y)$ be the family of all fuzzy sets of Rⁿ${\mathbb{R}}^n$ which are upper semicontinuous, fuzzy convex and normal with compact supports contained in Y  . We show that the space F(Y)$\mathbb{F}(Y)$ with the topology of sendograph metric is homeomorphic to the separable Hilbert space ?²${?}^2$ if Y   is compact; and the space F(Rⁿ)$\mathbb{F}({\mathbb{R}}^n)$ is also homeomorphic to ?²${?}^2$.     

Regularity of Hölder continuous solutions of the supercritical quasi-geostrophic equation

We present a regularity result for weak solutions of the 2D quasi-geostrophic equation with supercritical (α<1/2$\alpha <1/2$) dissipation α(−Δ)${(-\mathrm{\Delta })}^{\alpha }$: If a Leray–Hopf weak solution is Hölder continuous θ∈Cδ(R²)$\theta \in C^{\delta }({\mathbb{R}}^2)$ with δ>1−2α$\delta >1-2\alpha$ on the time interval [t₀,t]$[t_0,t]$, then it is actually a classical solution on (t₀,t]$(t_0,t]$.     

Dimension spectra of random subfractals of self-similar fractals

The dimension of a point x   in Euclidean space (meaning the constructive Hausdorff dimension of the singleton set {x}$\{x\}$) is the algorithmic information density of x  . Roughly speaking, this is the least real number dim(x)$\dim (x)$ such that r×dim(x)$r\times \dim (x)$ bits suffice to specify x   on a general-purpose computer with arbitrarily high precision 2^−r$2^{-r}$. The dimension spectrum of a set X   in Euclidean space is the subset of [0,n]$[0,n]$ consisting of the dimensions of all points in X.     

Hölder continuity of solutions of supercritical dissipative hydrodynamic transport equations

We examine the regularity of weak solutions of quasi-geostrophic (QG) type equations with supercritical (α<1/2$\alpha <1/2$) dissipation α(−Δ)${(-\mathrm{\Delta })}^{\alpha }$. This study is motivated by a recent work of Caffarelli and Vasseur, in which they study the global regularity issue for the critical (α=1/2$\alpha =1/2$) QG equation [L. Caffarelli, A. Vasseur, Drift diffusion equations with fractional diffusion and the quasi-geostrophic equation, arXiv: math.AP/0608447, 2006]. Their approach successively increases the regularity levels of Leray–Hopf weak solutions: from L²$L^2$ to L^∞$L^{\infty }$, from L^∞$L^{\infty }$ to Hölder (Cδ$C^{\delta }$, δ>0$\delta >0$), and from Hölder to classical solutions. In the supercritical case, Leray–Hopf weak solutions can still be shown to be L^∞$L^{\infty }$, but it does not appear that their approach can be easily extended to establish the Hölder continuity of L^∞$L^{\infty }$ solutions. In order for their approach to work, we require the velocity to be in the Hölder space C1−2α$C^{1-2\alpha }$. Higher regularity starting from Cδ$C^{\delta }$ with δ>1−2α$\delta >1-2\alpha$ can be established through Besov space techniques and will be presented elsewhere [P. Constantin, J. Wu, Regularity of Hölder continuous solutions of the supercritical quasi-geostrophic equation, Ann. Inst. H. Poincaré Anal. Non Linéaire, in press].     

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

The inverse inertia problem for the complements of partial k-trees

Let F$\mathbb{F}$ be an infinite field with characteristic not equal to two. For a graph G=(V,E)$G=(V,E)$ with V={1,…,n}$V=\{1,\dots ,n\}$, let S(G;F)$S(G;\mathbb{F})$ be the set of all symmetric n×n$n\times n$ matrices A=[_ai,j]$A=[a_{i,j}]$ over F$\mathbb{F}$ with _ai,j≠0$a_{i,j}\ne 0$, i≠j$i\ne j$ if and only if ij∈E$ij\in E$. We show that if G is the complement of a partial k  -tree and m?k+2$m?k+2$, then for all nonsingular symmetric m×m$m\times m$ matrices K   over F$\mathbb{F}$, there exists an m×n$m\times n$ matrix U   such that U^TKU∈S(G;F)$U^{T}KU\in S(G;\mathbb{F})$. As a corollary we obtain that, if k+2?m?n$k+2?m?n$ and G is the complement of a partial k-tree, then for any two nonnegative integers p and q   with p+q=m$p+q=m$, there exists a matrix in S(G;R)$S(G;\mathbb{R})$ with p positive and q negative eigenvalues.     

The spherical ergodic theorem revisited

In this paper, we give a new proof of a result of R. Jones showing almost everywhere convergence of spherical means of actions of R^d${\mathbb{R}}^d$ on L^p(X)$L^p(X)$-spaces are convergent for d?3$d?3$ and p>d/(d-1)$p>d/(d-1)$.     

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.     

p-Laplacian boundary value problems on exterior regions

This paper treats some variational principles for solutions of inhomogeneous p  -Laplacian boundary value problems on exterior regions U?R^N$U?{\mathbb{R}}^N$ with dimension N?3$N?3$. Existence-uniqueness results when p∈(1,N)$p\in (1,N)$ are provided in a space E^1,p(U)$E^{1,p}(U)$ of functions that contains W^1,p(U)$W^{1,p}(U)$. Functions in E^1,p(U)$E^{1,p}(U)$ are required to decay at infinity in a measure theoretic sense. Various properties of this space are derived, including results about equivalent norms, traces and an L^p$L^p$-imbedding theorem. Also an existence result for a general variational problem of this type is obtained.     

Best constants in a borderline case of second-order Moser type inequalities

We study optimal embeddings for the space of functions whose Laplacian Δu   belongs to L¹(Ω)$L^1(\Omega )$, where Ω⊂RN$\Omega \subset {\mathbb{R}}^N$ is a bounded domain. This function space turns out to be strictly larger than the Sobolev space W2,1(Ω)$W^{2,1}(\Omega )$ in which the whole set of second-order derivatives is considered. In particular, in the limiting Sobolev case, when N=2$N=2$, we establish a sharp embedding inequality into the Zygmund space Lexp(Ω)$L_{\mathit{exp}}(\Omega )$. On one hand, this result enables us to improve the Brezis–Merle (Brezis and Merle (1991) [13]) regularity estimate for the Dirichlet problem Δu=f(x)∈L¹(Ω)$\mathrm{\Delta }u=f(x)\in L^1(\Omega )$, u=0$u=0$ on ∂Ω; on the other hand, it represents a borderline case of D.R. Adams' (1988) [1] generalization of Trudinger–Moser type inequalities to the case of higher-order derivatives. Extensions to dimension N?3$N?3$ are also given. Besides, we show how the best constants in the embedding inequalities change under different boundary conditions.     

Regularity for the fractional Gelfand problem up to dimension 7

We study the problem (−Δ)^su=λe^u${(-\mathrm{\Delta })}^{s}u=\lambda e^u$ in a bounded domain Ω⊂Rⁿ$\Omega \subset {\mathbb{R}}^n$, where λ   is a positive parameter. More precisely, we study the regularity of the extremal solution to this problem. Our main result yields the boundedness of the extremal solution in dimensions n≤7$n\le 7$ for all s∈(0,1)$s\in (0,1)$ whenever Ω   is, for every i=1,...,n$i=1,...,n$, convex in the _xi$x_i$-direction and symmetric with respect to {_xi=0}$\{x_i=0\}$. The same holds if n=8$n=8$ and s?0.28206...$s?0.28206...$, or if n=9$n=9$ and s?0.63237...$s?0.63237...$. These results are new even in the unit ball Ω=_B1$\Omega =B_1$.     

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