A generalization of the katona theorem for crosst-intersecting families

LetX be ann-element set and letA and? be families of subsets ofX. We say thatA and? are crosst-intersecting if |A ∩ B| ≥ t holds for all A ∈A and for allB ∈ ?. Suppose thatA and ? are crosst-intersecting. This paper first proves a crosst-intersecting version of Harper's Theorem:

1. There are two crosst-intersecting Hamming spheresA ₀,? ₀ with centerX such that |A| ≤ |A ₀| and|?| ≤ |? ₀| hold.
2. Suppose thatt ≥ 2 and that the pair of integers (|A) is maximal with respect to direct product ordering among pairs of crosst-intersecting families. Then,A and? are Hamming spheres with centerX.

Using these claims, the following conjecture of Frankl is proven:

1. Ifn + t = 2k ? 1 then |A| |?| ≤ max \(\left\{ {\left( {K_k^n + \left( {_{k - 1}^{n - 1} } \right)} \right)^2 ,K_k^n K_{k - 1}^n } \right\}\) holds, whereK _l ⁿ is defined as \(\left( {_n^n } \right)\left( {_{n - 1}^n } \right) + \cdots + \left( {_l^n } \right).\)
2. Ifn + t = 2k then |A| |? ≤ (K _k ⁿ )² holds.

The extremal configurations are also determined.     

Weighted norm inequalities for the vectorvalued Hardy-Littlewood maximal functions of one parameter rectangles

Let N denote the Hardy-Littlewood maximal operator for the familyR of one parameter rectangles. In this paper, we obtain that for 1 _w ^p (l^r) to L _W ^P (l^r) if and only if w ∈ A_P(R); for 1≤p<∞, N is bounded from L _W ^P (l^r) to weak L _W ^P (l^r) if and only if W ∈ A_P(R). Here we say W∈A_p (1), if $$\begin{gathered} \mathop {sup}\limits_{R \in R} \left( {\tfrac{1}{{|R|}}\smallint _r wdx} \right)\left( {\tfrac{1}{{|R|}}\smallint _R w^{ - 1/(p - 1)} dx} \right)^{p - 1}< \infty ,1< p< \infty , \hfill \\ (Nw)(x) \leqslant Cw(x)a.e.,p = 1 \hfill \\ \end{gathered} $$ ,     

On mappings preserving orthogonality of non-singular vectors

Letq be a regular quadratic form on a vector space (V,F) and letf be the bilinear form associated withq. Then, \(\dot V: = \{ z \in V|q(z) \ne 0\} \) is the set of non-singular vectors ofV, and forx, y ∈ \(\dot V\) , ?(x, y) ?f(x, y) ²/(q(x) · q(y)) is theq-measure of (x, y), where ?(x,y)=0 means thatx, y are orthogonal. For an arbitrary mapping \(\sigma :\dot V \to \dot V\) we consider the functional equations $$\begin{gathered} (I)\sphericalangle (x,y) = 0 \Leftrightarrow \sphericalangle (x^\sigma ,y^\sigma ) = 0\forall x,y \in \dot V, \hfill \\ (II)\sphericalangle (x,y) = \sphericalangle (x^\sigma ,y^\sigma )\forall x,y \in \dot V, \hfill \\ (III)f(x,y)^2 = f(x^\sigma ,y^\sigma )^2 \forall x,y \in \dot V, \hfill \\ \end{gathered} $$ and we state conditions on (V,F,q) such thatσ is induced by a mapping of a well-known type. In case of dimV ∈N?{0, 1, 2} ∧ ∣F∣ > 3, each of the assumptions (I), (II), (III) implies that there exist aρ-linear injectionξ :V →V and a fixed λ ∈F?{0} such thatF x ^σ =F x ^ξ ?x ∈ \(\dot V\) andf(x ^ξ,y ^ξ)=λ · (f(x, y))^ρ ?x, y ∈V. Moreover, (II) implies ρ =id _F ∧q(x ^ξ) = λ ·q(x) ?x ∈ \(\dot V\) , and (III) implies ρ=id _F ∧ λ ∈ {1,?1} ∧x ^σ ∈ {x ^ξ, ?x ^ξ} ?x ∈ \(\dot V\) . Other results obtained in this paper include the cases dimV = 2 resp. dimV ?N resp. ∣F∣ = 3.     

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.     

A functional CLT for the L 2 modulus of continuity of local time

We show that as processes in (c, d, t) ∈ C(R ² × R ₊ ¹ ) $$ \frac{{\int_c^d {(L_t^{x + h} - L_t^x )^2 dx - 4h} \int_c^d {L_t^x dx} }} {{h^{3/2} }}\mathop \Rightarrow \limits^\mathcal{L} \left( {\frac{{64}} {3}} \right)^{1/2} \int_c^d {L_t^x d\eta (x)} $$ as h → 0 for Brownian local time L _t ^x . Here η(x) is an independent two-sided Brownian motion.     

Dissipativity of some class of uncertain systems

We consider the system $$ \dot x = A\left( \cdot \right)x + B\left( \cdot \right)u, u = S\left( \cdot \right)x, t \geqslant t_0 , $$ where A(·) ∈ ? ^n×n , B(·) ? ^n×p , and S(·) ∈ ? ^p×n . The entries of matrices A(·), B(·), and S(·) are arbitrary bounded functionals. We consider the problem of constructing a matrix H > 0 and finding relations between the entries of the matrices B(·) and S(·) such that for a given constant matrix R the inequality $$ V\left( {x\left( t \right)} \right) < V\left( {x\left( {t_0 } \right)} \right) + \int\limits_{t_0 }^t {x*\left( \tau \right)Rx\left( \tau \right)d\tau ,} $$ where V(x) = x*Hx, is satisfied. This problem is solved for the cases where matrix A(·) has p sign-definite entries on the upper part of some subdiagonal or on the lower part of some superdiagonal. It is assumed also that all entries located to the left (or to the right) of the sign-definite entries are equal to zero.     

Weighted inequalities for fractional type operators with some homogeneous kernels

In this paper, we study integral operators of the form Tαf(x)=∫Rn|x-A1y|-α1 ··· |x-Amy|-αmf(y)dy,where Ai are certain invertible matrices, αi 0, 1 ≤ i ≤ m, α1 + ··· + αm = n-α, 0 ≤α n. For 1/q = 1/p-α/n , we obtain the Lp (Rn, wp)-Lq(Rn, wq) boundedness for weights w in A(p, q) satisfying that there exists c 0 such that w(Aix) ≤ cw(x), a.e. x ∈ Rn , 1 ≤ i ≤ m.Moreover, we obtain theappropriate weighted BMO and weak type estimates for certain weights satisfying the above inequality. We also give a Coifman type estimate for these operators.     

Regularity property of Donsker's delta function

LetL be the space of rapidly decreasing smooth functions on ? andL ^* its dual space. Let (L ²)⁺ and (L ²)^? be the spaces of test Brownian functionals and generalized Brownian functionals, respectively, on the white noise spaceL ^* with standard Gaussian measure. The Donsker delta functionδ(B(t)?x) is in (L ²)^? and admits the series representation $$\delta (B(t) - x) = (2\pi t)^{ - 1/2} \exp ( - x^2 /2t)\sum\limits_{n = 0}^\infty {(n!2^n )^{ - 1} H_n (x/\sqrt {2t} )} \times H_n (B(t)/\sqrt {2t} )$$ , whereH _n is the Hermite polynomial of degreen. It is shown that forφ in (L ²)⁺,g _t,φ(x)≡〈δ(B(t)?x), φ〉 is inL and the linear map takingφ intog _t,φ is continuous from (L ²)⁺ intoL. This implies that forf inL ^* is a generalized Brownian functional and admits the series representation $$f(B(t)) = (2\pi t)^{ - 1/2} \sum\limits_{n = 0}^\infty {(n!2^n )^{ - 1} \langle f,\xi _{n, t} \rangle } H_n (B(t)/\sqrt {2t} )$$ , whereξ _n,t is the Hermite function of degreen with parametert. This series representation is used to prove the Ito lemma forf inL ^*, $$f(B(t)) = f(B(u)) + \int_u^t {\partial _s^ * } f'(B(s)) ds + (1/2)\int_u^t {f''} (B(s)) ds$$ , where? _s ^* is the adjoint of \(\dot B(s)\) -differentiation operator? _s .     

Finiteness of graded generalized local cohomology modules

We consider two finitely generated graded modules over a homogeneous Noetherian ring $R = \oplus _{n \in \mathbb{N}_0 } R_n$ with a local base ring (R ₀, m₀) and irrelevant ideal R ₊ of R. We study the generalized local cohomology modules H _b ⁱ (M,N) with respect to the ideal b = b₀ + R ₊, where b₀ is an ideal of R ₀. We prove that if dimR ₀/b₀ ≤ 1, then the following cases hold: for all i ≥ 0, the R-module H _b ⁱ (M,N)/a₀ H _b ⁱ (M,N) is Artinian, where $\sqrt {\mathfrak{a}_0 + \mathfrak{b}_0 } = \mathfrak{m}_0$ ; for all i ≥ 0, the set $Ass_{R_0 } \left( {H_\mathfrak{b}^i \left( {M,N} \right)_n } \right)$ is asymptotically stable as n→?∞. Moreover, if H _b ⁱ (M,N) _n is a finitely generated R ₀-module for all n ≤ n ₀ and all j < i, where n ₀ ∈ ? and i ∈ ?₀, then for all n ≤ n ₀, the set $Ass_{R_0 } \left( {H_\mathfrak{b}^i \left( {M,N} \right)_n } \right)$ is finite.     

The “Full Müntz Theorem” inL p[0, 1] for 0<p<∞

Denote by span {f ₁,f ₂, …} the collection of all finite linear combinations of the functionsf ₁,f ₂, … over ?. The principal result of the paper is the following. Theorem (Full Müntz Theorem in L_p(A) for p ∈ (0, ∞) and for compact sets A ? [0, 1] with positive lower density at 0). Let A ? [0, 1] be a compact set with positive lower density at 0. Let p ∈ (0, ∞). Suppose (λ _j ) _j=1 ^∞ is a sequence of distinct real numbers greater than ?(1/p). Then span {x ^λ1,x ^λ2,…} is dense in L_p(A) if and only if $\sum\limits_{j = 1}^\infty {\frac{{\lambda _j + \left( {1/p} \right)}}{{\left( {\lambda _j + \left( {1/p} \right)} \right)^2 + 1}} = \infty } $ . Moreover, if $\sum\limits_{j = 1}^\infty {\frac{{\lambda _j + \left( {1/p} \right)}}{{\left( {\lambda _j + \left( {1/p} \right)} \right)^2 + 1}} = \infty } $ , then every function from the L_p(A) closure of {x ^λ1,x ^λ2,…} can be represented as an analytic function on {z ∈ ? \ (?∞,0] : |z| < r_A} restricted to A ∩ (0, r_A) where $r_A : = \sup \left\{ {y \in \mathbb{R}:\backslash ( - \infty ,0]:\left| z \right|< r_A } \right\}$ (m(·) denotes the one-dimensional Lebesgue measure). This improves and extends earlier results of Müntz, Szász, Clarkson, Erdös, P. Borwein, Erdélyi, and Operstein. Related issues about the denseness of {x ^λ1,x ^λ2,…} are also considered.     

Pointwise estimates for Lagrange interpolation polynomials

Let f ∈ C[?1, 1]. Let the approximation rate of Lagrange interpolation polynomial of f based on the nodes $ \left\{ {\cos \frac{{2k - 1}} {{2n}}\pi } \right\} \cup \{ - 1,1\} $ be Δ _{n + 2}(f, x). In this paper we study the estimate of Δ _{n + 2}(f,x), that keeps the interpolation property. As a result we prove that $$ \Delta _{n + 2} (f,x) = \mathcal{O}(1)\left\{ {\omega \left( {f,\frac{{\sqrt {1 - x^2 } }} {n}} \right)\left| {T_n (x)} \right|\ln (n + 1) + \omega \left( {f,\frac{{\sqrt {1 - x^2 } }} {n}\left| {T_n (x)} \right|} \right)} \right\}, $$ where T _n (x) = cos (n arccos x) is the Chebeyshev polynomial of first kind. Also, if f ∈ C ^r [?1, 1] with r ≧ 1, then $$ \Delta _{n + 2} (f,x) = \mathcal{O}(1)\left\{ {\frac{{\sqrt {1 - x^2 } }} {{n^r }}\left| {T_n (x)} \right|\omega \left( {f^{(r)} ,\frac{{\sqrt {1 - x^2 } }} {n}} \right)\left( {\left( {\sqrt {1 - x^2 } + \frac{1} {n}} \right)^{r - 1} \ln (n + 1) + 1} \right)} \right\}. $$      

Instability of Standing Wave for the Klein–Gordon–Hartree Equation

The instability property of the standing wave uω(t, x) = eiωtφ(x) for the Klein–Gordon– Hartree equation     

Eine Erweiterung des Riemann-Lebesgue-Lemmas

It is proved that iff∈L ₁(?),f'∈L ₁(?) and ∫∣x∣ ⁱ ∣f(x)∣dx<∞ fori=1, ...,k?1 and ifA=(a _ij ) is a (k×k)-matrix with non-vanishing determinant, for $$\tilde f_A (\zeta ): = \smallint \exp (i\zeta _1 \sum\limits_{j = 1}^k {a_{1j} x^j } + ... + i\zeta _k \sum\limits_{j = 1}^k {a_{kj} x^j } )f(x)dx$$ the following relation holds: $$\tilde f_A (\zeta ) = O(\left\| \zeta \right\|)^{ - b_k } with b_k : = (\sum\limits_{j = 1}^k {j!)^{ - 1} } for k \in \mathbb{N}$$ .     

Commutators of BMO functions and degenerate Schr?dinger operators with certain nonnegative potentials

Let ${\mathcal{L}f(x)=-\frac{1}{\omega}\sum_{i,j} \partial_i(a_{i,j}(\cdot)\partial_jf)(x)+V(x)f(x)}$ with the non-negative potential V belonging to reverse H?lder class with respect to the measure ??(x)dx, where ??(x) satisfies the A ₂ condition of Muckenhoupt and a _i,j (x) is a real symmetric matrix satisfying ${\lambda^{-1}\omega(x)|\xi|^2\le \sum^n_{i,j=1}a_{i,j}(x)\xi_i\xi_j\le\lambda\omega(x)|\xi|^2. }$ We obtain some estimates for ${V^{\alpha}\mathcal{L}^{-\alpha}}$ on the weighted L ^p spaces and we study the weighted L ^p boundedness of the commutator ${[b, V^{\alpha} \mathcal{L}^{-\alpha}]}$ when ${b\in BMO_\omega}$ and 0?<??? ?? 1.     

Generalized monotone approximation inL p Space

Letf(x) ∈L _p[0,1], 1?p? ∞. We shall say that functionf(x)∈Δ^k (integerk?1) if for anyh ∈ [0, 1/k] andx ∈ [0,1?kh], we have Δ _h ^k f(x)?0. Denote by ∏ _n the space of algebraic polynomials of degree not exceedingn and define $$E_{n,k} (f)_p : = \mathop {\inf }\limits_{\mathop {P_n \in \prod _n }\limits_{P_n^{(\lambda )} \geqslant 0} } \parallel f(x) - P_n (x)\parallel _{L_p [0,1]} .$$ We prove that for any positive integerk, iff(x) ∈ Δ ^k ∩ L _p[0, 1], 1?p?∞, then we have $$E_{n,k} (f)_p \leqslant C\omega _2 \left( {f,\frac{1}{n}} \right)_p ,$$ whereC is a constant only depending onk.     

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.     

Simultaneous approximation by algebraic polynomials

Some estimates for simultaneous polynomial approximation of a function and its derivatives are obtained. These estimates are exact in a certain sense. In particular, the following result is derived as a corollary: Forf∈C ^r[?1,1],m∈N, and anyn≥max{m+r?1, 2r+1}, an algebraic polynomialP _n of degree ≤n exists that satisfies $$\left| {f^{\left( k \right)} \left( x \right) - P_n^{\left( k \right)} \left( {f,x} \right)} \right| \leqslant C\left( {r,m} \right)\Gamma _{nrmk} \left( x \right)^{r - k} \omega ^m \left( {f^{\left( r \right)} ,\Gamma _{nrmk} \left( x \right)} \right),$$ for 0≤k≤r andx ∈ [?1,1], where ω^υ(f^(k),δ) denotes the usual vth modulus of smoothness off ^(k), and Moreover, for no 0≤k≤r can (1?x ²)( ^{r?k+1)/(r?k+m)}(1/n²)^{(m?1)/(r?k+m)} be replaced by (1-x²)^αkn^2αk-2, with α_k>(r-k+a)/(r-k+m).     

On the divergence of Lagrange interpolation processes on a set of second category

В статье даны полные д оказательства следу ющих утверждений. Пустьω — непрерывная неубывающая полуадд итивная функций на [0, ∞),ω(0)=0 и пусть M?[0, 1] — матрица узл ов интерполирования. Если $$\mathop {\lim sup}\limits_{n \to \infty } \omega \left( {\frac{1}{n}} \right)\log n > 0$$ то существует точкаx ₀∈[0,1] и функцияf ∈ С[0,1] таки е, чтоω(f, δ)=О(ω(δ)), для которой $$\mathop {\lim sup}\limits_{n \to \infty } |L_n (\mathfrak{M},f,x_0 ) - f(x_0 )| > 0$$ Если же $$\mathop {\lim sup}\limits_{n \to \infty } \omega \left( {\frac{1}{n}} \right)\log n = \infty$$ , то существуют множес твоE второй категори и и функцияf ∈ С[0,1],ω(f, δ)=o(ω(δ)) та кие, что для всехx∈E $$\mathop {\lim sup}\limits_{n \to \infty } |L_n (\mathfrak{M},f,x)| = \infty$$ . Исправлена погрешно сть, допущенная автор ом в [5], и отмеченная в работе П. Вертеши [9].     

The metric projection on the classH(Ω) satisfies Lipschitz condition

Устанавливается лиш шщивость и односторо нняя дифференцируемость метрической проекции $$P_H^t :x \to P_H^t \left( x \right) = \left\{ {y \in H: \parallel x - y\parallel \leqq t + \varrho \left( {x, H} \right)} \right\}, t \geqq 0$$ на класс из пространстваB(Q) огр аниченных на множест веQ функцийx c нормой ∥x∥=sup {∣x(q)∣:q∈Q}, гдеΩ—метрика наQ. В частн ости, дляy _i ∈B(Q),t _i ≧0, метрикΩ _i и \(P_i = P_{H(\Omega _i )}^{t_i } \left( {y_i } \right), i = 1, 2\) доказано неравенство $$h\left( {P_1 , P_2 } \right) \leqq \frac{3}{2}\mathop {\sup }\limits_{q_1 , q_2 \in Q} \left| {\Omega _1 \left( {q_1 , q_2 } \right) - \Omega _2 \left( {q_1 , q_2 } \right)} \right| + 2\parallel y_1 - y_2 \parallel + 1\left| {t_1 - t_2 } \right|,$$ гдеh — расстояние Хау сдорфа. Константы 3/2, 2, 1 в э том неравенстве неулучш аемы.