Optimal boundary control by an elastic force at one end and a displacement at the other end for an arbitrary sufficiently large time interval in the string vibration problem

We consider a boundary value problem for the wave equation with given initial conditions and with boundary conditions of the second kind at one end of the string and boundary conditions of the first kind at the other end of the string. We assume the boundary conditions to ensure that the solution of the problem (in the class of generalized functions) satisfying the initial conditions at the initial time t = 0 satisfies given terminal conditions at the terminal time t = T. We clarify the relationship between the functions µ(t) and ν(t) in the boundary conditions and the given functions specifying the initial and terminal states. We obtain closed-form analytic expressions for the functions µ(t) and ν(t) minimizing the boundary energy functional.     

Searching for a Best Least Absolute Deviations Solution of an Overdetermined System of Linear Equations Motivated by Searching for a Best Least Absolute Deviations Hyperplane on the Basis of Given Data

We consider the problem of searching for a best LAD-solution of an overdetermined system of linear equations Xa=z, X∈?^m×n, m≥n, \(\mathbf{a}\in \mathbb{R}^{n}, \mathbf {z}\in\mathbb{R}^{m}\). This problem is equivalent to the problem of determining a best LAD-hyperplane x?a ^T x, x∈? ⁿ on the basis of given data \((\mathbf{x}_{i},z_{i}), \mathbf{x}_{i}= (x_{1}^{(i)},\ldots,x_{n}^{(i)})^{T}\in \mathbb{R}^{n}, z_{i}\in\mathbb{R}, i=1,\ldots,m\), whereby the minimizing functional is of the form

$F(\mathbf{a})=\|\mathbf{z}-\mathbf{Xa}\|_1=\sum_{i=1}^m|z_i-\mathbf {a}^T\mathbf{x}_i|.$

An iterative procedure is constructed as a sequence of weighted median problems, which gives the solution in finitely many steps. A criterion of optimality follows from the fact that the minimizing functional F is convex, and therefore the point a ^?∈? ⁿ is the point of a global minimum of the functional F if and only if 0∈?F(a ^?).

Motivation for the construction of the algorithm was found in a geometrically visible algorithm for determining a best LAD-plane (x,y)?αx+βy, passing through the origin of the coordinate system, on the basis of the data (x _i ,y _i ,z _i ),i=1,…,m.     

Estimates for the Involution of Decomposable Elements of a Complex Banach Algebra

An element a of a complex Banach algebra with unit \(1I\) and with standard conditions on the norm (‖ab‖ ? ‖a‖ · ‖b‖ and ‖\(1I\)‖ = 1) is said to be Hermitian if ‖e ^ita ‖ = 1 for any real number t. An element is said to be decomposable if it admits a representation of the form a + ib in which a and b are Hermitian. The decomposable elements form a Banach Lie algebra (with respect to the commutator). The Hermitian components are determined uniquely, and hence this Lie algebra has the natural involution a + ib = x → x* = a ? ib. One can readily see that ‖x*‖ ? 2‖x‖. Among other things, we prove that ‖ x*‖ ? γ‖x‖, where γ < 2. In fact, the situation is treated in more detail: the original problem is included in a continuous family parametrized by the numerical radius of the element. Finding the exact value of the constant γ is reduced to a variational problem in the theory of entire functions of exponential type. Approximately, γ is equal to 1.92 ± 0.04.     

Regularity in the Local CR Embedding Problem

We consider a formally integrable, strictly pseudoconvex CR manifold M of hypersurface type, of dimension 2n?1≥7. Local CR, i.e., holomorphic, embeddings of M are known to exist from the works of Kuranishi and Akahori. We address the problem of regularity of the embedding in standard Hölder spaces C ^a (M), a∈R. If the structure of M is of class C ^m , m∈Z, 4≤m≤∞, we construct a local CR embedding near each point of M. This embedding is of class C ^a , for every a, 0≤a<m+(1/2). Our method is based on Henkin’s local homotopy formula for the embedded case, some very precise estimates for the solution operators in it, and a substantial modification of a previous Nash–Moser argument due to the second author.     

Variational problems of nonlinear elasticity in certain classes of mappings with finite distortion

We study the problem of minimizing the functional \(I(\phi ) = \int\limits_\Omega {W(x,D\phi )dx}\) on a new class of mappings. We relax summability conditions for admissible deformations to φ ∈ W _n ¹ (Ω) and growth conditions on the integrand W(x, F). To compensate for that, we require the condition \(\frac{{\left| {D\phi (x)} \right|^n }} {{J(x,\phi )}} \leqslant M(x) \in L_s (\Omega )\), s > n ? 1, on the characteristic of distortion. On assuming that the integrand W(x, F) is polyconvex and coercive, we obtain an existence theorem for the problem of minimizing the functional I(φ) on a new family of admissible deformations A.     

On the k-polygonal numbers and the mean value of Dedekind sums

For any positive integer k ≥ 3, it is easy to prove that the k-polygonal numbers are a_n(k) = (2n+n(n?1)(k?2))/2. The main purpose of this paper is, using the properties of Gauss sums and Dedekind sums, the mean square value theorem of Dirichlet L-functions and the analytic methods, to study the computational problem of one kind mean value of Dedekind sums S(a_n(k)ā_m(k), p) for k-polygonal numbers with 1 ≤ m, n ≤ p ? 1, and give an interesting computational formula for it.     

Hilbert boundary value problem in the weighted spaces <Emphasis Type="Italic">L</Emphasis><Superscript>1</Superscript>(<Emphasis Type="Italic">ρ</Emphasis>)

The paper studies a Hilbert boundary value problem in L ¹(ρ), where ρ(t) = |1–t|^α and α is a real number. For α > ?1, it is proved that the homogeneous problem has n + κ linearly independent solutions when n + κ ≥ 0, where a(t) is the coefficient of the problem, besides, κ ind a(t) and n = [α] + 1 if α is not an integer, and n = α if α is an integer. Conditions under which the problem is solvable are found for the case when α > ?1 and n+κ < 0. For α ≤ ?1 the number of linearly independent solutions of the homogeneous problem depends on the behavior of the function a(t) at the point t = 1.     

Convergence rates for Tikhonov regularization of a two-coefficient identification problem in an elliptic boundary value problem

We investigate the convergence rates for Tikhonov regularization of the problem of simultaneously estimating the coefficients q and a in the Neumann problem for the elliptic equation \({{-{\rm div}(q \nabla u) + au = f \;{\rm in}\; \Omega, q{\partial u}/{\partial n} = g}}\) on the boundary \({{\partial\Omega, \Omega \subset \mathbb{R}^d, d \geq 1}}\) , when u is imprecisely given by \({{{z^\delta} \in {H^1}(\Omega), \|u-z^\delta\|_{H^1(\Omega)}\le\delta, \delta > 0}}\). We regularize this problem by minimizing the strictly convex functional of (q, a)

$\begin{array}{lll}\int\limits_{\Omega}\left(q| \nabla (U(q,a)-z^{\delta})|^2 + a(U(q,a)-z^{\delta})^2\right)dx\\\quad+\rho\left(\|q-q^*\|^2_{L^2(\Omega)} + \|a-a^*\|^2_{L^2(\Omega)}\right)\end{array}$

over the admissible set K, where ρ > 0 is the regularization parameter and (q*, a*) is an a priori estimate of the true pair (q, a) which is identified, and consider the unique solution of these minimization problem as the regularized one to that of the inverse problem. We obtain the convergence rate \({{{\mathcal {O}}(\sqrt{\delta})}}\), as δ → 0 and ρ ~ δ, for the regularized solutions under the simple and weak source condition

${\rm there\;is\;a\;function}\;w^* \in V^*\;{\rm such\;that}\;{U^\prime (q^ \dagger, a^\dagger)}^*w^* = (q^\dagger - q^*, a^\dagger - a^*)$

with \({{(q^\dagger, a^\dagger)}}\) being the (q*, a*)-minimum norm solution of the coefficient identification problem, U′(·, ·) the Fréchet derivative of U(·, ·), V the Sobolev space on which the boundary value problem is considered. Our source condition is without the smallness requirement on the source function which is popularized in the theory of regularization of nonlinear ill-posed problems. Furthermore, some concrete cases of our source condition are proved to be simply the requirement that the sought coefficients belong to certain smooth function spaces.

     

On solutions of a boundary value problem for the biharmonic equation

We study the uniqueness of the solution of a boundary value problem for the biharmonic equation in unbounded domains under the assumption that the generalized solution of this problem has a bounded Dirichlet integral with weight |x|^a. Depending on the value of the parameter a, we prove uniqueness theorems or present exact formulas for the dimension of the solution space of this problem in the exterior of a compact set and in a half-space.     

On solutions of the mixed Dirichlet-Steklov problem for the biharmonic equation in exterior domains

We study the unique solvability of the mixed Dirichlet-Steklov problem for the biharmonic equation in exterior domains under the assumption that a generalized solution of this problem has a bounded Dirichlet integral with weight |x| ^a . Depending on the value of the parameter a, we prove uniqueness theorem or present exact formulas for the dimension of the solution space of the mixed Dirichlet-Steklov problem in the exterior of a compact set.     

A unified approach to singular problems arising in the membrane theory

We consider the singular boundary value problem \(({t^n}u't))' + {t^n}f(t,u(t)) = 0,{\rm{ }}\mathop {\lim }\limits_{t \to 0 + } {t^n}u'(t) = 0,{\rm{ }}{a_0}u(1) + {a_1}u'(1 - ) = A,\) where f(t, x) is a given continuous function defined on the set (0, 1]×(0,∞) which can have a time singularity at t = 0 and a space singularity at x = 0. Moreover, n ∈ ?, n ? >2, and a ₀, a ₁, A are real constants such that a ₀ ∈ (0,1), whereas a ₁,A ∈ [0,∞). The main aim of this paper is to discuss the existence of solutions to the above problem and apply the general results to cover certain classes of singular problems arising in the theory of shallow membrane caps, where we are especially interested in characterizing positive solutions. We illustrate the analytical findings by numerical simulations based on polynomial collocation.     

Tong-type identity and the mean square of the error term for an extended Selberg class

In 1956, Tong established an asymptotic formula for the mean square of the error term of the summatory function of the Piltz divisor function d3(n). The aim of this paper is to generalize Tong's method to a class of Dirichlet series L(s) which satisfies a functional equation. Let a(n) be an arithmetical function related to a Dirichlet series L(s), and let E(x) be the error term of ′n xa(n). In this paper, after introducing a class of Diriclet series with a general functional equation(which contains the well-known Selberg class), we establish a Tong-type identity and a Tong-type truncated formula for the error term of the Riesz mean of the coefficients of this Dirichlet series L(s). This kind of Tong-type truncated formula could be used to study the mean square of E(x) under a certain assumption. In other words, we reduce the mean square of E(x) to the problem of finding a suitable constant σ*which is related to the mean square estimate of L(s). We shall represent some results of functions in the Selberg class of degrees 2–4.     

Optimal combinations bounds of root-square and arithmetic means for Toader mean

We find the greatest value α ₁ and α ₂, and the least values β ₁ and β ₂, such that the double inequalities α ₁ S(a,b)?+?(1???α ₁) A(a,b)?T(a,b)?β ₁ S(a,b)?+?(1???β ₁) A(a,b) and \(S^{\alpha_{2}}(a,b)A^{1-\alpha_{2}}(a,b)< T(a,b)< S^{\beta_{2}}(a,b)A^{1-\beta_{2}}(a,b)\) hold for all a,b?>?0 with a?≠?b. As applications, we get two new bounds for the complete elliptic integral of the second kind in terms of elementary functions. Here, S(a,b)?=?[(a ²?+?b ²)/2]^1/2, A(a,b)?=?(a?+?b)/2, and \(T(a,b)=\frac{2}{\pi}\int\limits_{0}^{{\pi}/{2}}\sqrt{a^2{\cos^2{\theta}}+b^2{\sin^2{\theta}}}{\rm d}\theta\) denote the root-square, arithmetic, and Toader means of two positive numbers a and b, respectively.     

An Optimal Algorithm for the <Emphasis Type="Italic">k</Emphasis>-Fixed-Endpoint Path Cover on Proper Interval Graphs

In this paper we consider the k-fixed-endpoint path cover problem on proper interval graphs, which is a generalization of the path cover problem. Given a graph G and a set T of k vertices, a k-fixed-endpoint path cover of G with respect to T is a set of vertex-disjoint simple paths that covers the vertices of G, such that the vertices of T are all endpoints of these paths. The goal is to compute a k-fixed-endpoint path cover of G with minimum cardinality. We propose an optimal algorithm for this problem with runtime O(n), where n is the number of intervals in G. This algorithm is based on the Stair Normal Interval Representation (SNIR) matrix that characterizes proper interval graphs. In this characterization, every maximal clique of the graph is represented by one matrix element; the proposed algorithm uses this structural property, in order to determine directly the paths in an optimal solution.     

The convolution method for fourier expansions. The case of generalized transmission conditions of crack (screen) type in piecewise inhomogeneous media

We consider boundary value problems for the equation ? _x (K ? _x ?) + KL[?] = 0 in the space R ⁿ with generalized transmission conditions of the type of a strongly permeable crack or a weakly permeable screen on the surface x = 0. (Here L is an arbitrary linear differential operator with respect to the variables y ₁, …, y _n?1.) The coefficients K(x) > 0 are monotone functions of certain classes in the regions separated by the screen x = 0. The desired solution has arbitrary given singular points and satisfies a sufficiently weak condition at infinity.We derive formulas expressing the solutions of the above-mentioned problems in the form of simple quadratures via the solutions of the considered equation with a constant coefficient K for given singular points in the absence of a crack or a screen. In particular, the obtained formulas permit one to solve boundary value problems with generalized transmission conditions for equations with functional piecewise continuous coefficients in the framework of the theory of harmonic functions.     

On Dominions of the Rationals in Nilpotent Groups

The dominion of a subgroup H of a group G in a class M is the set of all a ∈ G that have the same images under every pair of homomorphisms, coinciding on H from G to a group in M. A group H is n-closed in M if for every group G = gr(H, a₁,..., a_n) in M that includes H and is generated modulo H by some n elements, the dominion of H in G (in M) is equal to H. We prove that the additive group of the rationals is 2-closed in every quasivariety of torsion-free nilpotent groups of class at most 3.     

Computational Complexity of the Vertex Cover Problem in the Class of Planar Triangulations

We study the computational complexity of the vertex cover problem in the class of planar graphs (planar triangulations) admitting a plane representation whose faces are triangles. It is shown that the problem is strongly NP-hard in the class of 4-connected planar triangulations in which the degrees of vertices are of order O(log n), where n is the number of vertices, and in the class of plane 4-connected Delaunay triangulations based on the Minkowski triangular distance. A pair of vertices in such a triangulation is adjacent if and only if there is an equilateral triangle ?(p, λ) with p ∈ R² and λ > 0 whose interior does not contain triangulation vertices and whose boundary contains this pair of vertices and only it, where ?(p, λ) = p + λ? = {x ∈ R²: x = p + λa, a ∈ ?}; here ? is the equilateral triangle with unit sides such that its barycenter is the origin and one of the vertices belongs to the negative y-axis. Keywords: computational complexity, Delaunay triangulation, Delaunay TD-triangulation.     

Lie Triple Derivations on von Neumann Algebras

Let A be a von Neumann algebra with no central abelian projections. It is proved that if an additive map δ :A → A satisfies δ([[a, b], c]) = [[δ(a), b], c] + [[a, δ(b)], c] +[[a, b], δ(c)] for any a, b, c∈ A with ab = 0(resp. ab = P, where P is a fixed nontrivial projection in A), then there exist an additive derivation d from A into itself and an additive map f :A → ZA vanishing at every second commutator [[a, b], c] with ab = 0(resp.ab = P) such that δ(a) = d(a) + f(a) for any a∈ A.     

Some new sums related to D. H. Lehmer problem

About Lehmer’s number, many people have studied its various properties, and obtained a series of interesting results. In this paper, we consider a generalized Lehmer problem: Let p be a prime, and let N(k; p) denote the number of all 1 ? a _i ? p ? 1 such that a ₁ a ₂ … a _k ≡ 1 mod p and 2 | a _i + ā _i + 1, i = 1, 2, …, k. The main purpose of this paper is using the analytic method, the estimate for character sums and trigonometric sums to study the asymptotic properties of the counting function N(k; p), and give an interesting asymptotic formula for it.     

Elementary Graphs with Respect to <Emphasis Type="Italic">f</Emphasis>-Parity Factors

This note concerns the f-parity subgraph problem, i.e., we are given an undirected graph G and a positive integer value function \({f : V(G) \rightarrow \mathbb{N}}\), and our goal is to find a spanning subgraph F of G with deg _F ≤ f and minimizing the number of vertices x with \({\deg_F(x) \not\equiv f(x) \, {\rm mod} \, {2}}\) . First we prove a Gallai–Edmonds type structure theorem and some other known results on the f-parity subgraph problem, using an easy reduction to the matching problem. Then we use this reduction to investigate barriers and elementary graphs with respect to f-parity factors, where an elementary graph is a graph such that the union of f-parity factors form a connected spanning subgraph.