A maximum principle for time-lag control problems with bounded state

A maximum principle is obtained for control problems involving a constant time lag τ in both the control and state variables. The problem considered is that of minimizing $$I(x) = \int_{t^0 }^{t^1 } {L (t,x(t), x(t - \tau ), u(t), u(t - \tau )) dt} $$ subject to the constraints 1 $$\begin{gathered} \dot x(t) = f(t,x(t),x(t - \tau ),u(t),u(t - \tau )), \hfill \\ x(t) = \phi (t), u(t) = \eta (t), t^0 - \tau \leqslant t \leqslant t^0 , \hfill \\ \end{gathered} $$ 1 $$\psi _\alpha (t,x(t),x(t - \tau )) \leqslant 0,\alpha = 1, \ldots ,m,$$ 1 $$x^i (t^1 ) = X^i ,i = 1, \ldots ,n$$ . The results are obtained using the method of Hestenes.     

An integral equation and a representation for a Green's function

The final step in the mathematical solution of many problems in mathematical physics and engineering is the solution of a linear, two-point boundary-value problem such as $$\begin{gathered} \ddot u - q(t)u = - g(t), 0< t< x \hfill \\ (0) = 0, \dot u(x) = 0 \hfill \\ \end{gathered} $$ Such problems frequently arise in a variational context. In terms of the Green's functionG, the solution is $$u(t) = \int_0^x {G(t, y, x)g(y) dy} $$ It is shown that the Green's function may be represented in the form $$G(t,y,x) = m(t,y) - \int_y^x {q(s)m(t, s) m(y, s)} ds, 0< t< y< x$$ wherem satisfies the Fredholm integral equation $$m(t,x) = k(t,x) - \int_0^x k (t,y) q(y) m(y, x) dy, 0< t< x$$ and the kernelk is $$k(t, y) = min(t, y)$$      

On Nonlocal Boundary Value Problems for Nonlinear Integro-differential Equations of Arbitrary Fractional Order

In this paper, we prove the existence of solutions of a nonlocal boundary value problem for nonlinear integro-differential equations of fractional order given by $$ \begin{array}{ll} ^cD^qx(t) = f(t,x(t),(\phi x)(t),(\psi x)(t)), \quad 0 < t < 1,\\x(0) = \beta x(\eta), x'(0) =0, x''(0) =0, \ldots, x^{(m-2)}(0) =0, x(1)= \alpha x(\eta), \end{array}$$ where $${q \in (m-1, m], m \in \mathbb{N}, m \ge 2}$, $0< \eta <1$$ , and ${\phi x}$ and ${\psi x}$ are integral operators. The existence results are established by means of the contraction mapping principle and Krasnoselskii’s fixed point theorem. An illustrative example is also presented.     

On the uniqueness of solutions of a certain characteristic Cauchy problem

The question of uniqueness of solutions of the global Cauchy problem (1)–(2) below is discussed. We assume that there exists a complex constant c such that the modified equation $$\frac{{\partial ^2 u}}{{\partial t^2 }} = c_{\left| \alpha \right| \leqq 2} \sum a_\alpha (x) D_x^\alpha u$$ becomes hyperbolic. Under this and some other additional conditions (See Condition A in §2) we prove the uniqueness of solutions of the Cauchy problem within the class of functions u(t, x) such that $$|u(t,x)| \leqq C exp(a|x|^2 ) ,$$ C and a being positive constants     

A Nonlinear Loaded Parabolic Equation and a Related Inverse Problem

The solvability of the nonlocal-in-time boundary-value problem for the nonlinear parabolic equation $$u_t - \Delta u + c(\bar u(x,T))u = f(x,t),$$ where $\bar u(x,t) = \alpha (t)u(x,t) + \int_0^t {\beta (\tau )u(x,\tau )d\tau } $ for given functions $\alpha (t)$ and $\beta (t)$ , is studied. Existence and uniqueness theorems for regular solutions are proved; it is shown that the results obtained can be used to study the solvability of coefficient inverse problems.     

Necessary and sufficient conditions for optimal control of quasilinear partial differential systems

First-order necessary and sufficient conditions are obtained for the following quasilinear distributed-parameter optimal control problem: $$max\left\{ {J(u) = \int_\Omega {F(x,u,t) d\omega + } \int_{\partial \Omega } {G(x,t) \cdot d\sigma } } \right\},$$ subject to the partial differential equation $$A(t)x = f(x,u,t),$$ wheret,u,G are vectors andx,F are scalars. Use is made of then-dimensional Green's theorem and the adjoint problem of the equation. The second integral in the objective function is a generalized surface integral. Use of then-dimensional Green's theorem allows simple generalization of single-parameter methods. Sufficiency is proved under a concavity assumption for the maximized Hamiltonian $$H^\circ (x,\lambda ,t) = \max \{ H(x,u,\lambda ,t):u\varepsilon K\} $$ .     

Time periodic solutions of nonlinear wave equations

Existence and regularity of solutions of $$(1)u_{tt} - u_{xx} = \varepsilon K(x,t,u,u_t )0< x< \pi ,0 \leqslant t \leqslant 2\pi $$ together with the periodicity and boundary conditions $$(2)u(x,t + 2\pi ) = u(x,t),u(0,t) = 0 = u(\pi ,t)$$ is studied both with an without the dissipation u_t. A solution is a pair (χ, u). A main feature of interest here is an infinite dimensional biofurcation problem. Under appropriate conditions on K, global existence results are obtained by a combination of analytical and topological methods.     

Optimal trajectories for quadratic variational processes via invariant imbedding

Consider minimizing the integral $$I = \int_0^T {[\dot w^2 + g(y)w^2 ] dy}$$ where $$w = w(y), \dot w = dw/dy, w(T) = 1, w(0) = free$$ ForT sufficiently small, it is shown that $$w_{opt} = x(t,T), 0 \leqslant t \leqslant T$$ where the functionx, viewed as a function ofT, is a solution of the Cauchy problem $$\begin{gathered} x_T (t,T) = r(T)x(t,T), T \geqslant t \hfill \\ x(t,t) = 1 \hfill \\\end{gathered}$$ and the auxiliary functionr satisfies the Riccati system $$\begin{gathered} r_T = ---g(T) + r^2 , T \geqslant 0 \hfill \\ r(0) = 0 \hfill \\\end{gathered}$$ In the derivation of the Cauchy problem, no use is made of Euler equations, dynamic programming, or Pontryagin's maximum principle. Only ordinary differential equations are employed. The Cauchy problem provides a one-sweep integration procedure; it is intimately connected with the theory of the second variation.     

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.     

From pointwise to local regularity for solutions of Hamilton–Jacobi equations

It is well-known that solutions to the Hamilton–Jacobi equation $$\begin{aligned} u_{t}(t,x)+H(x,u_{x}(t,x))=0 \end{aligned}$$ fail to be everywhere differentiable. Nevertheless, suppose a solution $u$ turns out to be differentiable at a given point $(t,x)$ in the interior of its domain. May then one deduce that $u$ must be continuously differentiable in a neighborhood of $(t,x)$ ? Although this question has a negative answer in general, our main result shows that it is indeed the case when the proximal subdifferential of $u(t,\cdot )$ at $x$ is nonempty. Our approach uses the representation of $u$ as the value function of a Bolza problem in the calculus of variations, as well as necessary conditions for such a problem.     

Inverse problem of finding n coefficients of lower derivatives in a parabolic equation

We consider the problem of reconstructing the vector function $\vec b(x) = (b_1 ,...,b_n )$ in the term $(\vec b,\nabla u)$ in a linear parabolic equation. This coefficient inverse problem is considered in a bounded domain Ω ? R ⁿ . To find the above-mentioned function $\vec b(x)$ , in addition to initial and boundary conditions we pose an integral observation of the form $\int_0^T {u(x,t)\vec \omega (t)dt = \vec \chi (x)} $ , where $\vec \omega (t) = (\omega _1 (t),...,\omega _n (t))$ is a given weight vector function. We derive sufficient existence and uniqueness conditions for the generalized solution of the inverse problem. We present an example of input data for which the assumptions of the theorems proved in the paper are necessarily satisfied.     

Approximate Weak Invariance and Relaxation for Fully Nonlinear Differential Inclusions

In this paper we prove that a given set K is approximately weakly invariant with respect to the fully nonlinear differential inclusion $${x^\prime (t) \in Ax (t) + F (x (t))}$$ , where A is an m-dissipative operator, and F is a given multi-function in a Banach space, if and only if the set ${F(\xi)}$ is A-quasi-tangent to the set K, for every ${{\xi \in K}}$ . As an application, we establish that the approximate solutions of the given differential inclusion approximate the solutions of the relaxed (convexified) nonlinear differential inclusion $${x^\prime (t) \in Ax (t) + \overline{co}F (x (t))}$$ , with no hypotheses of Lipschitz type for multi-function F.     

On the convolution equation with positive kernel expressed via an alternating measure

We consider the integral convolution equation on the half-line or on a finite interval with kernel $$K(x - t) = \int_a^b {e^{ - \left| {x - t} \right|s} d\sigma (s)} $$ with an alternating measure dσ under the conditions $$K(x) > 0, \int_a^b {\frac{1}{s}\left| {d\sigma (s)} \right| < + \infty } , \int_{ - \infty }^\infty {K(x)dx = 2} \int_a^b {\frac{1}{s}d\sigma (s) \leqslant 1} .$$ The solution of the nonlinear Ambartsumyan equation $$\varphi (s) = 1 + \varphi (s) \int_a^b {\frac{{\varphi (p)}}{{s + p}}d\sigma (p)} ,$$ is constructed; it can be effectively used for solving the original convolution equation.     

A minimax theorem for vector-valued functions

In this work, as usual in vector-valued optimization, we consider the partial ordering induced in a topological vector space by a closed and convex cone. In this way, we define maximal and minimal sets of a vector-valued function and consider minimax problems in this setting. Under suitable hypotheses (continuity, compactness, and special types of convexity), we prove that, for every $$\alpha \varepsilon Max\bigcup\limits_{s\varepsilon X_o } {Min_w } f(s,Y_0 ),$$ there exists $$\beta \varepsilon Min\bigcup\limits_{r\varepsilon Y_o } {Max} f(X_0 ,t),$$ such that β ≤ α (the exact meanings of the symbols are given in Section 2).     

On the convergence to infinity of Fourier series along dense subsequences of numbers

В статье доказываетс я Теорема.Какова бы ни была возрастающая последовательность натуральных чисел {H _k } _{k = 1} ^∞ c $$\mathop {\lim }\limits_{k \to \infty } \frac{{H_k }}{k} = + \infty$$ , существует функцияf∈L(0, 2π) такая, что для почт и всех x∈(0, 2π) можно найти возраст ающую последовательность номеров {n_k(x)} _k=1 ^∞ ,удовлетворяющую усл овиям 1) $$n_k (x) \leqq H_k , k = 1,2, ...,$$ 2) $$\mathop {\lim }\limits_{t \to \infty } S_{n_{2t} (x)} (x,f) = + \infty ,$$ 3) $$\mathop {\lim }\limits_{t \to \infty } S_{n_{2t - 1} (x)} (x,f) = - \infty$$ .     

On the average number of direct factors of a finite Abelian group

Let \(T(x) = \sum\limits_{ord(G) \leqq x} {t(G),} \) , wheret(G) define the number of direct factors of a finite Abelian group.E. Krätzel ([5]) defined a remainderΔ ₁(x) in the asymptotic ofT(x) and proved $$\Delta _1 (x)<< x^{{5 \mathord{\left/ {\vphantom {5 {12}}} \right. \kern-\nulldelimiterspace} {12}}} \log ^4 x.$$ Using two different methods to estimate a special three-dimensional exponential sum we get the better results $$\Delta _1 (x)<< x^{{{282} \mathord{\left/ {\vphantom {{282} {683}}} \right. \kern-\nulldelimiterspace} {683}}} \log ^4 x$$ and $$\Delta _1 (x)<< x^{{{45} \mathord{\left/ {\vphantom {{45} {109}}} \right. \kern-\nulldelimiterspace} {109}} + \varepsilon } (\varepsilon > 0).$$      

Difference Inequalities for the Groups and Semigroups of Operators on Banach Spaces

Let ${\mathbf{T}=\{T(t)\} _{t\in\mathbb{R}}}$ be a ??(X, F)-continuous group of isometries on a Banach space X with generator A, where ??(X, F) is an appropriate local convex topology on X induced by functionals from ${ F\subset X^{\ast}}$ . Let ?? _A (x) be the local spectrum of A at ${x\in X}$ and ${r_{A}(x):=\sup\{\vert\lambda\vert :\lambda \in \sigma_{A}(x)\},}$ the local spectral radius of A at x. It is shown that for every ${x\in X}$ and ${\tau\in\mathbb{R},}$ $$\left\Vert T(\tau) x-x\right\Vert \leq \left\vert \tau \right\vert r_{A}(x)\left\Vert x\right\Vert.$$ Moreover if ${0\leq \tau r_{A}(x)\leq \frac{\pi}{2},}$ then it holds that $$\left\Vert T(\tau) x-T(-\tau)x\right\Vert \leq 2\sin \left(\tau r_{A}(x)\right)\left\Vert x\right\Vert.$$ Asymptotic versions of these results for C ₀-semigroup of contractions are also obtained. If ${\mathbf{T}=\{T(t)\}_{t\geq 0}}$ is a C ₀-semigroup of contractions, then for every ${x\in X}$ and ????? 0, $$\underset{t\rightarrow \infty }{\lim } \left\Vert T( t+\tau) x-T(t) x\right\Vert\leq\tau\sup\left\{ \left\vert \lambda \right\vert :\lambda \in\sigma_{A}(x)\cap i \mathbb{R} \right\} \left\Vert x\right\Vert. $$ Several applications are given.     

Conventional penalty optimization methods

In a recent study, the effects of large penalty constants on Ritz penalty methods based on finite-element approximations used in the solution of the control of a system governed by the diffusion equation were established. The problem involves the selection of the inputu(x, t) so as to minimize the cost $$J(u) = \int_0^1 {\int_0^1 {\left\{ {u^2 (x,t) + z^2 (x,t)} \right\}dx dt,} } $$ subject to the constraint $$\partial z/\partial t = \partial ^2 z/\partial x^2 + u(x,t), 0 \leqslant x,t \leqslant 1,$$ with boundary conditions $$z(0,t) = z(1,t) = 0, 0 \leqslant t \leqslant 1,$$ and the initial state $$z(x,0) = z_0 (x), 0 \leqslant x \leqslant 1.$$ Our results verify that the Ritz penalty method exhibits good convergence properties, although the estimates for the convergence rate are cumbersome. In this paper, a conceptually simple procedure based on the conventional penalty method is presented. Some significant advantages of the method is presented. Some significant advantages of the method are the following. It allows easy estimation of its convergence rate. Furthermore, the multiplier method can be used to accelerate the rate of convergence of the method without essentially allowing the penalty constants to tend to infinity; thus, in this way, it is possible to retain the good convergence properties, an important feature which is often glossed over. The paper provides a clear mathematical analysis of how these advantages can be exploited and illustrated with numerical examples.     

Construction of characteristic functions for the system of Navier-Stokes-Voigt equations and the BBM equation

For the system of Navier-Stokes-Voigt equations $$\frac{{\partial \vec v}}{{\partial t}} - v\Delta \vec v - \aleph \frac{{\partial \Delta \vec v}}{{\partial t}} + v_\kappa \frac{{\partial \Delta \vec v}}{{\partial x_\kappa }} + grad \rho = 0, div \vec v = 0$$ and the BBM equation $$\frac{{\partial v}}{{\partial t}} + v\frac{{\partial \Delta v}}{{\partial x}} - \frac{{\partial ^3 v}}{{\partial t\partial x^2 }} = 0$$ characteristic functions \(\mathcal{F}\left( {\vec \theta ;t} \right)\) of the measure μ_t(ω)=μ(V _?1 ^t (ω)), describing the evolution in time of the probability measure μ(ω) defined on the set of initial conditions for the first initial boundary-value problem for system (1) or Eq. (2) are constructed and investigated. It is shown that the characteristic functions \(\mathcal{F}\left( {\vec \theta ;t} \right)\) constructed satisfy partial differential equations with an infinite number of independent variables (t; θ₁,θ₂,...) [the statistical equations of E. Hopf for the system (1) or Eq. (2)].