Haj?asz-Sobolev imbedding and extension

The author establishes some geometric criteria for a Haj?asz-Sobolev -extension (resp. -imbedding) domain of Rn with n?2, s∈(0,1] and p∈[n/s,∞] (resp. p∈(n/s,∞]). In particular, the author proves that a bounded finitely connected planar domain Ω is a weak α-cigar domain with α∈(0,1) if and only if for some/all s∈[α,1) and p=(2−α)/(s−α), where denotes the restriction of the Triebel-Lizorkin space on Ω.     

On constants in the Füredi-Hajnal and the Stanley-Wilf conjecture

For a given permutation matrix P, let fP(n) be the maximum number of 1-entries in an n×n(0,1)-matrix avoiding P and let SP(n) be the set of all n×n permutation matrices avoiding P. The Füredi-Hajnal conjecture asserts that cP:=limn→∞fP(n)/n is finite, while the Stanley-Wilf conjecture asserts that is finite.In 2004, Marcus and Tardos proved the Füredi-Hajnal conjecture, which together with the reduction introduced by Klazar in 2000 proves the Stanley-Wilf conjecture.We focus on the values of the Stanley-Wilf limit (sP) and the Füredi-Hajnal limit (cP). We improve the reduction and obtain which decreases the general upper bound on sP from sP?constconstO(klog(k)) to sP?constO(klog(k)) for any k×k permutation matrix P. In the opposite direction, we show .For a lower bound, we present for each k a k×k permutation matrix satisfying cP=Ω(k²).     

Vertex Turán problems in the hypercube

Let Qn be the n-dimensional hypercube: the graph with vertex set n{0,1} and edges between vertices that differ in exactly one coordinate. For 1?d?n and F⊆d{0,1} we say that S⊆n{0,1} is F-free if every embedding satisfies i(F)?S. We consider the question of how large S⊆n{0,1} can be if it is F-free. In particular we generalise the main prior result in this area, for F=²{0,1}, due to E.A. Kostochka and prove a local stability result for the structure of near-extremal sets.We also show that the density required to guarantee an embedded copy of at least one of a family of forbidden configurations may be significantly lower than that required to ensure an embedded copy of any individual member of the family.Finally we show that any subset of the n-dimensional hypercube of positive density will contain exponentially many points from some embedded d-dimensional subcube if n is sufficiently large.     

Parabolic mean values and maximal estimates for gradients of temperatures

We aim to prove inequalities of the form for solutions of on a domain Ω=D×R⁺, where δ(x,t) is the parabolic distance of (x,t) to parabolic boundary of Ω, is the one-sided Hardy-Littlewood maximal operator in the time variable on R⁺, is a Calderón-Scott type d-dimensional elliptic maximal operator in the space variable on the domain D in Rd, and 0<λ<k<λ+d. As a consequence, when D is a bounded Lipschitz domain, we obtain estimates for the Lp(Ω) norm of δ2n−λn(∇2,1)u in terms of some mixed norm for the space with denotes the Besov norm in the space variable x and where .     

Integers with dense divisors 2

Let 1=d₁(n)<d₂(n)<?<d_τ(n)=n be the sequence of all positive divisors of the integer n in increasing order. We say that the divisors of n are t-dense iff max_1?i<τ(n)d_i+1(n)/d_i(n)?t. Let D(x,t) be the number of positive integers not exceeding x whose divisors are t-dense. We show that for x?3, and , we have , where , and d(w) is a continuous function which satisfies d(w)?1/w for w?1. We also consider other counting functions closely related to D(x,t).     

Finding large cycles in Hamiltonian graphs

We show how to find in Hamiltonian graphs a cycle of length n^{Ω(1/loglogn)}=exp(Ω(logn/loglogn)). This is a consequence of a more general result in which we show that if G has a maximum degree d and has a cycle with k vertices (or a 3-cyclable minor H with k vertices), then we can find in O(n³) time a cycle in G of length k^Ω(1/logd). From this we infer that if G has a cycle of length k, then one can find in O(n³) time a cycle of length k^{Ω(1/(log(n/k)+loglogn))}, which implies the result for Hamiltonian graphs. Our results improve, for some values of k and d, a recent result of Gabow (2004) [11] showing that if G has a cycle of length k, then one can find in polynomial time a cycle in G of length . We finally show that if G has fixed Euler genus g and has a cycle with k vertices (or a 3-cyclable minor H with k vertices), then we can find in polynomial time a cycle in G of length f(g)k^Ω(1), running in time O(n²) for planar graphs.     

Boundedness of rough singular integral operators on the Triebel-Lizorkin spaces

We consider the singular integral operator T with kernel K(x)=Ω(x)/n|x| and prove its boundedness on the Triebel-Lizorkin spaces provided that Ω satisfies a size condition which contains the case Ω∈Lr(Sn−1), r>1.     

On a property of plane curves

Let γ:[0,1]→²[0,1] be a continuous curve such that γ(0)=(0,0), γ(1)=(1,1), and γ(t)∈²(0,1) for all t∈(0,1). We prove that, for each n∈N, there exists a sequence of points Ai, 0?i?n+1, on γ such that A₀=(0,0), An+1=(1,1), and the sequences and , 0?i?n, are positive and the same up to order, where π₁, π₂ are projections on the axes.     

Beta-expansion and continued fraction expansion

For any real number β>1, let ε(1,β)=(ε₁(1),ε₂(1),…,εn(1),…) be the infinite β-expansion of 1. Define . Let x∈[0,1) be an irrational number. We denote by kn(x) the exact number of partial quotients in the continued fraction expansion of x given by the first n digits in the β-expansion of x. If is bounded, we obtain that for all x∈[0,1)?Q,

     

The asymptotic behaviour of the unique solution for the singular Lane-Emden-Fowler equation

By Karamata regular variation theory and constructing comparison functions, we show the exact asymptotic behaviour of the unique classical solution near the boundary to a singular Dirichlet problem −Δu=k(x)g(u), u>0, x∈Ω, u_|∂Ω=0, where Ω is a bounded domain with smooth boundary in RN; g∈C¹((0,∞),(0,∞)), , for each ξ>0, for some γ>0; and for some α∈(0,1), is nonnegative on Ω, which is also singular near the boundary.     

Partial autocorrelation functions of the fractional ARIMA processes with negative degree of differencing

Let be a fractional ARIMA(p,d,q) process with partial autocorrelation function α(·). In this paper, we prove that if d∈(−1/2,0) then |α(n)|∼|d|/n as n→∞. This extends the previous result for the case 0<d<1/2.     

Howe duality and combinatorial character formula for orthosymplectic Lie superalgebras

We study the Howe dualities involving the reductive dual pairs (O(d),spo(2m|2n)) and (Sp(d),osp(2m|2n)) on the (super)symmetric tensor of . We obtain complete decompositions of this space with respect to their respective joint actions. We also use these dualities to derive a character formula for these irreducible representations of spo(2m|2n) and osp(2m|2n) that appear in these decompositions.     

On an inhomogeneous slip-inflow boundary value problem for a steady flow of a viscous compressible fluid in a cylindrical domain

We investigate a steady flow of a viscous compressible fluid with inflow boundary condition on the density and inhomogeneous slip boundary conditions on the velocity in a cylindrical domain Ω=Ω₀×(0,L)∈R³. We show existence of a solution , p>3, where v is the velocity of the fluid and ρ is the density, that is a small perturbation of a constant flow (, ). We also show that this solution is unique in a class of small perturbations of . The term u⋅∇w in the continuity equation makes it impossible to show the existence applying directly a fixed point method. Thus in order to show existence of the solution we construct a sequence (vn,ρn) that is bounded in and satisfies the Cauchy condition in a larger space L_∞(0,L;L₂(Ω₀)) what enables us to deduce that the weak limit of a subsequence of (vn,ρn) is in fact a strong solution to our problem.     

Feedback numbers of Kautz digraphs

A subset of vertices (resp. arcs) of a graph G is called a feedback vertex (resp. arc) set of G if its removal results in an acyclic subgraph. Let f(d,n) (f_a(d,n)) denote the minimum cardinality over all feedback vertex (resp. arc) sets of the Kautz digraph K(d,n). This paper proves that for any integers d?2 and n?1

     

A generalization of a classical zero-sum problem

In this note, we supply the details of the proof of the fact that if a₁,…,a_n+Ω(n) are integers, then there exists a subset M⊂{1,…,n+Ω(n)} of cardinality n such that the equation

     

Inheritance of surjectivity for partial differential operators on spaces of real analytic functions

For an open set let A(Ω) be the space of real analytic functions on Ω. Improving our previous results, we prove a new quantitative characterization of the linear partial differential operators P(D) which are surjective on A(Ω). This implies that P(D) is surjective on if P(D) is surjective on A(Ω) for some Ω≠∅. Further inheritance properties for the surjectivity of P(D) on A(Ω) are also obtained.     

Boundary behavior in the Loewner-Nirenberg problem

Let Ω⊂Rⁿ be a bounded domain of class C^2+α, 0<α<1. We show that if n?3 and u_Ω is the maximal solution of equation Δu=n(n-2)u^(n+2)/(n-2) in Ω, then the hyperbolic radius is of class C^2+α up to the boundary. The argument rests on a reduction to a nonlinear Fuchsian elliptic PDE.