Existence of non-spurious solutions to discrete Dirichlet problems with lower and upper solutions

This paper investigates the solvability of discrete Dirichlet boundary value problems by the lower and upper solution method. Here, the second-order difference equation with a nonlinear right hand side f$f$ is studied and f(t,u,v)$f(t,u,v)$ can have a superlinear growth both in u$u$ and in v$v$. Moreover, the growth conditions on f$f$ are one-sided. We compute a priori bounds on solutions to the discrete problem and then obtain the existence of at least one solution. It is shown that solutions of the discrete problem will converge to solutions of ordinary differential equations.     

Disjoint cycles with different length in 4-arc-dominated digraphs

A d$d$-arc-dominated digraph is a digraph D$D$ of minimum out-degree d$d$ such that for every arc (x,y)$(x,y)$ of D$D$, there exists a vertex u$u$ of D$D$ of out-degree d$d$ such that (u,x)$(u,x)$ and (u,y)$(u,y)$ are arcs of D$D$. Henning and Yeo [Vertex disjoint cycles of different length in digraphs, SIAM J. Discrete Math. 26 (2012) 687–694] conjectured that a digraph with minimum out-degree at least four contains two vertex-disjoint cycles of different length. In this paper, we verify this conjecture for 4-arc-dominated digraphs.     

Iterative approximation of solutions of nonlinear equations of Hammerstein type

Suppose X$X$ is a real q$q$-uniformly smooth Banach space and F,K:X→X$F,K:X\to X$ are Lipschitz ?$?$-strongly accretive maps with D(K)=F(X)=X$D\left(K\right)=F\left(X\right)=X$. Let u^∗$u^{\ast }$ denote the unique solution of the Hammerstein equation u+KFu=0$u+KFu=0$. An iteration process recently introduced by Chidume and Zegeye is shown to converge strongly to u^∗$u^{\ast }$. No invertibility assumption is imposed on K$K$ and the operators K$K$ and F$F$ need not be defined on compact subsets of X$X$. Furthermore, our new technique of proof is of independent interest. Finally, some interesting open questions are included.     

Counting minimal semi-Sturmian words

A finite Sturmian   word w$w$ is a balanced word over the binary alphabet {a,b}$\{a,b\}$, that is, for all subwords u$u$ and v$v$ of w$w$ of equal length, |_|u|a−_|v|a|≤1$|{\left|u\right|}_a-{\left|v\right|}_a|\le 1$, where _|u|a${\left|u\right|}_a$ and _|v|a${\left|v\right|}_a$ denote the number of occurrences of the letter a$a$ in u$u$ and v$v$, respectively. There are several other characterizations, some leading to efficient algorithms for testing whether a finite word is Sturmian. These algorithms find important applications in areas such as pattern recognition, image processing, and computer graphics. Recently, Blanchet-Sadri and Lensmire considered finite semi-Sturmian words of minimal length and provided an algorithm for generating all of them using techniques from graph theory. In this paper, we exploit their approach in order to count the number of minimal semi-Sturmian words. We also present some other results that come from applying this graph theoretical framework to subword complexity.     

Resolving sets for Johnson and Kneser graphs

A set of vertices S$S$ in a graph G$G$ is a resolving set   for G$G$ if, for any two vertices u,v$u,v$, there exists x∈S$x\in S$ such that the distances d(u,x)≠d(v,x)$d(u,x)\ne d(v,x)$. In this paper, we consider the Johnson graphs J(n,k)$J(n,k)$ and Kneser graphs K(n,k)$K(n,k)$, and obtain various constructions of resolving sets for these graphs. As well as general constructions, we show that various interesting combinatorial objects can be used to obtain resolving sets in these graphs, including (for Johnson graphs) projective planes and symmetric designs, as well as (for Kneser graphs) partial geometries, Hadamard matrices, Steiner systems and toroidal grids.     

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.     

Oscillation of harmonic functions for subordinate Brownian motion and its applications

In this paper, we establish an oscillation estimate of nonnegative harmonic functions for a pure-jump subordinate Brownian motion. The infinitesimal generator of such subordinate Brownian motion is an integro-differential operator. As an application, we give a probabilistic proof of the following form of relative Fatou theorem for such subordinate Brownian motion X$X$ in a bounded κ$\kappa$-fat open set; if u$u$ is a positive harmonic function with respect to X$X$ in a bounded κ$\kappa$-fat open set D$D$ and h$h$ is a positive harmonic function in D$D$ vanishing on D^c$D^c$, then the non-tangential limit of u/h$u/h$ exists almost everywhere with respect to the Martin-representing measure of h$h$.     

Approximation of solutions of Hammerstein equations with bounded strongly accretive nonlinear operators

Suppose X$X$ is a real q$q$-uniformly smooth Banach space and F,K:X→X$F,K:X\to X$ are bounded strongly accretive maps with D(K)=F(X)=X$D\left(K\right)=F\left(X\right)=X$. Let u^∗$u^{\ast }$ denote the unique solution of the Hammerstein equation u+KFu=0$u+KFu=0$. A new explicit coupled iteration process is shown to converge strongly to u^∗$u^{\ast }$. No invertibility assumption is imposed on K$K$ and the operators K$K$ and F$F$ need not be defined on compact subsets of X$X$. Furthermore, our new technique of proof is of independent interest. Finally, some interesting open questions are included.     

Boundary value problems in spaces of distributions on smooth and polygonal domains

We study boundary value problems of the form -Δu=f$-\mathrm{\Delta }u=f$ on Ω$\Omega$ and Bu=g$\mathit{Bu}=g$ on the boundary ∂Ω$\mathrm{\partial }\Omega$, with either Dirichlet or Neumann boundary conditions, where Ω$\Omega$ is a smooth bounded domain in Rⁿ${\mathbb{R}}^n$ and the data f,g$f,g$ are distributions  . This problem has to be first properly reformulated and, for practical applications, it is of crucial importance to obtain the continuity of the solution u$u$ in terms of f and g  . For f=0$f=0$, taking advantage of the fact that u$u$ is harmonic on Ω$\Omega$, we provide four formulations of this boundary value problem (one using nontangential limits of harmonic functions, one using Green functions, one using the Dirichlet-to-Neumann map, and a variational one); we show that these four formulations are equivalent. We provide a similar analysis for f≠0$f\ne 0$ and discuss the roles of f and g, which turn to be somewhat interchangeable in the low regularity case. The weak formulation is more convenient for numerical approximation, whereas the nontangential limits definition is closer to the intuition and easier to check in concrete situations. We extend the weak formulation to polygonal domains using weighted Sobolev spaces. We also point out some new phenomena for the “concentrated loads” at the vertices in the polygonal case.     

[1, 2]-sets in graphs

A subset S⊆V$S\subseteq V$ in a graph G=(V,E)$G=(V,E)$ is a [j,k]$[j,k]$-set if, for every vertex v∈V?S$v\in V?S$, j≤|N(v)∩S|≤k$j\le |N\left(v\right)\cap S|\le k$ for non-negative integers j$j$ and k$k$, that is, every vertex v∈V?S$v\in V?S$ is adjacent to at least j$j$ but not more than k$k$ vertices in S$S$. In this paper, we focus on small j$j$ and k$k$, and relate the concept of [j,k]$[j,k]$-sets to a host of other concepts in domination theory, including perfect domination, efficient domination, nearly perfect sets, 2-packings, and k$k$-dependent sets. We also determine bounds on the cardinality of minimum [1, 2]-sets, and investigate extremal graphs achieving these bounds. This study has implications for restrained domination as well. Using a result for [1, 3]-sets, we show that, for any grid graph G$G$, the restrained domination number is equal to the domination number of G$G$.     

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.     

Boundedness and blowup for nonlinear degenerate parabolic equations

The author deals with the quasilinear parabolic equation _ut=[u^α+g(u)]Δu+bu^α+1+f(u,∇u)$u_t=[u^{\alpha }+g\left(u\right)]\Delta u+b{u}^{\alpha +1}+f(u,\nabla u)$ with Dirichlet boundary conditions in a bounded domain Ω$\Omega$, where f$f$ and g$g$ are lower-order terms. He shows that, under suitable conditions on f$f$ and g$g$, whether the solution is bounded or blows up in a finite time depends only on the first eigenvalue of −Δ$-\Delta$ in Ω$\Omega$ with Dirichlet boundary condition. For some special cases, the result is sharp.     

Blow-up and propagation of disturbances for fast diffusion equations

This paper is concerned with the Cauchy problem for the fast diffusion equation _ut−Δu^m=αu^_p1$u_t-\Delta u^m=\alpha u^{p_1}$ in R^N${\mathbb{R}}^N$ (N≥1$N\ge 1$), where m∈(0,1)$m\in (0,1)$, _p1>1$p_1>1$ and α>0$\alpha >0$. The initial condition _u0$u_0$ is assumed to be continuous, nonnegative and bounded. Using a technique of subsolutions, we set up sufficient conditions on the initial value _u0$u_0$ so that u(t,x)$u(t,x)$ blows up in finite time, and we show how to get estimates on the profile of u(t,x)$u(t,x)$ for small enough values of t>0$t>0$.     

Asymptotic average shadowing property on compact metric spaces

We prove that if for a continuous map f$f$ on a compact metric space X$X$, the chain recurrent set, R(f)$R\left(f\right)$ has more than one chain component, then f$f$ does not satisfy the asymptotic average shadowing property. We also show that if a continuous map f$f$ on a compact metric space X$X$ has the asymptotic average shadowing property and if A$A$ is an attractor for f$f$, then A$A$ is the single attractor for f$f$ and we have A=R(f)$A=R\left(f\right)$. We also study diffeomorphisms with asymptotic average shadowing property and prove that if M$M$ is a compact manifold which is not finite with dimM=2$dimM=2$, then the C¹$C^1$ interior of the set of all C¹$C^1$ diffeomorphisms with the asymptotic average shadowing property is characterized by the set of Ω$\Omega$-stable diffeomorphisms.     

The Deodhar decomposition of the Grassmannian and the regularity of KP solitons

Given a point A$A$ in the real Grassmannian, it is well-known that one can construct a soliton solution _uA(x,y,t)$u_A(x,y,t)$ to the KP equation. The contour plot   of such a solution provides a tropical approximation to the solution when the variables x$x$, y$y$, and t$t$ are considered on a large scale and the time t$t$ is fixed. In this paper we use several decompositions of the Grassmannian in order to gain an understanding of the contour plots of the corresponding soliton solutions. First we use the positroid stratification   of the real Grassmannian in order to characterize the unbounded line-solitons in the contour plots at y?0$y?0$ and y?0$y?0$. Next we use the Deodhar decomposition   of the Grassmannian–a refinement of the positroid stratification–to study contour plots at t?0$t?0$. More specifically, we index the components of the Deodhar decomposition of the Grassmannian by certain tableaux which we call Go-diagrams  , and then use these Go-diagrams to characterize the contour plots of solitons solutions when t?0$t?0$. Finally we use these results to show that a soliton solution _uA(x,y,t)$u_A(x,y,t)$ is regular for all times t$t$ if and only if A$A$ comes from the totally non-negative part of the Grassmannian.     

A note on distance-regular graphs with a small number of vertices compared to the valency

In this note we study distance-regular graphs with a small number of vertices compared to the valency. We show that for a given α>2$\alpha >2$, there are finitely many distance-regular graphs Γ$\Gamma$ with valency k$k$, diameter D≥3$D\ge 3$ and v$v$ vertices satisfying v≤αk$v\le \alpha k$ unless (D=3$D=3$ and Γ$\Gamma$ is imprimitive) or (D=4$D=4$ and Γ$\Gamma$ is antipodal and bipartite). We also show, as a consequence of this result, that there are finitely many distance-regular graphs with valency k≥3$k\ge 3$, diameter D≥3$D\ge 3$ and _c2≥εk$c_2\ge \epsilon k$ for a given 0<ε<1$0<\epsilon <1$ unless (D=3$D=3$ and Γ$\Gamma$ is imprimitive) or (D=4$D=4$ and Γ$\Gamma$ is antipodal and bipartite).     

Boundedness of extremal solutions in dimension 4

In this paper we establish the boundedness of the extremal solution u^∗$u^{\ast }$ in dimension N=4$N=4$ of the semilinear elliptic equation −Δu=λf(u)$-\Delta u=\lambda f\left(u\right)$, in a general smooth bounded domain Ω⊂R^N$\Omega \subset {\mathbb{R}}^N$, with Dirichlet data u_|∂Ω=0$u{|}_{\partial \Omega }=0$, where f$f$ is a C¹$C^1$ positive, nondecreasing and convex function in [0,∞)$[0,\infty )$ such that f(s)/s→∞$f\left(s\right)/s\to \infty$ as s→∞$s\to \infty$.     

On weighted Hilbert spaces and integration of functions of infinitely many variables

We study aspects of the analytic foundations of integration and closely related problems for functions of infinitely many variables _x1,_x2,…∈D$x_1,x_2,\dots \in D$. The setting is based on a reproducing kernel k$k$ for functions on D$D$, a family of non-negative weights _γu${\gamma }_u$, where u$u$ varies over all finite subsets of N$\mathbb{N}$, and a probability measure ρ$\rho$ on D$D$. We consider the weighted superposition K=_∑uγuku$K={\sum }_u{\gamma }_u{k}_u$ of finite tensor products _ku$k_u$ of k$k$. Under mild assumptions we show that K$K$ is a reproducing kernel on a properly chosen domain in the sequence space D^N$D^{\mathbb{N}}$, and that the reproducing kernel Hilbert space H(K)$H\left(K\right)$ is the orthogonal sum of the spaces H(_γuku)$H\left({\gamma }_u{k}_u\right)$. Integration on H(K)$H\left(K\right)$ can be defined in two ways, via a canonical representer or with respect to the product measure ρ^N${\rho }^{\mathbb{N}}$ on D^N$D^{\mathbb{N}}$. We relate both approaches and provide sufficient conditions for the two approaches to coincide.