Defective choosability of graphs with no edge‐plus‐independent‐set minor

It is proved that, if s ≥ 2, a graph that does not have K₂ + K _s = K₁ + K_{1, s} as a minor is (s, 1)*‐choosable. This completes the proof that such a graph is (s + 1 ? d,d)*‐choosable whenever 0 ≤ d ≤ s ?1 © 2003 Wiley Periodicals, Inc. J Graph Theory 45: 51–56, 2004     

Sharp bounds for the number of 3‐independent partitions and the chromaticity of bipartite graphs

Given a graph G and an integer k ≥ 1, let α(G, k) denote the number of k‐independent partitions of G. Let ??^?s(p,q) (resp., ??₂^?s(p,q)) denote the family of connected (resp., 2‐connected) graphs which are obtained from the complete bipartite graph K_p,q by deleting a set of s edges, where p ≥ q ≥ 2. This paper first gives a sharp upper bound for α(G,3), where G ∈ ?? ^?s(p,q) and 0 ≤ s ≤ (p ? 1)(q ? 1) (resp., G ∈ ?? ₂^?s(p,q) and 0 ≤ s ≤ p + q ? 4). These bounds are then used to show that if G ∈ ?? ^?s(p,q) (resp., G ∈ ?? ₂^?s (p,q)), then the chromatic equivalence class of G is a subset of the union of the sets ??^?s_i(p+i,q?i) where max and s_i = s ? i(p?q+i) (resp., a subset of ??₂^?s(p,q), where either 0 ≤ s ≤ q ? 1, or s ≤ 2q ? 3 and p ≥ q + 4). By applying these results, we show finally that any 2‐connected graph obtained from K_p,q by deleting a set of edges that forms a matching of size at most q ? 1 or that induces a star is chromatically unique. © 2001 John Wiley & Sons, Inc. J Graph Theory 37: 48–77, 2001     

Regularity of the obstacle problem for a fractional power of the laplace operator

Given a function φ and s ∈ (0, 1), we will study the solutions of the following obstacle problem:

• u ≥ φ in ?ⁿ,
• (??)^su ≥ 0 in ?ⁿ,
• (??)^su(x) = 0 for those x such that u(x) > φ(x),
• lim_{|x| → + ∞} u(x) = 0.

We show that when φ is C^{1, s} or smoother, the solution u is in the space C^{1, α} for every α < s. In the case where the contact set {u = φ} is convex, we prove the optimal regularity result u ∈ C^{1, s}. When φ is only C^{1, β} for a β < s, we prove that our solution u is C^{1, α} for every α < β. © 2006 Wiley Periodicals, Inc.     

On F-Sobolev and Orlicz-Sobolev inequalities

Let F ∈ C([0,∞)) be a positive increasing function such that Φ(s):= |s|F(|s|) is a Young function. In general, the F-Sobolev inequality and the Φ-Orlicz-Sobolev inequality are not equivalent. In this paper, a growth condition on F is presented for these two inequalities to be equivalent. The main result generalizes the corresponding known one for F(s) = log^δ(1 + s) (δ > 0). As an application, some criteria are presented for the F-Sobolev inequality to hold.     

On s‐Hamiltonian Line Graphs

For an integer s ≥ 0, a graph G is s‐hamiltonian if for any vertex subset with |S^′| ≤ s, G ‐ S^′ is hamiltonian. It is well known that if a graph G is s‐hamiltonian, then G must be (s+2)‐connected. The converse is not true, as there exist arbitrarily highly connected nonhamiltonian graphs. But for line graphs, we prove that when s ≥ 5, a line graph is s‐hamiltonian if and only if it is (s+2)‐connected.     

Optimal Preemptive Online Algorithms for Scheduling with Known Largest Size on Two Uniform Machines

In this paper, we consider the seml-online preemptive scheduling problem with known largest job sizes on two uniform machines. Our goal is to maximize the continuous period of time （starting from time zero） when both machines are busy, which is equivalent to maximizing the minimum machine completion time if idle time is not introduced. We design optimal deterministic semi-online algorithms for every machine speed ratio s ∈ [1, ∞）, and show that idle time is required to achieve the optimality during the assignment procedure of the algorithm for any s 〉 （s^2 ＋ 3s ＋ 1）/（s^2 ＋ 2s ＋ 1）. The competitive ratio of the algorithms is （s^2 ＋ 3s ＋ 1）/（s^2 ＋ 2s ＋ 1）, which matches the randomized lower bound for every s ≥ 1. Hence randomization does not help for the discussed preemptive scheduling problem.     

The inducibility of complete bipartite graphs

For any s ≥ 1 and t ≥ (^S₂), we prove that among all graphs with n vertices the graph that contains the maximal number of induced copies of K_{t, t+s} for any fixed s ≥ 1 and t ≥ (^s₂) is K_{(n/2)+α(n/2)-α} for some function α = o(n). We show that this is not valid for t < (^s₂). Analogous results for complete multipartite graphs are also obtained.     

Norm Inflation and Ill-Posedness for the Degasperis-Procesi Equation

For s < 3/2, it is shown that the Cauchy problem for the Degasperis-Procesi equation (DP) is ill-posed in Sobolev spaces H ^s . If 1/2 ≤ s < 3/2, then ill-posedness is due to norm inflation. This means that there exist DP solutions who are initially arbitrarily small and eventually arbitrarily large with respect to the H ^s norm, in an arbitrarily short time. Since DP solutions conserve a quantity equivalent to the L ²-norm, there is no norm inflation in H ⁰ for these solutions. In this case, ill-posedness is caused by failure of uniqueness. For all other s < 1/2, the situation is similar to H ⁰. Considering that DP is locally well-posed in H ^s for s > 3/2, this work establishes 3/2 as the critical index of well-posedness in Sobolev spaces.     

Nonradial Large Solutions of Sublinear Elliptic Equations

We show that the equation Δu = p(x)f(u) has a positive solution on R ^N , N ≥ 3, satisfying <artwork name="GAPA31011ei1"> <artwork name="GAPA31011ei2"> if and only if <artwork name="GAPA31011ei3"> when ψ(r) = min{p(x): |x| = r}. The nondecreasing continuous function f satisfies f(0) = 0, f (s) > 0 for s > 0, and sup _{s ≥ 1} f(s)/s<∞, and the nonnegative continuous function p is required to be asymptotically radial. This extends previous results which required the function p to be constant or radial.     

Boundedness of solutions to a quasilinear parabolic–elliptic Keller–Segel system with logistic source

We study a quasilinear parabolic–elliptic Keller–Segel system involving a source term of logistic type u_t = ? ? (?(u) ? u) ? χ ? ? (u ? v) + g(u), ? Δv = ? v + u in Ω × (0,T), subject to nonnegative initial data and the homogeneous Neumann boundary condition in a bounded domain with smooth boundary, n ≥ 1, χ > 0, ? ≥ c₁s^p for s ≥ s₀ > 1, and g(s) ≤ as ? μs² for s > 0 with a,g(0) ≥ 0, μ > 0. There are three nonlinear mechanisms included in the chemotaxis model: the nonlinear diffusion, aggregation and logistic absorption. The interaction among the triple nonlinearities shows that together with the nonlinear diffusion, the logistic absorption will dominate the aggregation such that the unique classical solution of the system has to be global in time and bounded, regardless of the initial data, whenever , or, equivalently, , which enlarge the parameter range , or , required by globally bounded solutions of the quasilinear K‐S system without the logistic source. Copyright © 2013 John Wiley & Sons, Ltd.     

On the form of homomorphisms into the differential group Ls 1 and their extensibility

Let L_s ¹ (s ∈ ?) be the s-th differential group, that is the set {(x1,…,x_s): x₁ ≠ 0, x_n ∈ K, n =1,2,…,s} (K ∈ {?,?}) together with the group operation which describes the chain rules (up to order s) for C^s-functions with fixed point 0. We consider homomorphisms Φ_s, Φ_s = (f₁,…,f_s) from an abelian group (G,+) into L_s ¹ such that f₁ = 1, f₂ = … = f_p+2 = 0, 0_p+2 ≠ 0 for a fixed, but arbitrary p ≥ 0 such that p + 2 ≤ s (then f_p+2 is necessarily a homomorphism from (G, +) to (K, +). Let l ∈ ? or l = ∞. We present a criterion for the extensibility of Φ_s to a homomorphism Φ_s+l from (G, +) to L_s+1 ¹ (L_∞ ¹, if l = ∞), by proving that such an extension (continuation) exists iff the component functions f_n of Φ_s with s - p ≤ n ≤ min(s - p + l - 1,s) are certain polynomials in f_P+2 (see Theorem 1). We also formulate the problem in the language of truncated formal power series in one indeterminate X over K. The somewhat easier situation f ₁ ≠ 1 will be studied in a separate paper.     

Large time behavior of isentropic compressible Navier–Stokes system in ℝ3

We consider the long‐time behavior and optimal decay rates of global strong solution to three‐dimensional isentropic compressible Navier–Stokes (CNS) system in the present paper. When the regular initial data also belong to some Sobolev space with l?4 and s∈[0, 1], we show that the global solution to the CNS system converges to the equilibrium state at a faster decay rate in time. In particular, the density and momentum converge to the equilibrium state at the rates (1 + t)^?3/4?s/2 in the L²‐norm or (1 + t)^?3/2?s/2 in the L^∞‐norm, respectively, which are shown to be optimal for the CNS system. Copyright © 2010 John Wiley & Sons, Ltd.     

Long cycles passing through a specified path in a graph

For a graph G and an integer k ≥ 1, let ς_k(G) = d_G(v_i): {v₁, …, v_k} is an independent set of vertices in G}. Enomoto proved the following theorem. Let s ≥ 1 and let G be a (s + 2)-connected graph. Then G has a cycle of length ≥ min{|V(G)|, ς₂(G) − s} passing through any path of length s. We generalize this result as follows. Let k ≥ 3 and s ≥ 1 and let G be a (k + s − 1)-connected graph. Then G has a cycle of length ≥ min{|V(G)|, − s} passing through any path of length s. © 1998 John Wiley & Sons, Inc. J. Graph Theory 29: 177–184, 1998     

Unconditional uniqueness in the charge class for the Dirac–Klein–Gordon equations in two space dimensions

Recently, Grünrock and Pecher proved global well-posedness of the 2d Dirac–Klein–Gordon equations given initial data for the spinor and scalar fields in H ^s and H ^s+1/2 × H ^s-1/2, respectively, where s ≥ 0, but uniqueness was only known in a contraction space of Bourgain type, strictly smaller than the natural solution space C([0,T]; H ^s × H ^s+1/2 × H ^s-1/2). Here we prove uniqueness in the latter space for s ≥ 0. This improves a recent result of Pecher, where the range s > 1/30 was covered.     

On the regularization mechanism for the periodic Korteweg–de Vries equation

In this paper we develop and use successive averaging methods for explaining the regularization mechanism in the the periodic Korteweg–de Vries (KdV) equation in the homogeneous Sobolev spaces Ḣ^s for s ≥ 0. Specifically, we prove the global existence, uniqueness, and Lipschitz‐continuous dependence on the initial data of the solutions of the periodic KdV. For the case where the initial data is in L₂ we also show the Lipschitz‐continuous dependence of these solutions with respect to the initial data as maps from Ḣ^s to Ḣ^s for s ∈(−1,0]. © 2010 Wiley Periodicals, Inc.     

Asymptotic Behavior of Variable-Coefficient Toeplitz Determinants

For a continuous function s\sigma defined on [0,1]×\mathbbT[0,1]\times\mathbb{T}, let \ops\op\sigma stand for the (n+1)×(n+1)(n+1)\times(n+1) matrix whose (j,k)(j,k)-entries are equal to \frac1 2pò₀^2p s( \fracjn,e^iq) e^-i(j-k)q  dq,        j,k = 0,1,...,n . \displaystyle \frac{1} {2\pi}\int_0^{2\pi} \sigma \left( \frac{j}{n},e^{i\theta}\right) e^{-i(j-k)\theta} \,d\theta, \qquad j,k =0,1,\dots,n~. These matrices can be thought of as variable-coefficient Toeplitz matrices or as the discrete analogue of pseudodifferential operators. Under the assumption that the function s\sigma possesses a logarithm which is sufficiently smooth on [0,1]×\mathbbT[0,1]\times\mathbb{T}, we prove that the asymptotics of the determinants of \ops\op\sigma are given by det[\ops] ~ G[s]⁽ⁿ⁺¹⁾E[s]     \text as   n?￥ , \det \left[\op\sigma\right] \sim G[\sigma]^{(n+1)}E[\sigma] \quad \text{ as \ } n\to\infty~, where G[s]G[\sigma] and E[s]E[\sigma] are explicitly determined constants. This formula is a generalization of the Szegö Limit Theorem. In comparison with the classical theory of Toeplitz determinants some new features appear.     

A Nonhomogeneous Boundary-Value Problem for the Korteweg–de Vries Equation Posed on a Finite Domain

Abstract

Studied here is an initial- and boundary-value problem for the Korteweg–de Vries equation posed on a bounded interval with nonhomogeneous boundary conditions. This particular problem arises naturally in certain circumstances when the equation is used as a model for waves and a numerical scheme is needed. It is shown here that this initial-boundary-value problem is globally well-posed in the L ₂-based Sobolev space H  ^s (0, 1) for any s ≥ 0. In addition, the mapping that associates to appropriate initial- and boundary-data the corresponding solution is shown to be analytic as a function between appropriate Banach spaces.     

An unconditionally stable alternating direction implicit scheme for the two space dimensional linear hyperbolic equation

We report a new unconditionally stable implicit alternating direction implicit (ADI) scheme of O(k² + h²) for the difference solution of linear hyperbolic equation u_tt + 2αu_t + β²u = u_xx + u_yy + f(x, y, t), αβ ≥ 0, 0 < x, y < 1, t > 0 subject to appropriate initial and Dirichlet boundary conditions, where α > 0 and β ≥ 0 are real numbers. The resulting system of algebraic equations is solved by split method. Numerical results are provided to demonstrate the efficiency and accuracy of the method. © 2001 John Wiley & Sons, Inc. Numer Methods Partial Differential Eq 17: 684–688, 2001     

The Calderón problem for variable coefficients nonlocal elliptic operators

In this paper, we introduce an inverse problem of a Schrödinger type variable nonlocal elliptic operator (???(A(x)?))^s+q), for 0<s<1. We determine the unknown bounded potential q from the exterior partial measurements associated with the nonlocal Dirichlet-to-Neumann map for any dimension n≥2. Our results generalize the recent initiative [18 Ghosh, T., Salo, M., Uhlmann, G. (2016). The Calderón problem for the fractional Schrödinger equation. arXiv preprint arXiv:1609.09248. [Google Scholar]] of introducing and solving inverse problem for fractional Schrödinger operator ((?Δ)^s+q) for 0<s<1. We also prove some regularity results of the direct problem corresponding to the variable coefficients fractional differential operator and the associated degenerate elliptic operator.     

Some new Triebel-Lizorkin spaces on spaces of homogeneous type and their frame characterizations

Let(X,p,μ)d,θ be a space of homogeneous type,(?) ∈(0,θ],|s|＜(?) andmax{d/(d＋(?)),d/(d＋s＋(?))}＜q≤∞.The author introduces the new Triebel-Lizorkin spaces (?)_∞q~s(X) and establishes the framecharacterizations of these spaces by first establishing a Plancherel-P(?)lya-type inequalityrelated to the norm of the spaces (?)_∞q~s(X).The frame characterizations of the Besovspace (?)_pq~s(X) with|s|＜(?),max{d/(d＋(?)),d/(d＋s＋(?))}＜p≤∞ and 0＜q≤∞and the Triebel-Lizorkin space (?)_pq~s(X)with|s|＜(?),max{d/(d＋(?)),d/(d＋s＋(?))}＜p＜∞ and max{d/(d＋(?)),d/(d＋s＋(?))}＜q≤∞ are also presented.Moreover,the au-thor introduces the new TriebeI-Lizorkin spaces b(?)_∞q~s(X) and H(?)_∞q~s(X) associated to agiven para-accretive function b.The relation between the space b(?)_∞q~s(X) and the spaceH(?)_∞q~s(X) is also presented.The author further proves that if s＝0 and q＝2,thenH(?)_∞q~s(X)＝(?)_∞q~s(X),which also gives a new characterization of the space BMO(X),since (?)_∞q~s(X)＝BMO(X).