Estimate of a polynomial in generalized exponential functions in the convex hull of two domains

Пусть $$f_n (z) = \exp \{ \lambda _n z\} [1 + \psi _n (z)], n \geqq 1$$ гдеψ _n (z) — регулярны в н екоторой односвязно й областиS, λ _n — нули целой функц ии экспоненциальног о ростаL(λ) с индикатрис ой ростаh(?), причем $$|L\prime (\lambda _n )| > C(\delta )\exp \{ [h(\varphi _n ) - \varepsilon ]|\lambda _n |\} \varphi _n = \arg \lambda _n , \forall \varepsilon > 0$$ . Предположим, что на лю бом компактеK?S $$|\psi _n (z)|< Aq^{|\lambda |_n } , a< q< 1, n \geqq 1$$ гдеA иq зависит только отK. Обозначим через \(\bar D\) со пряженную диаграмму функцииL(λ), через \(\bar D_\alpha \) — смещение. \(\bar D\) на векторα. Рассмотр им множестваD ₁ иD ₂ так ие, чтоD ₁ иD ₂ и их вьшуклая обо лочкаE принадлежатS. Пусть \(\bar D_{\alpha _1 } \subset D_1 , \bar D_{\alpha _2 } \subset D_2 \) Доказывается, что сущ ествует некоторая об ластьG?E такая, что \(\mathop \cup \limits_{\alpha \in [\alpha _1 ,\alpha _2 ]} \bar D_\alpha \subset G\) и дляz∈G верна оценка $$\sum\limits_{v = 1}^n {|a_v f_v (z)|} \leqq B\max (M_1 ,M_2 ), M_j = \mathop {\max }\limits_{t \in \bar D_j } |\sum\limits_{v = 1}^n {a_v f_v (t)} |$$ , где константаB не зав исит от {a _v }.     

Global analytic hypoellipticity of the\bar \partial-Neumann problem on circular domains

In this paper we show that if \(D \subseteq \mathbb{C}^n ,n \geqq 2\) , is a smooth bounded pseudoconvex circular domain with real analytic defining functionr(z) such that \(\sum\limits_{k = 1}^n {z_k \frac{{\partial r}}{{\partial z_k }}} \ne 0\) for allz near the boundary, then the solutionu to the \(\bar \partial\) -Neumann problem, $$square u = (\bar \partial \bar \partial * + \bar \partial *\bar \partial )u = f,$$ is real analytic up to the boundary, if the given formf is real analytic up to the boundary. In particular, if \(D \subseteq \mathbb{C}^n ,n \geqq 2\) , is a smooth bounded complete Reinhardt pseudoconvex domain with real analytic boundary. Then ? is analytic hypoelliptic.     

Anisotropic function spaces. I: Hardy's inequality,decompositions

В статье рассматрива ются анизотропные пр остранства Бесова \(B_p^{\bar s} \) и Соболева \(W_p^{\bar s} \) н а плоскости и на единич ном круге, где 1<р<∞ и \(1< p< \infty \) И \(\bar s = (s_1 ,s_2 )\) . Основная цель состои т в доказательстве анизотропных нераве нств Харди и в изучени и соответствующих про странств \(\dot B_p^{\bar s} \) и \(\dot W_p^{\bar s} \) типа Бесова—Соболе ва. Эти результаты буд ут использованы во втор ой работе для точного описания следов упом янутых пространств н а плоских кривых.     

L 2 existence theorems for the\bar \partial _b - Neumann problem on strongly pseudoconvex CR manifoldsproblem on strongly pseudoconvex CR manifolds

LetM be the boundary of a strongly pseudoconvex domain in \(\mathbb{C}^n \) ,n≥4 and ω be an open subset inM such that ?ω is the intersection ofM with a flat hypersurface. We establish theL ² existence theorems of the \(\bar \partial _b - Neumann\) problem on ω. In particular, we prove that the \(\bar \partial _b - Laplacian\) \(\square _b = \bar \partial _b \bar \partial _b^* + \bar \partial _b^* \bar \partial _b \) equipped with a pair of natural boundary conditions, the so-called \(\bar \partial _b - Neumann\) boundary conditions, has closed range when it acts on (0,q) forms, 1≤q≤n?3. Thus there exists a bounded inverse operator for \(\square _b \) , the \(\bar \partial _b - Neumann\) operatorN _b, and we have the following Hodge decomposition theorem on ω for \(\bar \partial _b \bar \partial _b^* N_b \alpha + \bar \partial _b^* \bar \partial _b N_b \alpha \) , for any (0,q) form α withL ²(ω) coefficients. The proof depends on theL ^p regularity of the tangential Cauchy-Riemann operators \(\bar \partial _b u = \alpha \) on ω?M under the compatibility condition \(\bar \partial _b \alpha = 0\) , where α is a (p, q) form on ω, where 1≤q≤n?2. The interior regularity ofN _b follows from the fact that \(\square _b \) is subelliptic in the interior of ω. The operatorN _b induces natural questions on the regularity up to the boundary ?ω. Near the characteristic point of the boundary, certain compatibility conditions will be present. In fact, one can show thatN _b is not a compact operator onL ²(ω).     

Resplendency and recursive definability inω-stable theories

We prove Theorem A.Every resplendent model of an ω-stable theory is homogeneous. As an application we obtain Theorem B.Suppose T is ω-stable, M ? T is recursively saturated and P ∈ S (M) is such that for all finite \(\bar m\) ∈ M, p ↑ \(\bar m\) is realized in M. Then there is a \(\bar c\) ∈ M and a definition d of p over \(\bar c\) such that d is recursive in t ( \(\bar c\) /Ø).     

Die metrisierbaren linearen Teilräume des Raumes\mathfrak{O}_M von L. Schwartz

In Schwartz' terminology, a real or complex valued functionf, defined and infinitely differentiable on ? _n , belongs to \(\mathfrak{O}_M \) iff, as well as any of its derivatives, is at most of polynomial growth. The topology of \(\mathfrak{O}_M \) is defined by the seminorms sup{∣?(x)D ^p f(x)∣;x∈? ⁿ }, where ? belongs to \(\mathfrak{S}\) andD ^p is any derivative. It is well-known that \(\mathfrak{O}_M \) is non-metrisable. For any μ: ? ⁿ →?, let \(\mathfrak{B}_\mu \) be the space of all infinitely differentiable functionsf satisfying, for eachp, sup{∣(1+∣x∣²)^?μ(p) D ^p f(x)∣;x∈? ⁿ }<∞, with the obvious topology. These spaces, which are of very little use elsewhere in the theory of distributions, can be conveniently applied to characterise the metrisable linear subspaces of \(\mathfrak{O}_M \) : A linear subspace of \(\mathfrak{O}_M \) is metrisable if and only if it is, algebraically and topologically, a subspace of some \(\mathfrak{B}_\mu \) .     

ОБ ИНтЕРпОлИРОВАНИИ В кОМплЕксНОИ ОБлАст И

LetD be a simply connected domain, the boundary of which is a closed Jordan curveγ; \(\mathfrak{M} = \left\{ {z_{k, n} } \right\}\) , 0≦k≦n; n=1, 2, 3, ..., a matrix of interpolation knots, \(\mathfrak{M} \subset \Gamma ; A_c \left( {\bar D} \right)\) the space of the functions that are analytic inD and continuous on \(\bar D; \left\{ {L_n \left( {\mathfrak{M}; f, z} \right)} \right\}\) the sequence of the Lagrange interpolation polynomials. We say that a matrix \(\mathfrak{M}\) satisfies condition (B _m ), \(\mathfrak{M}\) ∈(B _m ), if for some positive integerm there exist a setB _m containingm points and a sequencen _{p p=1} ^∞ of integers such that the series \(\mathop \Sigma \limits_{p = 1}^\infty \frac{1}{{n_p }}\) diverges and for all pairsn _i ,n _j ∈{n _p } _p=1 ^∞ the set \(\left( {\bigcap\limits_{k = 0}^{n_i } {z_{k, n_i } } } \right)\bigcap {\left( {\bigcup\limits_{k = 0}^{n_j } {z_{k, n_j } } } \right)} \) is contained inB _m . The main result reads as follows. {Let D=z: ¦z¦ \(\Gamma = \partial \bar D\) and let the matrix \(\mathfrak{M} \subset \Gamma \) satisfy condition (B_m). Then there exists a function \(f \in A_c \left( {\bar D} \right)\) such that the relation $$\mathop {\lim \sup }\limits_{n \to \infty } \left| {L_n \left( {\mathfrak{M}, f, z} \right)} \right| = \infty $$ holds almost everywhere on γ.     

Analytische Fortsetzbarkeit von zufälligen Potenzreihen bezüglich abhängiger Zufallsvariabler

Рассматриваются слу чайная величина \(\mathfrak{X} = (X_n (\omega ))\) , удовлетворяющая усл овиюE(X _n ⁴ )≦M, и соответствующ ий случайный степенн ой ряд \(f_x (z;\omega ) = \mathop \sum \limits_{n = 0}^\infty a_n X_n (\omega )z^n\) . Устанавливаются тео ремы непродолжимост и почти наверное:

1. дляf _x при условиях с лабой мультипликати вности на \(\mathfrak{X}\) ,
2. для \(f_{\tilde x}\) , где \(\mathop \mathfrak{X}\limits^ \sim = (\mathop X\limits^ \sim _n )\) есть подп оследовательность в \(\mathfrak{X}\) ,
3. для по крайней мере од ного из рядовf _x′ илиf _x″ , где \(\mathfrak{X}'\) и \(\mathfrak{X}''\) — некоторые п ерестановки \(\mathfrak{X}\) , выбираемые универс ально, т. е. независимо от коэффициентовa _n .

     

Banach spaces of locally Schlicht functions with the Hornich operations

Let \(S_ \propto ( \propto \geqq 0)\) be the set of normalized (see (1.2)) functions f holomorphic in D:|z|<1 with \(f''(z)/f'(z) = 0((1 - \left| z \right|^2 )^{ - \propto } )\) , and let be the set of normalized (see (1.6)) functions f meromorphic in D with the Schwarzian derivative \(\left\{ {f,z} \right\} = 0((1 - \left| z \right|^2 )^{ - \propto } )\) . We shall show that some topological properties of \(S_ \propto\) and , and of subsets of them, follow from those of the weighted H^∞ space \(H_ \propto ^\infty\) , consisting of functions f holomorphic in D with \(f(z) = 0((1 - \left| z \right|^2 )^{ - \propto } )\) , and those of subsets of \(H_ \propto ^\infty\) . The set S₁ is denoted by X in [3] and [4].     

The CF table

Letf be a continuous function on the circle ¦z¦=1. We present a theory of the (untruncated) “Carathéodory-Fejér (CF) table” of best supremumnorm approximants tof in the classes \(\tilde R_{mn} \) of functions $${{\tilde r(z) = \sum\limits_{k = - \infty }^m {a_k z^k } } \mathord{\left/ {\vphantom {{\tilde r(z) = \sum\limits_{k = - \infty }^m {a_k z^k } } {\sum\limits_{k = 0}^n {b_k } z^k ,}}} \right. \kern-\nulldelimiterspace} {\sum\limits_{k = 0}^n {b_k } z^k ,}}$$ , where the series converges in 1< ¦z¦ <∞. (The casem=n is also associated with the names Adamjan, Arov, and Krein.) Our central result is an equioscillation-type characterization: \(\tilde r \in \tilde R_{mn} \) is the unique CF approximant \(\tilde r^* \) tof if and only if \(f - \tilde r\) has constant modulus and winding numberω≥ m+ n+1?δ on ¦z¦=1, whereδ is the “defect” of \(\tilde r\) . If the Fourier series off converges absolutely, then \(\tilde r^* \) is continuous on ¦z¦=1, andω can be defined in the usual way. For general continuousf, \(\tilde r^* \) may be discontinuous, andω is defined by a radial limit. The characterization theorem implies that the CF table breaks into square blocks of repeated entries, just as in Chebyshev, Padé, and formal Chebyshev-Padé approximation. We state a generalization of these results for weighted CF approximation on a Jordan region, and also show that the CF operator \(K:f \mapsto \tilde r^* \) is continuous atf if and only if (m, n) lies in the upper-right or lower-left corner of its square block.     

\mathfrak{E} of topological spaces II

In this paper, we obtain analogues, in the situation of \(\mathfrak{E}\) -extensions, of Magill's theorem on lattices of compactifications. We define an epireflective subcategory of the categoryT 2 of all Hausdorff spaces to be admissive (respectively finitely admissive) if for any \(\mathfrak{E}\) -regular spaceX, every Hausdorff quotient of \(\beta _\mathfrak{E} X\) which is Urysohn on \(\beta _\mathfrak{E} X - X\) (respectively which is finitary on \(\beta _\mathfrak{E} X - X\) ) and which is identity onX, has \(\mathfrak{E}\) . We notice that there are many proper epireflective subcategories ofT 2 containing all compact spaces and which are admissive; there are many such which are not admissive but finitely admissive. We prove that when \(\mathfrak{E}\) is a finitely admissive epireflective subcategory ofT 2, then the lattices of finitary \(\mathfrak{E}\) -extensions of two spacesX andY are isomorphic if and only if \(\beta _\mathfrak{E} X - X\) and \(\beta _\mathfrak{E} Y - Y\) are homeomorphic. Further if \(\mathfrak{E}\) is admissive, then the lattices of Urysohn \(\mathfrak{E}\) -extensions ofX andY are isomorphic if and only if \(\beta _\mathfrak{E} X - X\) and \(\beta _\mathfrak{E} Y - Y\) are homeomorphic.     

The extreme bodies in the set of plane convex bodies with a given width function

Let \(\bar K\) (w) denote the class of plane convex bodies having a width functionw. Examining the length measure of the boundary of a convex body in \(\bar K\) (w), a characterization is given for the extreme (indecomposable) bodies in \(\bar K\) (w). This is a generalization of the solution previously given by the author in Israel J. Math. (1974) for the case wherew′ is absolutely continuous.     

A method of multipliers for mathematical programming problems with equality and inequality constraints

This paper deals with the numerical solution of the general mathematical programming problem of minimizing a scalar functionf(x) subject to the vector constraints φ(x)=0 and ψ(x)≥0. The approach used is an extension of the Hestenes method of multipliers, which deals with the equality constraints only. The above problem is replaced by a sequence of problems of minimizing the augmented penalty function Ω(x, λ, μ,k)=f(x)+λ ^T φ(x)+kφ ^T (x)φ(x) ?μ ^T \(\tilde \psi \) (x)+k \(\tilde \psi \) ^T (x) \(\tilde \psi \) (x). The vectors λ and μ, μ ≥ 0, are respectively the Lagrange multipliers for φ(x) and \(\tilde \psi \) (x), and the elements of \(\tilde \psi \) (x) are defined by \(\tilde \psi \) _(j)(x)=min[ψ_(j)(x), (1/2k) μ_(j)]. The scalark>0 is the penalty constant, held fixed throughout the algorithm. Rules are given for updating the multipliers for each minimization cycle. Justification is given for trusting that the sequence of minimizing points will converge to the solution point of the original problem.     

Hölderabschätzungen für Ableitungen von Lösungen der Gleichung\bar \partial u = f bei streng pseudokonvexem Rand

Using the local Kerzman kernel we prove regularity of solutions of \(\bar \partial \) u=f, where f is a \(\bar \partial \) -closed (0,1)-form in a strongly pseudoconvex domain G in ?^N. If f is in H^m,∞, then the solution is in \(\tilde C^{m,\mu } \) forμ<1, that is, the m-th derivatives are in C^o,μ/2 and in addition areμ-Hölder continuous on curves “parallel” to the holomorphic tangent bundle \(\tilde T\) ?G. If f is in C^m,α with o<α<1, then the solution is in \(\tilde C^{m,1 + \mu } \) forμ<α, that is, the m-th derivatives are in C^o,(1+μ/2, and they have first derivatives “parallel” to \(\tilde T\) ?G lying in \(\tilde C^{o,\mu } \) . We derive the same results for the global solution constructed by Grauert and Lieb, and similar estimates on complex manifolds.     

Positive\partial \bar \partial - closed currents and non-Kähler geometrycurrents and non-Kähler geometry

In this paper some new results on positive \(\partial \bar \partial - closed\) currents are applied to modifications \(f:\bar M \to M\) . The main result in this topic is that every smooth proper modification of a compact Kähler manifoldM is balanced. Moreover, under suitable hypotheses on the map, the Kähler degrees of \(\bar M\) corresponds to homological properties of the exceptional set of the modification. More examples ofp-Kähler manifolds are discussed in the last section of the paper.     

On the Frequency of Zeros of Solutions of Second Order Linear Differential Equations

We consider the equation \(\rm f^{\prime\prime}+{A}(z){f}=0\) with linearly independent solutions f₁,₂, where A(z) is a transcendental entire function of finite order. Conditions are given on A(z) which ensure that max{λ(f₁),λ(f₂)} = ∞, where λ(g) denotes the exponent of convergence of the zeros of g. We show as a special case of a further result that if P(z) is a non-constant, real, even polynomial with positive leading coefficient then every non-trivial solution of \(\rm f^{\prime\prime}+{e}^P{f}=0\) satisfies λ(f) = ∞. Finally we consider the particular equation \(\rm f^{\prime\prime}+({e}^Z-K){f}=0\) where K is a constant, which is of interest in that, depending on K, either every solution has λ(f) = ∞ or there exist two independent solutions f₁, f₂ each with λ(f_i) ≤ 1.     

Cosymplectic quasi-Sasakian pseudo-Riemannian manifolds and coisotropic foliations

Si considera una varietà neutra \(\tilde M\) di dimensione 2m munita di una struttura conforme simplettica \(CS_p \left( {2m; R} \right) = \left( {\tilde \Omega , \tilde \upsilon } \right)\) . Vengono studiati i differenti problemi concernenti gli automorfismi infinitesimali della 2-forma quasi simplettica \(\tilde \Omega \) . Inoltre vengono formulate alcune proprietà di un fogliettamento con isotropoF _c su \(\tilde M\) .     

On the summability of functions analytic in star-shaped domains

Letf(z) be a function which is analytic over the whole plane except for an arbitrary interval Δ 0 \(\bar \in\) Δn. Suppose thatf(z) has a power series expansion about the origin. We prove that a matrix exists which sums the power series tof(z) over the whole plane except for Δ.     

On initial segments of degrees of constructibility

Let \(\mathfrak{M}\) be a fixed countable standard transitive model of ZF+V=L. We consider the structure Mod of degrees of constructibility of real numbers x with respect to \(\mathfrak{M}\) such that \(\mathfrak{M}\) (x) is a model. An initial segment Q \( \subseteq \) Mod is called realizable if some extension of \(\mathfrak{M}\) with the same ordinals contains exclusively the degrees of constructibility of real numbers from Q (and is a model of Z FC). We prove the following: if Q is a realizable initial segment, then $$[y \in Q \to y< x]]\& \forall z\exists y[z< x \to y \in Q\& \sim [y< z]]]$$ .