Gradient Estimates for Some Semi-Linear Hypoelliptic Equations

Given some smooth vector fields X ₁,X ₂,…,X _m on a compact manifold M, if they satisfy Hörmander’s condition, we establish global gradient estimates for the positive smooth solutions to the semi-linear hypoelliptic equations $$Lu+au\log u+bu=\partial_tu, \quad \mbox{on} \ M\times[0,\infty) $$ and $$Lu+au\log u+bu=0, \quad \mbox{on} \ M, $$ where a,b are constants, and $L=\sum_{i}X_{i}^{2}-X_{0}$ . We partially generalize the results of Cao and Yau (Math. Z. 211:485–504, 1992).     

Existence of nontrivial solutions of linear functional equations

In this paper we study the functional equation $$\sum_{i=1}^n a_i f(b_i x+c_i h)=0 \quad (x, h \in \mathbb{C})$$ where a _i , b _i , c _i are fixed complex numbers and \({f \colon \mathbb{C} \to \mathbb{C}}\) is the unknown function. We show, that if there is i such that \({b_i / c_i \neq b_j /c_j}\) holds for any \({1 \leq j \leq n,\ j \neq i}\) , the functional equation has a nonconstant solution if and only if there are field automorphisms \({\phi_1, \ldots, \phi_k}\) of \({\mathbb{C}}\) such that \({\phi_1 \cdots \phi_k}\) is a solution of the equation.     

Gysin maps and cycle classes for Hodge cohomology

Iff:X→Y is a projective morphism between regular varieties over a field, we construct Gysin maps $$f_ * :H^i \left( {X,\Omega _{X/Z}^j } \right) \to H_{f(x)}^{i + d} \left( {X,\Omega _{Y/Z}^j } \right)$$ for the Hodge cohomology groups, whered-dimY-dimX. These Gysin maps have the expected properties, and in particular may be used to construct a cycle class map $$Cl_X :CH^i \left( {X,S} \right) \to H^i \left( {X,\Omega _{X/Z}^i } \right)$$ whereX is quasi-projective over a field,S is the singular locus, andCH ⁱ(X, S) is the relative Chow group of codimension-i cycles modulo rational equivalence. Simple properties of this cycle map easily imply the infinite dimensionality theorem for the Chow group of zero cycles of a normal projective varietyX overC with \(H^n \left( {X,\mathcal{O}_X } \right) \ne 0\) , wheren=dimX. One also recovers examples of Nori of affinen-dimensional varieties which support indecomposable vector bundles of rankn.     

A Note on Classical and p-adic Fréchet Functional Equations with Restrictions

Given X,Y two ${\mathbb{Q}}$ -vector spaces, and f : X → Y, we study under which conditions on the sets ${B_{k} \subseteq X, k=1,\ldots,s}$ , if ${\Delta_{h_1h_2 \cdots h_s}f(x) = 0}$ for all ${x \in X}$ and ${h_k \in B_k, k = 1,2,\ldots,s}$ , then ${\Delta_{h_1h_2\cdots h_{s}}f(x) = 0}$ for all ${(x,h_{1},\ldots,h_{s}) \in X^{s+1}}$ .     

Decomposable functions and representations of topological semigroups

Let a representation T of a unital topological semigroup G on a topological linear space X be given. We call ${x \in X}$ a finite vector if its orbit T(G)x is contained in a finite dimensional subspace. In this paper some statements on finite vectors will be proved and applied to the functional equation $$ f(g_1g_2\cdots g_n) = \sum_{E}\sum_{j=1}^{N_E}u^E_jv^E_j $$ where E runs through all proper non-empty subsets of ${\{1,2,\ldots,n\}, N_E \in \mathbb{N}}$ , and for each E, the functions ${u^E_j}$ only depend on variables g _i with ${i\in E}$ , while the ${v^E_j}$ only depend on g _i with ${i\notin E}$ .     

Eigenvalue comparisons for second order difference equations with periodic and antiperiodic boundary conditions

We consider a class of boundary value problems of the second order difference equation $$\Delta(r_{i-1}\Delta y_{i-1})-b_{i}y_{i}+\lambda a_{i}y_{i}=0,\quad 1\le i\le n,\ y_{0}=\alpha y_{n},\ y_{n+1}=\alpha y_{1}.$$ The class of problems considered includes those with antiperiodic, Dirichlet, and periodic boundary conditions. We focus on the structure of eigenvalues of this class of problems and comparisons of all eigenvalues as the coefficients {a _i } _i=1 ⁿ ,{b _i } _i=1 ⁿ , and {r _i } _i=0 ⁿ change.     

Bergman type operators on a class of weakly pseudoconvex domains

A necessary and sufficient condition for the boundedness of the operator: $(T_{s,u,u} f)(\xi ) = h^{u + \tfrac{v}{a}} (\xi )\smallint _{\Omega _a } h^s (\xi ')K_{s,u,v} (\xi ,\xi ')f(\xi ')dv(\xi ') on L^p (\Omega _a ,dv_\lambda ),1< p< \infty $ , is obtained, where $\Omega _a = \left\{ {\xi = (z,w) \in \mathbb{C}^{n + m} :z \in \mathbb{C}^n ,w \in \mathbb{C}^m ,|z|^2 + |w|^{2/a}< 1} \right\},h(\xi ) = (1 - |z|^2 )^a - |w|^2 $ andK _x,u,v (ξ,ξ′).This generalizes the works in literature from the unit ball or unit disc to the weakly pseudoconvex domain ω _a . As an appli cation, it is proved thatf?L _H ^p (ω _a ,dv _λ) implies $h\tfrac{{|a|}}{a} + |\beta |(\xi )D_2^a D_z^\beta f \in L^p (\Omega _a ,dv_\lambda ),1 \leqslant p< \infty $ , for any multi-indexa=(α₁,?,α _n and ß = (ß₁, —ß). An interesting question is whether the converse holds.     

On the resolution of singularities in affine toric 3- varieties

Let $x_{\Sigma(\sigma)}=\ {\rm spec C[\check \sigma \cap Z}^{n}]$ be an affine toric variety given by the monoid algebra $\rm C[\check \sigma \cap Z^{n}]$ , $\check \sigma$ the negative dual cone of a lattice cone σ ? Rⁿ, Σ(σ) the fan consisting of the faces of σ. Assume XΣ(σ) to have only quotient singularities. For n = 3 we classify all pairs X_Σ′, X_Σ(σ) which occur in minimal models of equivariant resolutions Φ: X_Σ′ → - X_Σ(σ) sucn that the regular toric variety XΣ′ has Picard number at most 3.     

Discretized likelihood methods—asymptotic properties of discretized likelihood estimators (DLE's)

Suppose thatX ₁,X ₂, ...,X _n , ... is a sequence of i.i.d. random variables with a densityf(x, θ). Letc _n be a maximum order of consistency. We consider a solution \(\hat \theta _n \) of the discretized likelihood equation $$\sum\limits_{i = 1}^n {\log f(X_i ,\hat \theta _n + rc_n^{ - 1} ) - } \sum\limits_{i = 1}^n {\log f(X_i ,\hat \theta _n ) = a_n (\hat \theta _n ,r)} $$ wherea _n (θ,r) is chosen so that \(\hat \theta _n \) is asymptotically median unbiased (AMU). Then the solution \(\hat \theta _n \) is called a discretized likelihood estimator (DLE). In this paper it is shown in comparison with DLE that a maximum likelihood estimator (MLE) is second order asymptotically efficient but not third order asymptotically efficient in the regular case. Further it is seen that the asymptotic efficiency (including higher order cases) may be systematically discussed by the discretized likelihood methods.     

A unifying approach to the regularization of Fourier polynomials

In a previous paper [4] the following problem was considered:find, in the class of Fourier polynomials of degree n, the one which minimizes the functional: (0.1) $$J^* [F_n ,\sigma ] = \left\| {f - F_n } \right\|^2 + \sum\limits_{r = 1}^\infty {\frac{{\sigma ^r }}{{r!}}} \left\| {F_n^{(r)} } \right\|^2$$ , where ∥·∥ is theL ² norm,F _n ^(r) is therth derivative of the Fourier polynomialF _n (x), andf(x) is a given function with Fourier coefficientsc _k . It was proved that the optimal polynomial has coefficientsc _k ^* given by (0.2) $$c_k^* = c_k e^{ - \sigma k^2 } ; k = 0, \pm ,..., \pm n$$ . In this paper we consider the more general functional (0.3) $$\hat J[F_n ,\sigma _r ] = \left\| {f - F_n } \right\|^2 + \sum\limits_{r = 1}^\infty {\sigma _r \left\| {F_n^{(r)} } \right\|^2 }$$ , which reduces to (0.1) forσ _r =σ ^r /r!. We will prove that the classical sigma-factor method for the regularization of Fourier polynomials may be obtained by minimizing the functional (0.3) for a particular choice of the weightsσ _r . This result will be used to propose a motivated numerical choice of the parameterσ in (0.1).     

Sharp weak-type inequalities for Hilbert transform and Riesz projection

The paper is devoted to the study of the weak norms of the classical operators in the vector-valued setting.

1. Let S, H denote the singular integral involution operator and the Hilbert transform on $L^p \left( {\mathbb{T}, \ell _\mathbb{C}^2 } \right)$ , respectively. Then for 1 ≤ p ≤ 2 and any f, $$\left\| {\mathcal{S}f} \right\|_{p,\infty } \leqslant \left( {\frac{1} {\pi }\int_{ - \infty }^\infty {\frac{{\left| {\tfrac{2} {\pi }\log \left| t \right|} \right|^p }} {{t^2 + 1}}dt} } \right)^{ - 1/p} \left\| f \right\|p,$$ $$\left\| {\mathcal{H}f} \right\|_{p,\infty } \leqslant \left( {\frac{1} {\pi }\int_{ - \infty }^\infty {\frac{{\left| {\tfrac{2} {\pi }\log \left| t \right|} \right|^p }} {{t^2 + 1}}dt} } \right)^{ - 1/p} \left\| f \right\|p.$$ Both inequalities are sharp.
2. Let P ₊ and P _? stand for the Riesz projection and the co-analytic projection on $L^p \left( {\mathbb{T}, \ell _\mathbb{C}^2 } \right)$ , respectively. Then for 1 ≤ p ≤ 2 and any f, $$\left\| {P + f} \right\|_{p,\infty } \leqslant \left\| f \right\|_p ,$$ $$\left\| {P - f} \right\|_{p,\infty } \leqslant \left\| f \right\|_p .$$ Both inequalities are sharp.
3. We establish the sharp versions of the estimates above in the nonperiodic case.

The results are new even if the operators act on complex-valued functions. The proof rests on the construction of an appropriate plurisubharmonic function and probabilistic techniques.     

Some necessary and sufficient conditions for existence of positive solutions for third order singular super-linear multi-point boundary value problems

We mainly study the existence of positive solutions for the following third order singular super-linear multi-point boundary value problem $$ \left \{ \begin{array}{l} x^{(3)}(t)+ f(t, x(t), x'(t))=0,\quad0 where \(0\leq\alpha_{i}\leq\sum_{i=1}^{m_{1}}\alpha_{i}<1\) , i=1,2,…,m ₁, \(0<\xi_{1}< \xi_{2}< \cdots<\xi_{m_{1}}<1\) , \(0\leq\beta_{j}\leq\sum_{i=1}^{m_{2}}\beta_{i}<1\) , j=1,2,…,m ₂, \(0<\eta_{1}< \eta_{2}< \cdots<\eta_{m_{2}}<1\) . And we obtain some necessary and sufficient conditions for the existence of C ¹[0,1] and C ²[0,1] positive solutions by means of the fixed point theorems on a special cone. Our nonlinearity f(t,x,y) may be singular at t=0 and t=1.     

Perturbation of spectra for a class of 2×2 operator matrices

In this paper, we study the perturbation of spectra for 2 × 2 operator matrices such as M _X = ( _{0 B} ^{A X} ) and M _Z = ( _{Z B} ^{A C} ) on the Hilbert space H ?? K and the sets $\bigcap\limits_{X \in \mathcal{B}(K,H)} {P_\sigma (M_X )} ,\bigcap\limits_{X \in \mathcal{B}(K,H)} {R_\sigma (M_X )} $ and $\bigcap\limits_{Z \in \mathcal{B}(H,K)} {\sigma (M_Z )} ,\bigcap\limits_{Z \in \mathcal{B}(H,K)} {P_\sigma (M_Z )} ,\bigcap\limits_{Z \in \mathcal{B}(H,K)} {R_\sigma (M_Z )} ,\bigcap\limits_{Z \in \mathcal{B}(H,K)} {C_\sigma (M_Z )} $ , where R(C) is a closed subspace, are characterized     

Wellposedness in the Lipschitz class for a quasi-linear hyperbolic system arising from a model of the atmosphere including water phase transitions

In this paper wellposedness is proved for a diagonal quasilinear hyperbolic system containing integral quadratic and Lipschitz continuous terms which prevent from looking for classical solutions in Sobolev spaces. It is the hyperbolic part of the system introduced in [Selvaduray and Fujita Yashima on Atti dell’Accademia delle Scienze di Torino 2011] as a model for air motion in ${\mathbf{R}^3}$ including water phase transitions. Unknown functions are: the densities ρ of dry air, π of water vapor, σ and ν of water in the liquid and solid state, dependent also on the mass m of the droplets or ice particles. Air velocity v and temperature T are assumed to be known. Solutions (ρ, π, σ, ν) lie in ${L^\infty(]0,\tau^*[; W^{1,\infty}(\Omega))^2 \times L^\infty(]0,\tau^*[; W^{1,\infty}(\Omega^+))^2}$ , where ${\Omega^+ = \Omega \times]0, +\infty[,\Omega \subset \mathbf{R}^3}$ is open and bounded, and τ* is sufficiently small; they depend continuously on initial data, temperature and velocities, which are tangent to ${\partial\Omega}$ ; they lie also in ${W^{1,q}(]0,\tau^*[;L^\infty(\Omega))^2 \times\,W^{1,q}(]0,\tau^*[;L^\infty(\Omega^+))^2}$ , where ${q \in [1, \infty]}$ .     

On the existence and smoothness of a generalized solution of a nonlinear differential equation with degeneration

Let Ω be an arbitrary open set in R _n , and let σ(x) and g _i (x), i = 1, 2, ..., n, be positive functions in Ω. We prove a embedding theorem of different metrics for the spaces W _p ^r (Ω, σ, $ \vec g $ ), where r ∈ N, p ≥ 1, and $ \vec g $ (x) = (g ₁(x), g ₂(x), ..., g _n (x)), with the norm $$ \left\| {u;W_p^r (\Omega ;\sigma ,\vec g)} \right\| = \left\{ {\left\| {u;L_{p,r}^r (\Omega ;\sigma ,\vec g)} \right\|^p + \left\| {u;L_{p,r}^0 (\Omega ;\sigma ,\vec g)} \right\|^p } \right\}^{{1 \mathord{\left/ {\vphantom {1 p}} \right. \kern-\nulldelimiterspace} p}} , $$ where $$ \left\| {u;L_{p,r}^m (\Omega ;\sigma ,\vec g)} \right\| = \left\{ {\sum\limits_{\left| k \right| = m} {\int\limits_\Omega {(\sigma (x)g_1^{k_1 - r} (x)g_2^{k_2 - r} (x) \cdots g_n^{k_n - r} (x)\left| {u^{(k)} (x)} \right|)^p dx} } } \right\}^{{1 \mathord{\left/ {\vphantom {1 p}} \right. \kern-\nulldelimiterspace} p}} , $$ We use this theorem to prove the existence and uniqueness of a minimizing element U(x) ∈ W _p ^r (Ω, σ, $ \vec g $ ) for the functional $$ \Phi (u) = \sum\limits_{\left| k \right| \leqslant r} {\frac{1} {{p_k }}\int\limits_\Omega {a_k (x)} \left| {u^{(k)} (x)} \right|^{p_k } } dx - \left\langle {F,u} \right\rangle , $$ where F is a given functional. We show that the function U(x) is a generalized solution of the corresponding nonlinear differential equation. For the case in which Ω is bounded, we study the differential properties of the generalized solution depending on the smoothness of the coefficients and the right-hand side of the equation.     

Meromorphic Functions That Share One Finite Value CM or IM with Their k-th Derivative

In this paper we shall prove that if a non-constant meromorphic f and its k-th derivative f ^(k) (k ≥ 2) share the value ${a\not= 0,\infty\; CM}$ (IM) and if ${\bar{N}(r,\frac{1}{f})=S(r,f)\;\left(\bar{N}\left(r,\frac{1}{f}\right)+\bar{N}\left(r,\frac{1}{f^{(k)}}\right)=S(r,f)\right)}$ , then ${f \equiv f^{(k)}}$ . These results extend the results in Al-Khaladi (J Al-Anbar Univ Pure Sci 3:69–73, 2009).     

Uniform estimate for the tail probabilities of randomly weighted sums

Several authors have studied the uniform estimate for the tail probabilities of randomly weighted sumsa.ud their maxima. In this paper, we generalize their work to the situation thatis a sequence of upper tail asymptotically independent random variables with common distribution from the is a sequence of nonnegative random variables, independent of and satisfying some regular conditions. Moreover. no additional assumption is required on the dependence structureof {θi,i≥ 1）.     

Approximating minimum-cost edge-covers of crossing biset-families

Part of this paper appeared in the preliminary version [16]. An ordered pair ? = (S, S ₊) of subsets of a groundset V is called a biset if S ? S+; (V S ⁺;V S) is the co-biset of ?. Two bisets \(\hat X,\hat Y\) intersect if ^X X ∩ Y ≠ \(\not 0\) and cross if both X ∩ Y \(\not 0\) and X ⁺ ∪ Y ⁺ ≠= V. The intersection and the union of two bisets \(\hat X,\hat Y\) are defined by \(\hat X \cap \hat Y = (X \cap Y,X^ + \cap Y^ + )\) and \(\hat X \cup \hat Y = (X \cup Y,X^ + \cup Y^ + )\) . A biset-family \(\mathcal{F}\) is crossing (intersecting) if \(\hat X \cap \hat Y,\hat X \cup \hat Y \in \mathcal{F}\) for any \(\hat X,\hat Y \in \mathcal{F}\) that cross (intersect). A directed edge covers a biset ? if it goes from S to V S ⁺. We consider the problem of covering a crossing biset-family \(\mathcal{F}\) by a minimum-cost set of directed edges. While for intersecting \(\mathcal{F}\) , a standard primal-dual algorithm computes an optimal solution, the approximability of the case of crossing \(\mathcal{F}\) is not yet understood, as it includes several NP-hard problems, for which a poly-logarithmic approximation was discovered only recently or is not known. Let us say that a biset-family \(\mathcal{F}\) is k-regular if \(\hat X \cap \hat Y,\hat X \cup \hat Y \in \mathcal{F}\) for any \(\hat X,\hat Y \in \mathcal{F}\) with |V (X∪Y)≥k+1 that intersect. In this paper we obtain an O(log |V|)-approximation algorithm for arbitrary crossing \(\mathcal{F}\) if in addition both \(\mathcal{F}\) and the family of co-bisets of \(\mathcal{F}\) are k-regular, our ratios are: \(O\left( {\log \frac{{|V|}} {{|V| - k}}} \right) \) if |S ⁺ \ S| = k for all \(\hat S \in \mathcal{F}\) , and \(O\left( {\frac{{|V|}} {{|V| - k}}\log \frac{{|V|}} {{|V| - k}}} \right) \) if |S ⁺ \ S| = k for all \(\hat S \in \mathcal{F}\) . Using these generic algorithms, we derive for some network design problems the following approximation ratios: \(O\left( {\log k \cdot \log \tfrac{n} {{n - k}}} \right) \) for k-Connected Subgraph, and O(logk) \(\min \{ \tfrac{n} {{n - k}}\log \tfrac{n} {{n - k}},\log k\} \) for Subset k-Connected Subgraph when all edges with positive cost have their endnodes in the subset.     

Limit ultraspherical series and their approximation properties

We study new series of the form $\sum\nolimits_{k = 0}^\infty {f_k^{ - 1} \hat P_k^{ - 1} (x)} $ in which the general term $f_k^{ - 1} \hat P_k^{ - 1} (x)$ , k = 0, 1, …, is obtained by passing to the limit as α→?1 from the general term $\hat f_k^\alpha \hat P_k^{\alpha ,\alpha } (x)$ of the Fourier series $\sum\nolimits_{k = 0}^\infty {f_k^\alpha \hat P_k^{\alpha ,\alpha } (x)} $ in Jacobi ultraspherical polynomials $\hat P_k^{\alpha ,\alpha } (x)$ generating, for α> ?1, an orthonormal system with weight (1 ? x ₂)α on [?1, 1]. We study the properties of the partial sums $S_n^{ - 1} (f,x) = \sum\nolimits_{k = 0}^n {f_k^{ - 1} \hat P_k^{ - 1} (x)} $ of the limit ultraspherical series $\sum\nolimits_{k = 0}^\infty {f_k^{ - 1} \hat P_k^{ - 1} (x)} $ . In particular, it is shown that the operator S _n ^?1 (f) = S _n ^?1 (f, x) is the projection onto the subspace of algebraic polynomials p _n = p _n (x) of degree at most n, i.e., S _n (p _n ) = p _n ; in addition, S _n ^?1 (f, x) coincides with f(x) at the endpoints ±1, i.e., S _n ^?1 (f,±1) = f(±1). It is proved that the Lebesgue function Λ _n (x) of the partial sums S _n ^?1 (f, x) is of the order of growth equal to O(ln n), and, more precisely, it is proved that $\Lambda _n (x) \leqslant c(1 + \ln (1 + n\sqrt {1 - x^2 } )), - 1 \leqslant x \leqslant 1$ .     

Simultaneous approximation by greedy algorithms

We study nonlinear m-term approximation with regard to a redundant dictionary $\mathcal {D}$ in a Hilbert space H. It is known that the Pure Greedy Algorithm (or, more generally, the Weak Greedy Algorithm) provides for each f∈H and any dictionary $\mathcal {D}$ an expansion into a series $$f=\sum_{j=1}^{\infty}c_{j}(f)\varphi_{j}(f),\quad\varphi_{j}(f)\in \mathcal {D},\ j=1,2,\ldots,$$ with the Parseval property: ‖f‖²=∑_j|c _j(f)|². Following the paper of A. Lutoborski and the second author we study analogs of the above expansions for a given finite number of functions f ¹,.?.?.,f ^N with a requirement that the dictionary elements φ_j of these expansions are the same for all f ⁱ, i=1,.?.?.,N. We study convergence and rate of convergence of such expansions which we call simultaneous expansions.