Integral properties of the classical warping function of a simply connected domain

Let u(z,G) be the classical warping function of a simply connected domain G. We prove that the L ^p -norms of the warping function with different exponents are related by a sharp isoperimetric inequality, including the functional u(G) = sup _x∈G u(x, G). A particular case of our result is the classical Payne inequality for the torsional rigidity of a domain. On the basis of the warping function, we construct a new physical functional possessing the isoperimetric monotonicity property. For a class of integrals depending on the warping function, we also obtain a priori estimates in terms of the L ^p -norms of the warping function as well as the functional u(G). In the proof, we use the estimation technique on level lines proposed by Payne.     

Isoperimetric monotony of the L p -norm of the warping function of a plane simply connected domain

Let G be a simply connected domain and let u(x,G) be its warping function. We prove that L ^p -norms of functions u and u ^?1 are monotone with respect to the parameter p. This monotony also gives isoperimetric inequalities for norms that correspond to different values of the parameter p. The main result of this paper is a generalization of classical isoperimetric inequalities of St.Venant-Pólya and the Payne inequalities.     

Isoperimetric inequalities for L p -norms of the stress function of a multiply connected plane domain

Let u(x,G) be the stress function of a multiply connected plane domain G. We construct new domain functionals depending on this stress function which are isoperimetrically monotone with respect to the free parameter. A particular case of the proved result is the Payne inequality for the torsional rigidity of G.     

Isoperimetric properties of Euclidean boundary moments of a simply connected domain

We consider integral functionals of a simply connected domain which depend on the distance to the domain boundary. We prove an isoperimetric inequality generalizing theorems derived by the Schwarz symmetrization method. For L ^p -norms of the distance function we prove an analog of the Payne inequality for the torsional rigidity of the domain. In compare with the Payne inequality we find new extremal domains different from a disk.     

On circuits and pancyclic line graphs

Clark proved that L(G) is hamiltonian if G is a connected graph of order n ≥ 6 such that deg u + deg v ≥ n – 1 – p(n) for every edge uv of G, where p(n) = 0 if n is even and p(n) = 1 if n is odd. Here it is shown that the bound n – 1 – p(n) can be decreased to (2n + 1)/3 if every bridge of G is incident with a vertex of degree 1, which is a necessary condition for hamiltonicity of L(G). Moreover, the conclusion that L(G) is hamiltonian can be strengthened to the conclusion that L(G) is pancyclic. Lesniak-Foster and Williamson proved that G contains a spanning closed trail if |V(G)| = n ≥ 6, δ(G) ≥ 2 and deg u + deg v ≥ n – 1 for every pair of nonadjacent vertices u and v. The bound n – 1 can be decreased to (2n + 3)/3 if G is connected and bridgeless, which is necessary for G to have a spanning closed trail.     

Existence results for quasilinear elliptic equations with multivalued nonlinear terms

In this paper we study the existence of solutions u ∈ \({{W}^{1,p}_{0}}\) (Ω) with △ _p u ∈ L ²(Ω) for the Dirichlet problem 1 $$ \left\{ \begin{array} [c]{l}-\triangle_{p}u\left( x\right) \in-\partial{\Phi}\left( u\left( x\right) \right) +G\left( x,u\left( x\right) \right) ,x\in{\Omega},\\ u\mid_{\partial{\Omega}}=0, \end{array} \right. $$ where Ω ? R ^N is a bounded open set with boundary ?Ω, △ _p stands for the p?Laplace differential operator, ?Φ denotes the subdifferential (in the sense of convex analysis) of a proper convex and lower semicontinuous function Φ and G : Ω × R → 2^R is a multivalued map. We prove two existence results: the first one deals with the case where the multivalued map u ? G(x, u) is upper semicontinuous with closed convex values and the second one deals with the case when u ? G(x, u) is lower semicontinuous with closed (not necessarily convex) values.     

Nonlinear diffusions, hypercontractivity and the optimal L-Euclidean logarithmic Sobolev inequality

The equation u_t=Δ_p(u^1/(p−1)) for p>1 is a nonlinear generalization of the heat equation which is also homogeneous, of degree 1. For large time asymptotics, its links with the optimal L^p-Euclidean logarithmic Sobolev inequality have recently been investigated. Here we focus on the existence and the uniqueness of the solutions to the Cauchy problem and on the regularization properties (hypercontractivity and ultracontractivity) of the equation using the L^p-Euclidean logarithmic Sobolev inequality. A large deviation result based on a Hamilton-Jacobi equation and also related to the L^p-Euclidean logarithmic Sobolev inequality is then stated.     

Radiation conditions and the exterior Dirichlet problem for a class of higher order elliptic equations

Denote by L a second order strongly elliptic operator in the Euclidian p-space $\text{R}$^p, and by P some real polynomial in one variable. First the wholespace-problem for the equation P(L)u = f is considered and asymptotic conditions are derived which yield an existence and uniqueness theorem. Then for the Dirichlet problem in some exterior domain G ? $\text{R}$^p a “Fredholm alternative theorem” is proved.     

Labeling bipartite permutation graphs with a condition at distance two

An L(p,q)-labeling of a graph G is an assignment f from vertices of G to the set of non-negative integers {0,1,…,λ} such that |f(u)−f(v)|≥p if u and v are adjacent, and |f(u)−f(v)|≥q if u and v are at distance 2 apart. The minimum value of λ for which G has L(p,q)-labeling is denoted by λ_p,q(G). The L(p,q)-labeling problem is related to the channel assignment problem for wireless networks.In this paper, we present a polynomial time algorithm for computing L(p,q)-labeling of a bipartite permutation graph G such that the largest label is at most (2p−1)+q(bc(G)−2), where bc(G) is the biclique number of G. Since λ_p,q(G)≥p+q(bc(G)−2) for any bipartite graph G, the upper bound is at most p−1 far from optimal.     

On n-Hamiltonian line graphs

With each nonempty graph G one can associate a graph L(G), called the line graph of G, with the property that there exists a one-to-one correspondence between E(G) and V(L(G)) such that two vertices of L(G) are adjacent if and only if the corresponding edges of G are adjacent. For integers m ≥ 2, the mth iterated line graph L^m(G) of G is defined to be L(L^m-1(G)). A graph G of order p ≥ 3 is n-Hamiltonian, 0 ≤ n ≤ p ? 3, if the removal of any k vertices, 0 ≤ k ≤ n, results in a Hamiltonian graph. It is shown that if G is a connected graph with δ(G) ≥ 3, where δ(G) denotes the minimum degree of G, then L²(G) is (δ(G) ? 3)-Hamiltonian. Furthermore, if G is 2-connected and δ(G) ≥ 4, then L²(G) is (2δ(G) ? 4)-Hamiltonian. For a connected graph G which is neither a path, a cycle, nor the graph K(1, 3) and for any positive integer n, the existence of an integer k such that L^m(G) is n-Hamiltonian for every m ≥ k is exhibited. Then, for the special case n = 1, bounds on (and, in some cases, the exact value of) the smallest such integer k are determined for various classes of graphs.     

Graph Equation for Line Graphs and m-Step Graphs

Given a graph G, the m-step graph of G, denoted by S _m (G), has the same vertex set as G and an edge between two distinct vertices u and v if there is a walk of length m from u to v. The line graph of G, denoted by L(G), is a graph such that the vertex set of L(G) is the edge set of G and two vertices u and v of L(G) are adjacent if the edges corresponding to u and v share a common end vertex in G. We characterize connected graphs G such that S _m (G) and L(G) are isomorphic.     

On graphs satisfying a local ore-type condition

For an integer i, a graph is called an L_i-graph if, for each triple of vertices u, v, w with d(u, v) = 2 and w (element of) N(u) (intersection) N(v), d(u) + d(v) ≥ | N(u) (union) N(v) (union) N(w)| —i. Asratian and Khachatrian proved that connected L_o-graphs of order at least 3 are hamiltonian, thus improving Ore's Theorem. All K_1,3-free graphs are L₁-graphs, whence recognizing hamiltonian L₁-graphs is an NP-complete problem. The following results about L₁-graphs, unifying known results of Ore-type and known results on K_1,3-free graphs, are obtained. Set K = lcub;G|K_p,p+1 (contained within) G (contained within) K_p V K_p+1 for some ρ ≥ } (v denotes join). If G is a 2-connected L₁-graph, then G is 1-tough unless G (element of) K. Furthermore, if G is as connected L₁-graph of order at least 3 such that |N(u) (intersection) N(v)| ≥ 2 for every pair of vertices u, v with d(u, v) = 2, then G is hamiltonian unless G ϵ K, and every pair of vertices x, y with d(x, y) ≥ 3 is connected by a Hamilton path. This result implies that of Asratian and Khachatrian. Finally, if G is a connected L₁-graph of even order, then G has a perfect matching. © 1996 John Wiley & Sons, Inc.     

Spectral analysis on {{\rm SL}(2, \mathbb{R})}

Let G be the group ${{\rm SL}(2, \mathbb{R})}$ . For this group we prove a version of Schwartz’s theorem on spectral analysis for the group G. We find the sharp range of Lebesgue spaces L ^p (G) for which a smooth function is not mean periodic unless it is a cusp form. Failure of the Schwartz-like theorem is also proved when C ^∞(G) is replaced by L ^p (G) with suitable p. We show that the last result is linked with the failure of the Wiener-tauberian theorem for G.     

Mutual estimates of <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript>-norms and the Bellman function

In this paper, we describe the range of the L^p-norm of a function under fixed L^p-norms with two other different exponents p and under a natural multiplicative restriction of the type of the Muckenhoupt condition. Particular cases of such results are simple inequalities as the interpolation inequality between two L^p-norms as well as such nontrivial inequalities as the Gehring inequality or the reverse H?lder inequality for Mackenhoupt weights. The basic method of our paper is the search for the exact Bellman function of the corresponding extremal problem. Bibliography: 5 Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 355, 2008, pp. 81–138.     

Some discontinuous translation-invariant linear forms

The author proved in [3] that every translation-invariant linear form on $\text{D}$(Rⁿ), as well as on other spaces of test functions and distributions, is necessarily continuous. The same result has also been proved for the Hilbert space L²(G) where G is a compact connected Abelian group. In contrast to this it is proved here that there do exist discontinuous translation-invariant linear forms on the Banach spaces l₁(Z) and L¹(R), and on the Hibert spaces L²(D) and L²(R). Here Z denotes the additive group of the integers, D denotes the totally disconnected compact Abelian Cantor discontinuum group, and R denotes the additive group of the real numbers. The proofs divide into two parts: A general criterion (Theorem 1) and proofs that the spaces l₁(Z), L²(D), L²(R), and L¹(R) satisfy this criterion (Theorems 2, 3, 4, and 5, respectively).     

Control problems governed by Sobolev partial differential equations

Let G be a bounded subset of Rⁿ with a smooth boundary and Q = G × (0, T]. We consider a control problem governed by the Sobolev initial-value problem My_t(u) + Ly(u) = u in L²(Q), y(·, 0; u) = 0 in L₂(G), where M = M(x) and L = L(x) are symmetric uniformly strongly elliptic operators of orders 2m and 2l, respectively. The problem is to find the control u₀ of L²(Q)-norm at most b that steers to within a prescribed tolerance ? of a given function Z in L²(G) and that minimizes a certain energy functional. Our main results establish regularity properties of u₀. We also give results concerning the existence and uniqueness of the optimal control, the controllability of Sobolev initial-value problems, and properties of the Lagrange multipliers associated with the problem constraints.     

Φ-Harmonic functions on discrete groups and the first ℓΦ-cohomology

We study the first cohomology groups of a countable discrete group G with coefficients in a G-module ?^Φ(G), where Φ is an N-function of class Δ₂(0) ∩ ?₂(0). Developing the ideas of Puls and Martin-Valette for a finitely generated group G, we introduce the discrete Φ-Laplacian and prove a theorem on the decomposition of the space of Φ-Dirichlet finite functions into the direct sum of the spaces of Φ-harmonic functions and ?^Φ(G) (with an appropriate factorization). We prove also that if a finitely generated group G has a finitely generated infinite amenable subgroup with infinite centralizer then \(\bar H^1\) (G, ?^Φ(G)) = 0. In conclusion, we show the triviality of the first cohomology group for the wreath product of two groups one of which is nonamenable.     

On the boundary limits of monotone Sobolev functions in variable exponent Orlicz spaces

Our aim in this note is to deal with boundary limits of monotone Sobolev functions with ▽u∈ Lp(·)logLq(·)(B) for the unit ball BRn. Here p(·) and q(·) are variable exponents satisfyingthe log-Hlder and the log log-Hlder conditions, respectively.