О приближении функци й средними Чезаро вто рого

Let σ _n ² (f, x) be the Cesàro means of second order of the Fourier expansion of the function f. Upper bounds of the deviationf(x)-σ _n ² (f, x) are studied in the metricC, while f runs over the class \(\bar W^1 C\) , i. e., of the deviation $$F_n^2 (\bar W^1 ,C) = \mathop {\sup }\limits_{f \in \bar W^1 C} \left\| {f(x) - \sigma _n^2 (f,x)} \right\|_c$$ . It is proved that the function $$g^* (x) = \frac{4}{\pi }\mathop \sum \limits_{v = 0}^\infty ( - 1)^v \frac{{\cos (2v + 1)x}}{{(2v + 1)^2 }}$$ , for whichg ^*′(x)=sign cosx, satisfies the following asymptotic relation: $$F_n^2 (\bar W^1 ,C) = g^* (0) - \sigma _n^2 (g^* ,0) + O\left( {\frac{1}{{n^4 }}} \right)$$ , i.e.g ^* is close to the extremal function. This makes it possible to find some of the first terms in the asymptotic formula for \(F_n^2 (\bar W^1 ,C)\) asn → ∞. The corresponding problem for approximation in the metricL is also considered.     

On the modulus of continuity in connection with a problem of J. Szabados concerning strong approximation

Пустьf(x) — интегрируемая 2π-периодическая функция, aω(f,δ) иs _n(x)=s_n(f, x). соответственно, модуль непрерывности иn-ая сумма Фурье этой функции. В настоящей работе, продолжающей исследования Г. Фрейда, Л. Лейндлера—E. M. Никищина, И. Сабадоша и К. И. Осколкова, доказывается следующая теорема.Если Ω(u) — выпуклая или вогнутая непрерывная функция и если (1) 1 $$\left\| {\left. {\sum\limits_{k = 1}^\infty \Omega (|S_k (x) - f(x)|)} \right\|_C } \right.$$ то 1 $$\omega (f;\delta ) = O\left( {\delta \int\limits_\delta ^1 {\frac{{\bar \Omega (v)}}{{v^2 }}dv} } \right),$$ где ¯Ω(v) —функция, обратная к Ω(и). При этом существует функция f₀(х), удовлетворяющая условию (1), для которой $$\omega (f;\delta ) = c\delta \int\limits_\delta ^1 {\frac{{\bar \Omega (v)}}{{v^2 }}dv} (c > 0).$$ ЕслиΩ(u)— вогнутая функция, то интеграл \(\int\limits_\delta ^1 {\frac{{\bar \Omega (v)}}{{v^2 }}dv} \) можно заменить на \(\int\limits_{\bar \Omega (\delta )}^1 {\frac{{du}}{{\Omega (u)}}.} \) . Отсюда вытекает, что еслиΩ(u) — функция типа модуля непрерывности, то для того, чтобы (1) всегда влекло принадлежность f(x) классу Lip 1, необходимо и достаточно условие \(\int\limits_0^1 {\frac{{du}}{{\Omega (u)}}}< \infty .\)      

Embedded Spaces of Trigonometric Splines and Their Wavelet Expansion

With each infinite grid X: ? < x _?1 < x ₀ < x ₁ < ? we associate the system of trigonometric splines $\{ \mathfrak{T}_j^B \}$ of class C ¹(α, β), the linear space $$T^B (X)\mathop = \limits^{def} \{ \tilde u|\tilde u = \sum\limits_j {c_j \mathfrak{T}_j^B } \quad \forall c_j \in \mathbb{R}^1 \} ,$$ and the functionals g ⁽ⁱ⁾ ∈ (C ¹(α, β))* with the biorthogonality property: $\left\langle {g(i),\mathfrak{T}_j^B } \right\rangle = \delta _{i,j}$ (here $\alpha \mathop = \limits^{def} \lim _{j \to - \infty } x_j ,\quad \beta \mathop = \limits^{def} \lim _{j \to + \infty } x_j$ ). For nested grids $\bar X \subset X$ , we show that the corresponding spaces $T^B (\bar X)$ are embedded in $T^B (X)$ and obtain decomposition and reconstruction formulas for the spline-wavelet expansion $T^B (X) = T^B (\bar X)\dot + W$ derived with the help of the system of functionals indicated above.     

The variety of solutions of the singular generalized Cauchy-Riemann System

We prove that the equation $$2\bar z\partial _{\bar z} \bar w = 0_1 z \in G,$$ in whichB(z) ∈C ^∞(G),B ₀(z)=O(|z})α),α>0,z → 0, and $$b(\varphi ) = \sum\limits_{k = - m_o }^m {b_k e^{ik\varphi } } $$ does not have nontrivial solutions in the classC ^∞(G).     

The completeness of systems of functions of the Mittag-Leffler type for weighted uniform approximation in a complex domain

For a givenρ(1/2 <ρ < + ∞) let us set L _ρ = {z: |arg z| = π/(2ρ)} and assume that a real valued measurable function ?(t) such that ?(t) ≥ 1(t ∈ L _ρ ) and \(\mathop {\lim }\limits_{|t| \to + \infty } \varphi (t) = + \infty (t \in L_\rho )\) is defined on L _ρ . Let C _? (L _ρ ) denote the space of continuous functionsf(t) on L _ρ such that \(\lim \tfrac{{f(t)}}{{\varphi (t)}} = 0\) , where the norm of an elementf is defined as: \(\parallel f\parallel = \mathop {\sup }\limits_{t \in L_\rho } \tfrac{{|f(t)|}}{{\varphi (t)}}\) . In this note we pose the question about the completeness of the system of functions of the Mittag-Leffler type {Eρ(ut; μ)} (μ ≥ 1, 0 ≤ u ≤a) or, what is the same thing, of the system of functions \(p(t) = \int_0^a {E_\rho (ut;\mu )d\sigma (u)} \) in C _? (L _ρ ). The following theorem is proved: The system of functions of the Mittag-Leffler type is complete in C _? (L _ρ ) if and only if sup |p(z)| ≡ +∞, z ∈ L _ρ , where the supremum is taken over the set of functions p(t) such that ∥p(t) (t + 1)^?1 ∥ ≤ 1.     

Power Majorization and Majorization of Sequences

Let \(\bar x\) , \(\bar y\ \in\ R_n\) be vectors which satisfy x₁ ≥ x₂ ≥ … ≥ x_n and y₁ ≥ y₂ >- … ≥ y_n and Σx_i = Σy_i. We say that \(\bar x\) is power majorized by \(\bar y\) if Σx_i ^p ≤ Σy_i ^p for all real p ? [0, 1] and Σx_i ^p ≥ Σy_i ^p for p ∈ [0, 1]. In this paper we give a classification of functions ? (which includes all possible positive polynomials) for which \(\bar\phi(\bar x) \leq \bar\phi(\bar y)\) (see definition below) when \(\bar x\) is power majorized \(\bar y\) . We also answer a question posed by Clausing by showing that there are vectors \(\bar x\) , \(\bar y\ \in\ R^n\) of any dimension n ≥ 4 for which there is a convex function ? such that \(\bar x\) is power majorized by \(\bar y\) and \(\bar\phi(\bar x)\ >\ \bar\phi(\bar y)\) .     

On characterizations of sup-preserving functionals

Let (E, ≦) be a vector lattice and E ₊ be the set of all nonnegative elements of E. We investigate M-functionals from E ₊ into ?₊, that is functions A: E ₊ → ?₊ such that $$ \Lambda (f \vee g) = \Lambda (f) \vee \Lambda (g),\Lambda (\alpha f) = \alpha \Lambda (f) $$ for α ≧ 0 and f, g ? E ₊. Let X be a set and Σ be an algebra of subsets of X. By an M-measure we understand the function μ: Σ → ?₊ such that μ( $ \not 0 $ ) = 0 and $$ \mu (A \cup B) = \mu (A) \vee \mu (B)forA,B \in \Sigma ). $$ The main result of the paper is a Riesz type theorem. We prove that every M-functional on C(X, ?)₊ can be expressed in terms of M-measure.     

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 }.     

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 ²(ω).     

Rows and diagonals of the Walsh array for entire functions with smooth Maclaurin series coefficients

Let \(f(z): = \sum\nolimits_{j = 0}^\infty {a_j z^J } \) be entire, witha _j≠0,j large enough, \(\lim _{J \to \infty } a_{j + 1} /a_J = 0\) , and, for someq∈C, \(q_j : = a_{j - 1} a_{j + 1} /a_j^2 \to q\) asj→∞. LetE _mn(f; r) denote the error in best rational approximation off in the uniform norm on |z‖≤r, by rational functions of type (m, n). We study the behavior ofE _mn(f; r) asm and/orn→∞. For example, whenq above is not a root of unity, or whenq is a root of unity, butq _m has a certain asymptotic expansion asm→∞, then we show that, for each fixed positive integern, ,m→∞. In particular, this applies to the Mittag-Leffler functions \(f(z): = \sum\nolimits_{j = 0}^\infty {z^j /\Gamma (1 + j/\lambda )} \) and to \(f(z): = \sum\nolimits_{j = 0}^\infty {z^j /(j!)^{I/\lambda } } \) , λ>0. When |q‖<1, we also handle the diagonal case, showing, for example, that ,n→∞. Under mild additional conditions, we show that we can replace 1+0(1) ⁿ by 1+0(1). In all cases we show that the poles of the best approximants approach ∞ asm→∞.     

The explicit solutions ofC_{p,q}^{k + \alpha } -form for the\bar \partial -equations on pseudoconvex open sets

In this paper, we study the integral solution operators for the $\bar \partial $ -equations on pseudoconvex domains. As a generalization of [1] for the $\bar \partial $ -equations on pseudoconvex domains with boundary of classC ^∞, we obtain the explicit integral operator solutions of $C_{p,q}^{k + \alpha } $ -form for the $\bar \partial $ -equations on pseudoconvex open sets with boundary ofC ^k (k≥0) and the sup-norm estimates of which solutions have similar as that [1] in form.     

Calderón constants of finite-dimensional couples

The Calderón constant æ( $\bar X$ ) is a numerical invariant of finite-dimensional Banach couple $\bar X = (X_0 ,X_1 )$ measuring its interpolation property with respect to linear operators acting in $\bar X$ . In the paper we prove the duality relation æ( $\bar X$ )≈ æ( $\bar X$ ^*)and calculate the asymptotic behavior of æ( $\bar X$ ) as dim $\bar X \to \infty $ for a few “classical” Banach couples.     

Prolongations of valuations to finite extensions

Let ${K=\mathbb{Q}(\theta)}$ be an algebraic number field with θ in the ring A _K of algebraic integers of K and f(x) be the minimal polynomial of θ over the field ${\mathbb{Q}}$ of rational numbers. For a rational prime p, let ${\bar{f}(x)\,=\,\bar{g}_{1}(x)^{e_{1}}....\bar{g}_{r}(x)^{e_{r}}}$ be the factorization of the polynomial ${\bar{f}(x)}$ obtained by reducing coefficients of f(x) modulo p into a product of powers of distinct irreducible polynomials over ${\mathbb{Z}/p\mathbb{Z}}$ with g _i (x) monic. Dedekind proved that if p does not divide [ ${A_{K}:\mathbb{Z}}$ [θ]], then ${pA_{K}=\wp_{1}^{e_{1}}\ldots\wp_{r}^{e_{r}}}$ , where ${\wp_{1},\ldots,\wp_{r}}$ are distinct prime ideals of A _K , ${\wp_{i}=pA_{K}+g_{i}(\theta)A_{K}}$ having residual degree equal to the degree of ${\bar{g}_{i}(x)}$ . He also proved that p does not divide [ ${A_{K}:\mathbb{Z}}$ [θ]] if and only if for each i, either e _i  = 1 or ${\bar{g}_{i}(x)}$ does not divide ${\bar{M}(x)}$ where ${M(x)=\frac{1}{p}(f(x)-g_{1}(x)^{e_{1}}....g_{r}(x)^{e_{r}})}$ . Our aim is to give a weaker condition than the one given by Dedekind which ensures that if the polynomial ${\bar{f}(x)}$ factors as above over ${\mathbb{Z}/p\mathbb{Z}}$ , then there are exactly r prime ideals of A _K lying over p, with respective residual degrees ${\deg \bar {g}_{1}(x),...,\deg \bar {g}_{r}(x)}$ and ramification indices e ₁, ..., e _r . In this paper, the above problem has been dealt with in a more general situation when the base field is a valued field (K, v) of arbitrary rank and K(θ) is any finite extension of K.     

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].     

On the Generalized Feynman–Kac Transformation for?Nearly Symmetric Markov Processes

Suppose that X is a right process which is associated with a non-symmetric Dirichlet form $(\mathcal{E},D(\mathcal{E}))$ on L ²(E;m). For $u\in D(\mathcal{E})$ , we have Fukushima??s decomposition: $\tilde{u}(X_{t})-\tilde{u}(X_{0})=M^{u}_{t}+N^{u}_{t}$ . In this paper, we investigate the strong continuity of the generalized Feynman?CKac semigroup defined by $P^{u}_{t}f(x)=E_{x}[e^{N^{u}_{t}}f(X_{t})]$ . Let $Q^{u}(f,g)=\mathcal{E}(f,g)+\mathcal{E}(u,fg)$ for $f,g\in D(\mathcal{E})_{b}$ . Denote by J ₁ the dissymmetric part of the jumping measure J of $(\mathcal{E},D(\mathcal{E}))$ . Under the assumption that J ₁ is finite, we show that $(Q^{u},D(\mathcal{E})_{b})$ is lower semi-bounded if and only if there exists a constant ?? ₀??0 such that $\|P^{u}_{t}\|_{2}\leq e^{\alpha_{0}t}$ for every t>0. If one of these conditions holds, then $(P^{u}_{t})_{t\geq0}$ is strongly continuous on L ²(E;m). If X is equipped with a differential structure, then this result also holds without assuming that J ₁ is finite.     

On imbedding of classes of functions

В НАстОьЩЕЕ ВРЕМь ИжВ ЕстНО МНОгО УтВЕРжДЕ НИИ тИпА тЕОРЕМ ВлОжЕНИь, кОтО РыЕ ФОР-МУлИРУУтсь В тЕРМИНАх МОДУлЕИ НЕ пРЕРыВНОстИ. ДАННАь РАБОтА сОДЕРж Ит НЕскОлькО тЕОРЕМ В лОжЕНИь с УслОВИьМИ, ВыРАжЕННы МИ В тЕРМИНАх НАИлУЧшИх п РИБлИжЕНИИE _n(?,p) ФУНкц ИИ ? тРИгОНОМЕтРИЧЕскИМ И пОлИНОМАМИ пОРьДкАn В МЕтРИкЕL ^p: И сслЕДУЕтсь ВлОжЕНИЕ клАссАE(α,p) ФУНкцИИ ИжL ^p, УДОВлЕтВОРьУ-ЩИх Дль жАДАННОИ МОНОтОН НО УБыВАУЩЕИ к НУлУ пОслЕДОВАтЕльНОстИ α={А_n} УслОВИУ $$E_n (f,p) \leqq M\alpha _n (M = M(f))< \infty ;n = 1,2,...).$$ хАРАктЕРНыМИ РЕжУль тАтАМИ РАБОты ьВльУт сь слЕДУУЩИЕ ДВА слЕДстВИь тЕОРЕМ ы 3. слЕДстВИЕ 1. пУстьР≧1И Β>?1.ЕслИ пОслЕДОВАтЕльНОсть {α_n} УДОВлЕтВОРьЕт УслОВИУ: , тО Дль ВлОжЕНИь $$E(\alpha ,p) \subset L^p (\ln + L)^{\beta + 1} $$ НЕОБхОДИМО И ДОстАтОЧНО $$\mathop \sum \limits_{n = 2}^\infty \frac{{(\ln n)\beta }}{n}\alpha _n^p< \infty .$$ слЕДстВИЕ 2.ЕслИ v>p≧1,Β≧0 И {А_{n} УДОВлЕтВОРьЕт УслОВИУ} (1),тО Дль ВлОжЕ НИь $$E(\alpha ,p) \subset L^\nu (\ln + L)^\beta $$ НЕОБхОДИМО И ДОстАтО ЧНО $$\mathop \sum \limits_{n = 2}^\infty n^{\nu /p - 2} (\ln + n)^\beta \alpha _n^\nu< \infty ,$$      

The Concentration Function of Additive Functions with Special Weight

Suppose that $${g\left( n \right)}$$ is an additive real-valued function, W(N) = 4+ $$\mathop {\min }\limits_\lambda $$ ( λ₂ + $$\sum\limits_{p < N} {\frac{1}{2}} $$ min (1, ( g(p) - λlog p)²), E(N) = 4+1 $$\sum\limits_{\mathop {p < N,}\limits_{g(p) \ne 0} } {\frac{1}{p}.} $$ In this paper, we prove the existence of constants C₁, C₂ such that the following inequalities hold: $\mathop {\sup }\limits_a \geqslant \left| {\left\{ {n, m, k: m, k \in \mathbb{Z},n \in \mathbb{N},n + m^2 + k^2 } \right.} \right. = \left. {\left. {N,{\text{ }}g(n) \in [a,a + 1)} \right\}} \right| \leqslant \frac{{C_1 N}}{{\sqrt {W\left( N \right)} }},$ $\mathop {\sup }\limits_a \geqslant \left| {\left\{ {n, m, k: m, k \in \mathbb{Z},n \in \mathbb{N},n + m^2 + k^2 } \right.} \right. = \left. {\left. {N,{\text{ }}g(n) = a} \right\}} \right| \leqslant \frac{{C_2 N}}{{\sqrt {E\left( N \right)} }},$ . The obtained estimates are order-sharp.     

Об аппроксимации свермками и баэисах иэ сдвигов функции

For 2π-periodic functions f ∈ L ^p ( $ \mathbb{T} $ ), 1 ≤ p < ∞, σ ∈ V ( $ \mathbb{T} $ ) and g ∈ L( $ \mathbb{T} $ ), we consider the convolutions $$ (f*d\sigma )_T (x) = \int_0^{2\pi } {f(x - t)d\sigma (t), } (f*g)_T (x) = \int_0^{2\pi } {f(x - t)g(t)dt.} $$ For fixed functions σ ∈ V ( $ \mathbb{T} $ ) and g ∈ L( $ \mathbb{T} $ ), necessary and sufficient conditions are obtained for the density of the ranges of these operators in L ^p . Similar result is proved for the dyadic convolution $$ (f*g)_2 (x) = \int_0^1 {f(x \oplus t)g(t)dt,} $$ where ⊕ is the operation of dyadic addition on [0, 1). Moreover, it is proved that in the spaces L ^p ( $ \mathbb{T} $ ), 1 ≤ p ∞, and C( $ \mathbb{T} $ ) there exist no bases of shifts of a function. Similar results are obtained for the spaces L ^p [0, 1]*, 1 ≤ p < ∞, and C[0, 1]* relative to dyadic shifts, where [0, 1]* is the modified segment [0, 1]. It is also proved that in the space L(?₊) there exists no basis of dyadic shifts of a function.     

The Algebra of {{\mathbf{SL}}_3}\left( \mathbb{C} \right) Conformal Blocks

We construct and study a family of toric degenerations of the Cox ring of the moduli of quasi-parabolic principal SL₃( $ \mathbb{C} $ ) bundles on a smooth, marked curve (C, $ \vec{p} $ ): Elements of this algebra have a well known interpretation as conformal blocks, from the Wess-Zumino-Witten model of conformal field theory. For the genus 0; 1 cases we find the level of conformal blocks necessary to generate the algebra. In the genus 0 case we also find bounds on the degrees of relations required to present the algebra. As a consequence we obtain a toric degeneration for the projective coordinate ring of an effective divisor on the moduli $ {{\mathcal{M}}_{{C,\vec{p}}}}\left( {\mathrm{S}{{\mathrm{L}}_3}\left( \mathbb{C} \right)} \right) $ of quasi-parabolic principal SL₃( $ \mathbb{C} $ ) bundles on (C, $ \vec{p} $ ). Along the way we recover positive polyhedral rules for counting conformal blocks.     

A property of an autonomous minimax optimal control problem

A control system \(\dot x = f\left( {x,u} \right)\) ,u) with cost functional $$\mathop {ess \sup }\limits_{T0 \leqslant t \leqslant T1} G\left( {x\left( t \right),u\left( t \right)} \right)$$ is considered. For an optimal pair \(\left( {\bar x\left( \cdot \right),\bar u\left( \cdot \right)} \right)\) ,ū(·)), there is a maximum principle of the form $$\eta \left( t \right)f\left( {\bar x\left( t \right),\bar u\left( t \right)} \right) = \mathop {\max }\limits_{u \in \Omega \left( t \right)} \eta \left( t \right)f\left( {\bar x\left( t \right),u} \right).$$ By means of this fact, it is shown that \(\eta \left( t \right)f\left( {\bar x\left( t \right),\bar u\left( t \right)} \right)\) is equal to a constant almost everywhere.