Numerical evaluation of gauge invariants for <Emphasis Type="Italic">a</Emphasis>-gauge solutions in open string field theory

We explore the vacuum structure in the bosonic open string field theory expanded near an identity-based solution parameterized by a (≥ −1/2). Analyzing the expanded theory using the level-truncation approximation up to the level 20, we find that the theory has the tachyon vacuum solution for a ≥ −1/2. We also find that at a = −1/2, there exists an unstable vacuum solution in the expanded theory and the solution is expected to be the perturbative open string vacuum. These results reasonably support the hypothesis that the identity-based solution is a trivial pure gauge configuration for a > −1/2, but it can be regarded as the tachyon vacuum solution at a = −1/2.     

Construction of Carleman formulas by using mixed problems with parameter-dependent boundary conditions

Let D be an open connected subset of the complex plane C with sufficiently smooth boundary ?D. Perturbing the Cauchy problem for the Cauchy–Riemann system ??u = f in D with boundary data on a closed subset S ? ?D, we obtain a family of mixed problems of the Zaremba-type for the Laplace equation depending on a small parameter ε ∈ (0, 1] in the boundary condition. Despite the fact that the mixed problems include noncoercive boundary conditions on ?D\S, each of them has a unique solution in some appropriate Hilbert space H ⁺(D) densely embedded in the Lebesgue space L ₂(?D) and the Sobolev–Slobodetski? space H ^1/2?δ(D) for every δ > 0. The corresponding family of the solutions {u _ε} converges to a solution to the Cauchy problem in H ⁺(D) (if the latter exists). Moreover, the existence of a solution to the Cauchy problem in H ⁺(D) is equivalent to boundedness of the family {u _ε} in this space. Thus, we propose solvability conditions for the Cauchy problem and an effective method of constructing a solution in the form of Carleman-type formulas.     

Stochastic Heat Equation with Multiplicative Fractional-Colored Noise

We consider the stochastic heat equation with multiplicative noise \(u_{t}=\frac{1}{2}\Delta u+u\dot{W}\) in ?₊×? ^d , whose solution is interpreted in the mild sense. The noise \(\dot{W}\) is fractional in time (with Hurst index H≥1/2), and colored in space (with spatial covariance kernel f). When H>1/2, the equation generalizes the Itô-sense equation for H=1/2. We prove that if f is the Riesz kernel of order α, or the Bessel kernel of order α<d, then the sufficient condition for the existence of the solution is d≤2+α (if H>1/2), respectively d<2+α (if H=1/2), whereas if f is the heat kernel or the Poisson kernel, then the equation has a solution for any d. We give a representation of the kth order moment of the solution in terms of an exponential moment of the “convoluted weighted” intersection local time of k independent d-dimensional Brownian motions.     

Improved difference scheme of the solution decomposition method for a singularly perturbed reaction-diffusion equation

A Dirichlet problem is considered for a singularly perturbed ordinary differential reaction-diffusion equation. For this problem, a new approach is developed in order to construct difference schemes that converge uniformly with respect to the perturbation parameter ?, ? ∈ (0, 1]. The approach is based on the decomposition of a discrete solution into regular and singular components, which are solutions of discrete subproblems on uniform grids. Using the asymptotic construction technique, a difference scheme of the solution decomposition method is constructed that converges ?-uniformly in the maximum norm at the rate O (N ^?2 ln² N), where N + 1 is the number of nodes in the grid used; for fixed values of the parameter ?, the scheme converges at the rate O(N ^?2). Using the Richardson technique, an improved scheme of the solution decomposition method is constructed, which converges ?-uniformly in the maximum norm at the rate O(N ^?4 ln⁴ N).     

Asymptotics of the Velocity Potential of an Ideal Fluid Flowing around a Thin Body

We consider the Neumann problem outside a small neighborhood of a planar disk in the three-dimensional space. The surface of this neighborhood is assumed to be smooth, and its thickness is characterized by a small parameter ε. A uniform asymptotic expansion of the solution of this problem with respect to ε is constructed by the matching method. Since the problem turned out to be bisingular, an additional inner asymptotic expansion in the so-called stretched variables is constructed near the edge of the disk. A physical interpretation of the solution of this boundary value problem is the velocity potential of a laminar flow of an ideal fluid around a thin body, which is the neighborhood of the disk. It is assumed that this flow has unit velocity at a large distance from the disk, which is equivalent to the following condition for the potential: u(x₁, x₂, x₃, ε) = x₃+O(r^?2) as r → ∞, where r is the distance to the origin. The boundary condition of this problem is the impermeability of the surface of the body: ?u/?n = 0 at the boundary. After subtracting x₃ from the solution u(x₁, x₂, x₃, ε), we get a boundary value problem for the potential ?(x₁, x₂, x₃, ε) of the perturbed motion. Since the integral of the function ??/?n over the surface of the body is zero, we have ?(x₁, x₂, x₃, ε) = O(r^?2) as r → ∞. Hence, all the coefficients of the outer asymptotic expansion with respect to ε have the same behavior at infinity. However, these coefficients have growing singularities at the approach to the edge of the disk, which implies the bisingularity of the problem.     

On solvability of one class of nonlinear integral equations on whole line with a weak singularity at zero

In present work we investigate one class of nonlinear integral equations with singularity at zero and boundary value conditions at ±∞. Above mentioned class of equations has direct applications in string theory and in the case of concrete structure of the kernel it describes the dynamics of the open-closed p-adic string for the scalar tachyon field. We prove the existence of nontrivial solution in a certain weight class of functions.With an additional restriction on the kernel the uniqueness of the obtained solution is proved.     

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.     

Local reconstruction for sampling in shift-invariant spaces

The local reconstruction from samples is one of most desirable properties for many applications in signal processing, but it has not been given as much attention. In this paper, we will consider the local reconstruction problem for signals in a shift-invariant space. In particular, we consider finding sampling sets X such that signals in a shift-invariant space can be locally reconstructed from their samples on X. For a locally finite-dimensional shift-invariant space V we show that signals in V can be locally reconstructed from its samples on any sampling set with sufficiently large density. For a shift-invariant space V(? ₁, ..., ? _N ) generated by finitely many compactly supported functions ? ₁, ..., ? _N , we characterize all periodic nonuniform sampling sets X such that signals in that shift-invariant space V(? ₁, ..., ? _N ) can be locally reconstructed from the samples taken from X. For a refinable shift-invariant space V(?) generated by a compactly supported refinable function ?, we prove that for almost all \((x_0, x_1)\in [0,1]^2\), any signal in V(?) can be locally reconstructed from its samples from \(\{x_0, x_1\}+{\mathbb Z}\) with oversampling rate 2. The proofs of our results on the local sampling and reconstruction in the refinable shift-invariant space V(?) depend heavily on the linear independent shifts of a refinable function on measurable sets with positive Lebesgue measure and the almost ripplet property for a refinable function, which are new and interesting by themselves.     

Stabilization by output of continuous and pulse-modulated uncertain systems

The system ? _i = ? _i (?) + x _i+2, \(i \in \overline {1,n - 2} \), ? _n?1 = ? _n?1(?) + u ₁, ? _n = ? _n (?) + u ₂,where ? _i (·) are nonanticipating functionals of an arbitrary nature with the following properties—\(\left| {{\varphi _i}\left( \cdot \right)} \right| \leqslant c\sum\nolimits_{k = 1}^i {\left| {{x_k}\left( t \right)} \right|} \), \(i \in \overline {1,n} \), c = const—and u ₁ and u ₂ are the controls is considered. It is assumed that only the outputs x ₁ and x ₂ are measurable. The problem of synthesis of both continuous and impulsive controls u1 and u2, which make the system globally asymptotically stable, is solved. The solution of the problem is based on the construction of the observer-based equations, the quadratic Lyapunov function, and the averaging method.     

When does the zero-one <Emphasis Type="Italic">k</Emphasis>-law fail?

The limit probabilities of the first-order properties of a random graph in the Erd?s–Rényi model G(n, n^?α), α ∈ (0, 1), are studied. A random graph G(n, n^?α) is said to obey the zero-one k-law if, given any property expressed by a formula of quantifier depth at most k, the probability of this property tends to either 0 or 1. As is known, for α = 1? 1/(2^k?1 + a/b), where a > 2^k?1, the zero-one k-law holds. Moreover, this law does not hold for b = 1 and a ≤ 2^k?1 ? 2. It is proved that the k-law also fails for b > 1 and a ≤ 2^k?1 ? (b + 1)².     

<Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> estimates for Riesz transform and their commutators associated with Schrödinger type operator

Let H ₂ = (?Δ)² + V ² be the Schrödinger type operator, where V satisfies reverse Hölder inequality. In this paper, we establish the L ^p boundedness for V ² H ₂ ^?1 , H ₂ ^?1 V ², VH ₂ ^?1/2 and H ₂ ^?1 V ², and that of their commutators. We also prove that H ₂ ^?1 V ²,VH ₂ ^?1/2 are bounded from BMO _L to BMO _L .     

Hyperbolas over two-dimensional Fibonacci quasilattices

For the number n _s (α, β; X) of points (x ₁ , x ₂) in the two-dimensional Fibonacci quasilattices \( \mathcal{F}_m^2 \) of level m?=?0, 1, 2,… lying on the hyperbola x ₁ ² ? ??αx ₂ ² ?=?β and such that 0?≤?x ₁? ≤?X, x ₂? ≥?0, the asymptotic formula

$ {n_s}\left( {\alpha, \beta; X} \right)\sim {c_s}\left( {\alpha, \beta } \right)\ln X\,\,\,\,{\text{as}}\,\,\,\,X \to \infty $

is established, and the coefficient c _s (α, β) is calculated exactly. Using this, we obtain the following result. Let F _m be the Fibonacci numbers, A _i ∈ \( \mathbb{N} \), i?=?1, 2, and let \( \overleftarrow {{A_i}} \) be the shift of A _i in the Fibonacci numeral system. Then the number n _s (X) of all solutions (A ₁ , A ₂) of the Diophantine system

$ \left\{ {\begin{array}{*{20}{c}} {A_1^2 + \overleftarrow {A_1^2} - 2{A_2}{{\overleftarrow A }_2} + \overleftarrow {A_2^2} = {F_{2s}},} \\ {\overleftarrow {A_1^2} - 2{A_1}{{\overleftarrow A }_1} + A_2^2 - 2{A_2}{{\overleftarrow A }_2} + 2\overleftarrow {A_2^2} = {F_{2s - 1}},} \\ \end{array} } \right. $

0?≤?A ₁? ≤?X, A ₂? ≥?0, satisfies the asymptotic formula

$ {n_s}(X)\sim \frac{{{c_s}}}{{{\text{ar}}\cosh \left( {{{1} \left/ {\tau } \right.}} \right)}}\ln X\,\,\,\,{\text{as}}\,\,\,\,X \to \infty . $

Here τ?=?(?1?+?√5)/2 is the golden ratio, and c _s ?=?1/2 or 1 for s?=?0 or s?≥?1, respectively.

     

Parallelogram-free distance-regular graphs having completely regular strongly regular subgraphs

Let Γ=(X,R) be a distance-regular graph of diameter d. A parallelogram of length i is a 4-tuple xyzw consisting of vertices of Γ such that ?(x,y)=?(z,w)=1, ?(x,z)=i, and ?(x,w)=?(y,w)=?(y,z)=i?1. A subset Y of X is said to be a completely regular code if the numbers

$\pi_{i,j}=|\Gamma_{j}(x)\cap Y|\quad (i,j\in \{0,1,\ldots,d\})$

depend only on i=?(x,Y) and j. A subset Y of X is said to be strongly closed if

$\{x\mid \partial(u,x)\leq \partial(u,v),\partial(v,x)=1\}\subset Y,\mbox{ whenever }u,v\in Y.$

Hamming graphs and dual polar graphs have strongly closed completely regular codes. In this paper, we study parallelogram-free distance-regular graphs having strongly closed completely regular codes. Let Γ be a parallelogram-free distance-regular graph of diameter d≥4 such that every strongly closed subgraph of diameter two is completely regular. We show that Γ has a strongly closed subgraph of diameter d?1 isomorphic to a Hamming graph or a dual polar graph. Moreover if the covering radius of the strongly closed subgraph of diameter two is d?2, Γ itself is isomorphic to a Hamming graph or a dual polar graph. We also give an algebraic characterization of the case when the covering radius is d?2.

     

Qualitative Properties for a Fourth Order Rational Difference Equation

In this paper we deal with some properties of the solutions of the recursive sequence

$x_{n+1}=ax_{n-1}+\frac{bx_{n-1}x_{n-3}}{cx_{n-1}+dx_{n-3}},\quad n=0,1,\ldots,$

where the initial conditions x _?3, x _?2, x _?1, x ₀ are arbitrary positive real numbers and a, b, c, d are constants. Also, we give the form of the solution of some special cases of this equation.

     

Polynomial dynamical systems and the Korteweg—de Vries equation

We explicitly construct polynomial vector fields L_k, k = 0, 1, 2, 3, 4, 6, on the complex linear space C⁶ with coordinates X = (x₂, x₃, x₄) and Z = (z₄, z₅, z₆). The fields L_k are linearly independent outside their discriminant variety Δ ? C⁶ and are tangent to this variety. We describe a polynomial Lie algebra of the fields L_k and the structure of the polynomial ring C[X,Z] as a graded module with two generators x₂ and z₄ over this algebra. The fields L₁ and L₃ commute. Any polynomial P(X,Z) ∈ C[X,Z] determines a hyperelliptic function P(X,Z)(u₁, u₃) of genus 2, where u₁ and u₃ are the coordinates of trajectories of the fields L₁ and L₃. The function 2x₂(u₁, u₃) is a two-zone solution of the Korteweg–de Vries hierarchy, and ?z₄(u₁, u₃)/?u₁ = ?x₂(u₁, u₃)/?u₃.     

Prime and composite integers close to powers of a number

We prove that, for any real numbers ξ ≠ 0 and ν, the sequence of integer parts [ξ2 ⁿ  + ν], n = 0, 1, 2, . . . , contains infinitely many composite numbers. Moreover, if the number ξ is irrational, then the above sequence contains infinitely many elements divisible by 2 or 3. The same holds for the sequence [ξ( ? 2) ⁿ  + ν _n ], n = 0, 1, 2, . . . , where ν ₀, ν ₁, ν ₂, . . . all lie in a half open real interval of length 1/3. For this, we show that if a sequence of integers x ₁, x ₂, x ₃, . . . satisfies the recurrence relation x _n+d  = cx _n  + F(x _n+1, . . . , x _n+d-1) for each n  ≥  1, where c ≠ 0 is an integer, \({F(z_1,\dots,z_{d-1}) \in \mathbb {Z}[z_1,\dots,z_{d-1}],}\) and lim _{n→ ∞}|x _n | = ∞, then the number |x _n | is composite for infinitely many positive integers n. The proofs involve techniques from number theory, linear algebra, combinatorics on words and some kind of symbolic computation modulo 3.     

Representations of the Klein Group Determined by Quadruples of Polynomials Associated with the Double Confluent Heun Equation

The canonical representation of the Klein group K₄ = ?₂⊕?₂ on the space ?* = ? {0} induces a representation of this group on the ring L = C[z, z^?1], z ∈ ?*, of Laurent polynomials and, as a consequence, a representation of the group K₄ on the automorphism group of the group G = GL(4,L) by means of the elementwise action. The semidirect product ?G = GK₄ is considered together with a realization of the group ? as a group of semilinear automorphisms of the free 4-dimensional L-module M⁴. A three-parameter family of representations R of K₄ in the group ? and a three-parameter family of elements X ∈ M⁴ with polynomial coordinates of degrees 2(? ? 1), 2?, 2(? ? 1), and 2?, where ? is an arbitrary positive integer (one of the three parameters), are constructed. It is shown that, for any given family of parameters, the vector X is a fixed point of the corresponding representation R. An algorithm for calculating the polynomials that are the components of X was obtained in a previous paper of the authors, in which it was proved that these polynomials give explicit formulas for automorphisms of the solution space of the doubly confluent Heun equation.     

Meromorphic Solutions for a Class of Differential Equations and Their Applications

In this note, we study the admissible meromorphic solutions for algebraic differential equation fⁿf' + P_n?1(f) = R(z)e^α(z), where P_n?1(f) is a differential polynomial in f of degree ≤ n ? 1 with small function coefficients, R is a non-vanishing small function of f, and α is an entire function. We show that this equation does not possess any meromorphic solution f(z) satisfying N(r, f) = S(r, f) unless P_n?1(f) ≡ 0. Using this result, we generalize a well-known result by Hayman.     

Clark model in the general situation

For a unitary operator U in a Hilbert space H the family of its unitary perturbations by rank one operators with fixed range is parametrized by a complex parameter γ, ?γ? = 1. Namely, all such unitary perturbations are operators U_γ:= U + (γ ? 1)( ·, b₁)_Hb, where b ∈ H, ∥b∥ = 1, b₁ = U^?1b, ?γ? = 1. For ?γ? < 1, the operators U_γ are contractions with one-dimensional defects.