Keller-Osserman type conditions for differential inequalities with gradient terms on the Heisenberg group

We study the qualitative behavior of non-negative entire solutions of differential inequalities with gradient terms on the Heisenberg group. We focus on two classes of inequalities: Δφu?f(u)l(|∇u|) and Δφu?f(u)−h(u)g(|∇u|), where f, l, h, g are non-negative continuous functions satisfying certain monotonicity properties. The operator Δφ, called the φ-Laplacian, generalizes the p-Laplace operator considered by various authors in this setting. We prove some Liouville theorems introducing two new Keller-Osserman type conditions, both extending the classical one which appeared long ago in the study of the prototype differential inequality Δu?f(u) in Rm. We show sharpness of our conditions when we specialize to the p-Laplacian. While proving these results we obtain a strong maximum principle for Δφ which, to the best of our knowledge, seems to be new. Our results continue to hold, with the obvious minor modifications, also for Euclidean space.     

A note on Keller-Osserman conditions on Carnot groups

This paper deals with the study of differential inequalities with gradient terms on Carnot groups. We are mainly focused on inequalities of the form Δ_φu≥f(u)l(|∇₀u|), where f, l and φ are continuous functions satisfying suitable monotonicity assumptions and Δ_φ is the φ-Laplace operator, a natural generalization of the p-Laplace operator which has recently been studied in the context of Carnot groups. We extend to general Carnot groups the results proved in Magliaro et al. (2011) [7] for the Heisenberg group, showing the validity of Liouville-type theorems under a suitable Keller-Osserman condition. In doing so, we also prove a maximum principle for inequality Δ_φu≥f(u)l(|∇₀u|). Finally, we show sharpness of our results for a general φ-Laplacian.     

Doubly nonlinear evolution equations governed by time-dependent subdifferentials in reflexive Banach spaces

We prove the existence of solutions of the Cauchy problem for the doubly nonlinear evolution equation: dv(t)/dt+V_∂φt(u(t))∋f(t), v(t)∈H_∂ψ(u(t)), 0<t<T, where H_∂ψ (respectively, V_∂φt) denotes the subdifferential operator of a proper lower semicontinuous functional ψ (respectively, φt explicitly depending on t) from a Hilbert space H (respectively, reflexive Banach space V) into (−∞,+∞] and f is given. To do so, we suppose that V?H≡H^∗?V^∗ compactly and densely, and we also assume smoothness in t, boundedness and coercivity of φt in an appropriate sense, but use neither strong monotonicity nor boundedness of H_∂ψ. The method of our proof relies on approximation problems in H and a couple of energy inequalities. We also treat the initial-boundary value problem of a non-autonomous degenerate elliptic-parabolic problem.     

Rearrangement inequalities for functionals with monotone integrands

The inequalities of Hardy-Littlewood and Riesz say that certain integrals involving products of two or three functions increase under symmetric decreasing rearrangement. It is known that these inequalities extend to integrands of the form F(u₁,…,u_m) where F is supermodular; in particular, they hold when F has nonnegative mixed second derivatives ∂_i∂_jF for all i≠j. This paper concerns the regularity assumptions on F and the equality cases. It is shown here that extended Hardy-Littlewood and Riesz inequalities are valid for supermodular integrands that are just Borel measurable. Under some nondegeneracy conditions, all equality cases are equivalent to radially decreasing functions under transformations that leave the functionals invariant (i.e., measure-preserving maps for the Hardy-Littlewood inequality, translations for the Riesz inequality). The proofs rely on monotone changes of variables in the spirit of Sklar's theorem.     

Color-bounded hypergraphs, II: Interval hypergraphs and hypertrees

A color-bounded hypergraph is a hypergraph (set system) with vertex set X and edge set E={E₁,…,E_m}, together with integers s_i and t_i (1≤s_i≤t_i≤|E_i|) for i=1,…,m. A vertex coloring φ is feasible if the number of colors occurring in edge E_i satisfies s_i≤|φ(E_i)|≤t_i, for every i≤m.In this paper we point out that hypertrees-hypergraphs admitting a representation over a (graph) tree where each hyperedge E_i induces a subtree of the underlying tree-play a central role concerning the set of possible numbers of colors that can occur in feasible colorings. We also consider interval hypergraphs and circular hypergraphs, where the underlying graph is a path or a cycle, respectively. Sufficient conditions are given for a ‘gap-free’ chromatic spectrum; i.e., when each number of colors is feasible between minimum and maximum. The algorithmic complexity of colorability is studied, too.Compared with the ‘mixed hypergraphs’-where ‘D-edge’ means (s_i,t_i)=(2,|E_i|), while ‘C-edge’ assumes (s_i,t_i)=(1,|E_i|−1)-the differences are rather significant.     

A sufficient condition for blowup solutions of nonlinear heat equations

The author discusses the initial-boundary value problem (u_i)_t=Δu_i+f_i(u₁,…,u_m) with and u_i(x,0)=φ_i(x), i=1,…,m, in a bounded domain Ω⊂Rn. Under suitable assumptions on f_i, he proves that, if φ_i?(1+ε₀)ψ_i in , for some small ε₀>0, then the solutions blow up in a finite time, where ψ_i is a positive solution of Δψ_i+f_i(ψ₁,…,ψ_m)?0, with ψ_i|_∂Di=0 for i=1,…,m. If m=1, the initial value can be negative in a subset of Ω.     

Asymptotic representations of solutions of second-order differential equations

We establish asymptotic representations as t → ω (ω ≤ + ∞) of a class of monotone solutions of the second-order differential equation y″ = f(t, y, y′), where f:[a,ω[× Δ _Y0 × Δ _Y1 is a continuous function asymptotically close on the considered class of solutions to a function of the form ±p(t)φ ₀(y)φ ₁(y′) with functions φ ₀ and φ ₁ regularly varying as y → Y ₀ and y′ → Y ₁. Here Δ _Yi , i ∈ {0, 1}, is a one-sided neighborhood of Y _i , and Y _i is either zero or ±∞.     

Weighted inequalities and pointwise estimates for the multilinear fractional integral and maximal operators

In this article we prove weighted norm inequalities and pointwise estimates between the multilinear fractional integral operator and the multilinear fractional maximal. As a consequence of these estimations we obtain weighted weak and strong inequalities for the multilinear fractional maximal operator or function. In particular, we extend some results given in Carro et al. (2005) [7] to the multilinear context. On the other hand we prove weighted pointwise estimates between the multilinear fractional maximal operator Mα,B associated to a Young function B and the multilinear maximal operators Mψ=M0,ψ, ψ(t)=B(t1−α/(nm))^nm/(nm−α). As an application of these estimate we obtain a direct proof of the Lp−Lq boundedness results of Mα,B for the case B(t)=t and Bk(t)=tk(1+log⁺t) when 1/q=1/p−α/n. We also give sufficient conditions on the weights involved in the boundedness results of Mα,B that generalizes those given in Moen (2009) [22] for B(t)=t. Finally, we prove some boundedness results in Banach function spaces for a generalized version of the multilinear fractional maximal operator.     

Permanence and Positive Periodic Solutions for Kolmogorov Competing Species Systems

We prove the existence of periodic solutions in a compact attractor of (R⁺)ⁿ for the Kolmogorov system x′_i = x_if_i(t, x₁, …, x_n), i = l, …, n in the competitive case. Extension to differential delay equations are con- sidered too. Applications are given to Lotka-Volterra systems with periodic coefficients.     

Nonlinear abstract differential equations with deviated argument

In this paper we consider the nonlinear differential equation with deviated argument u^′(t)=Au(t)+f(t,u(t),u[φ(u(t),t)]), t∈R₊, in a Banach space (X,‖⋅‖), where A is the infinitesimal generator of an analytic semigroup. Under suitable conditions on the functions f and φ, we prove a global existence and uniqueness result for the above equation.     

BEST MONOTONE L_■-APPROXIMATIONS IN SEVERAL VARIABLES

Given a continuous function f defined on the unit cube of R~n and a convexfunction _t,_t(0)-0,_t(x)>0,for x>0,we prove that the set ofbest L~(t)-approximations by monotone functions has exactly one elementft,which is also a continuous function.Moreover if the family of convexfunctions {_t}t>0 converges uniformly on compact sets to a function _0,then the best approximation f_t→f_0 uniformly,as t→0,where fo is thebest approximation of f within the Orlicz space L~(0) The best approxima-tions{f_t}are obtained as well as minimizing integrals or the Luxemburgnorm     

Uniform asymptotic stability for perturbed neutral delay differential equations

One-dimensional perturbed neutral delay differential equations of the form (x(t)−P(t,x(t−τ)))′=f(t,x_t)+g(t,x_t) are considered assuming that f satisfies −v(t)M(φ)?f(t,φ)?v(t)M(−φ), where M(φ)=max{0,max_s∈[−r,0]φ(s)}. A typical result is the following: if ‖g(t,φ)‖?w(t)‖φ‖ and , then the zero solution is uniformly asymptotically stable providing that the zero solution of the corresponding equation without perturbation (x(t)−P(t,x(t−τ)))′=f(t,x_t) is uniformly asymptotically stable. Some known results associated with this equation are extended and improved.     

A note on the oscillatory property for nonlinear difference equations and differential equations

Criteria are given to determine the oscillatory property of solutions of the nonlinear difference equation: Δ^du_n + ∑_{i = 1}^mp_inf_i(u_n, Δu_n,…,Δ^{d ? 1}u_n) = 0, n = 0, 1, 2,…, where d is an arbitrary integer, generalizing results that have been obtained by B. Szmanda (J. Math. Anal. Appl.79 (1981), 90–95) for d = 2. Analogous results are given for the differential equation: u^(d) + ∑_{i = 1}^mp_i(t)f_i(u, u′,…, u^{(d ? 1)}) = 0, t ? t₀, which coincide with the criteria given by 2., 3., 599–602) and 4., 5., 6., 715–719) for the case m = 1.     

The Turán-type inequalities for complex polynomials in <Emphasis Type="Italic">L</Emphasis><Subscript>0</Subscript>-metrics

In this paper we obtain inequalities for measures of trigonometric polynomials of power (P _n (e ^iφ )) and general (T _n (t)) types with the help of measures and their mth derivatives.     

Where Does Smoothness Count the Most for Two-Point Boundary-Value Problems?

We study the complexity of scalar 2mth order elliptic two-point boundary-value problems Lu=f, error being measured in the energy norm. Previous work on the complexity of these problems has generally assumed that we had partial information about the right-hand side f and complete information about the coefficients of L. In this paper, we study the complexity of such problems when, in addition to partial information about f, we have only partial information about the coefficients of L. More precisely, we suppose that f has r derivatives in the L_p-sense, with r⩾−m and p∈[2, ∞], and that L has the usual divergence form Lv=∑_{0⩽i, j⩽m} (−1)ⁱ Dⁱ(a_i, j D^jv), with a_i, j being r_i, j-times continuously differentiable, where r_i, j⩾0. We first suppose that continuous linear information is available. Let r=min{r, min_{0⩽i, j⩽m} {r_i, j−i}}. If r=−m, the problem is unsolvable; for r>−m, we find that the ε-complexity is proportional to (1/ε)^1/(r+m), and we show that a finite element method (FEM) is optimal. We next suppose that only standard information (consisting of function and/or derivative evaluations) is available. Let r_min=min{r, min_{0⩽i, j⩽m} {r_i, j}}. If r_min=0, the problem is unsolvable; for r_min>0, we find that the ε-complexity is proportional to (1/ε)^1/r_min, and we show that a modified FEM (which uses only function evaluations, and not derivatives) is optimal.     

On monotone functions of tree structures

Let T be a rooted tree structure with n nodes a₁,…,a_n. A function f: {a₁,…,a_n} into {1 < ? < k} is called monotone if whenever a_i is a son of a_j, then f(a_i) ≥ f(a_j). The average number of monotone bijections is determined for several classes of tree structures. If k is fixed, for the average number of monotone functions asymptotic equivalents of the form c · ?^?nn^{?$\text{3}\text{2}$} (n → ∞) are obtained for several classes of tree structures.     

Color-bounded hypergraphs, I: General results

The concept of color-bounded hypergraph is introduced here. It is a hypergraph (set system) with vertex set X and edge set E={E₁,…,E_m}, where each edge E_i is associated with two integers s_i and t_i such that 1≤s_i≤t_i≤|E_i|. A vertex coloring φ:X→N is considered to be feasible if the number of colors occurring in E_i satisfies s_i≤|φ(E_i)|≤t_i, for all i≤m.Color-bounded hypergraphs generalize the concept of ‘mixed hypergraphs’ introduced by Voloshin [V. Voloshin, The mixed hypergraphs, Computer Science Journal of Moldova 1 (1993) 45-52], and a recent model studied by Drgas-Burchardt and ?azuka [E. Drgas-Burchardt, E. ?azuka, On chromatic polynomials of hypergraphs, Applied Mathematics Letters 20 (12) (2007) 1250-1254] where only lower bounds s_i were considered.We discuss the similarities and differences between our general model and the more particular earlier ones. An important issue is the chromatic spectrum-strongly related to the chromatic polynomial-which is the sequence whose kth element is the number of allowed colorings with precisely k colors (disregarding color permutations). Problems concerning algorithmic complexity are also considered.     

Toward a stochastic calculus for several Markov processes

In this paper we investigate a class of harmonic functions associated with a pair xt = (xt11, xt22) of strong Markov processes. In the case where both processes are Brownian motions, a smooth function f is harmonic if Δx1Δx2f(x1,x2) = 0. For these harmonic functions we investigate a certain boundary value problem which is analogous to the Dirichlet problem associated with a single process. One basic tool for this study is a generalization of Dynkin's formula, which can be thought of as a kind of stochastic Green's formula. Another important tool is the use of Markov processes xti?i obtained from xtii by certain random time changes. We call such a process a stochastic wave since it propogates deterministically through a certain family of sets; however its position on a given set is random.     

On the number of positive solutions of elliptic systems

The paper deals with the existence, multiplicity and nonexistence of positive radial solutions for the elliptic system div(|?|^{p –2}?) + λk_i (|x |) fⁱ (u₁, …,u_n) = 0, p > 1, R₁ < |x | < R₂, u_i (x) = 0, on |x | = R₁ and R₂, i = 1, …, n, x ∈ ?^N , where k_i and fⁱ, i = 1, …, n, are continuous and nonnegative functions. Let u = (u₁, …, u_n), φ (t) = |t |^{p –2}t, fⁱ₀ = lim_{‖ u ‖→0}((fⁱ ( u ))/(φ (‖ u ‖))), fⁱ_∞= lim_{‖ u ‖→∞}((fⁱ ( u ))/(φ (‖ u ‖))), i = 1, …, n, f = (f¹, …, fⁿ), f ₀ = ∑ⁿ _{i =1} fⁱ ₀ and f _∞ = ∑ⁿ _{i =1} fⁱ _∞. We prove that either f ₀ = 0 and f _∞ = ∞ (superlinear), or f ₀ = ∞and f _∞ = 0 (sublinear), guarantee existence for all λ > 0. In addition, if fⁱ ( u ) > 0 for ‖ u ‖ > 0, i = 1, …, n, then either f ₀ = f _∞ = 0, or f ₀ = f _∞ = ∞, guarantee multiplicity for sufficiently large, or small λ, respectively. On the other hand, either f₀ and f_∞ > 0, or f₀ and f_∞ < ∞ imply nonexistence for sufficiently large, or small λ, respectively. Furthermore, all the results are valid for Dirichlet/Neumann boundary conditions. We shall use fixed point theorems in a cone. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)