On Global Solutions of Two-Dimensional Hyperbolic Equations with General-Kind Nonlocal Potentials

: In the case of one spatial independent variable, we study hyperbolic differential-difference equations with potentials represented as linear combinations of translations of the desired function along the spatial variable. The qualitative novelty of this investigation is that, unlike previous research, it is not assumed that the real part of the symbol of the differential-difference operator contained in the equation has a constant sign. Previously, it was possible to remove that substantial restriction (i.e., the specified sign constancy) only for the case where the nonlocal term (i.e., the translated potential) is unique. In the present paper, we consider the case of the general-kind one-variable nonlocal potential, i.e., equations with an arbitrary amount of translated terms. No commensurability assumptions are imposed on the translation lengths. The following results are presented: We find a condition relating the coefficients at the nonlocal terms of the investigated equation and the length of the translations, providing the global solvability of the investigated equation. Under this condition, we explicitly construct a three-parametric family of smooth global solutions of the investigated equation.

In [15], global solutions of the equation where a 1 , . . ., a m and h 1 , . . ., h m are real constants, are obtained under the assumption that which implies, for instance, the negativity of m ∑ k=1 a k .In [16,17], the investigation is extended to more general classes of hyperbolic equations with nonlocal potentials, but requirements such as those in (2), which involve the sign constancy of the real part of the symbol of the differential-difference operator with respect to the spatial variable, are still imposed.Actually, they mean the following restriction: we can add nonlocal terms to the classical differential hyperbolic operator, but the obtained differential-difference operator should remain hyperbolic.Here, hyperbolicity is treated in the following (quite natural) way: we say that an operator ∂ 2 ∂t 2 − L is hyperbolic if the operator L is elliptic, while a differential-difference operator L is said to be elliptic if the real part of its symbol is nonpositive everywhere.
This explains the importance of the question of whether the above restriction can be removed: it is reasonable to find out whether properties specific to the hyperbolic type are preserved even if the investigated equation stops being hyperbolic.For the first time (to the best of the author's knowledge), the said restriction is removed in [18], where the prototype case of Equation ( 1) with a unique nonlocal term is considered.We allow the coefficient at the said nonlocal term (translated potential) to be positive, but we are still able to construct smooth global solutions of the investigated equation.In the present paper, we pass to the case of general-kind potentials: the number of nonlocal terms in the equation is arbitrary, no commensurability of translations is required, and the sum m ∑ k=1 a k =: a 0 is allowed to be non-negative.Thus, the real part of the symbol of the differential-difference operator might change its sign, but we still succeed in constructing a family of smooth global solutions.

Results and Proofs
Also, introduce the function (5) that is well defined in (−∞, ∞).
Function ( 8) is substituted into Equation (1) in the same way.As above, (under the assumptions of Theorem 2).Therefore, Now, taking into account relation ( 13), we conclude that in the same way as in (11).
Remark 1.If b(ξ 0 ) ̸ = 0, then function ( 4) can be defined (as a continuous function) at the point ξ 0 : its left-and right-side limits at that point are equal to π 4 sgn[b(ξ 0 )].If b(ξ 0 ) = 0, then ξ 0 might be a discontinuity point for function (4), and at most a finite jump is possible at that point.Thus, each global solution constructed above is continuous with respect to ξ, unless m ∑ k=1 a k sin h k ξ 0 = 0; if the said continuity is violated, then only a denumerable amount of discontinuity points is possible, and they all have finite jumps.

Heuristic Considerations
As seen above, Theorems 1 and 2 are proved directly: we just take function (6) and substitute it into Equation (1).Such a proof is strict and clear, but it does not explain how to find the solution.In this section, we show how to apply the well-known Gel'fand-Shilov operational scheme (see, e.g., [19] (Sec.10)) in the considered case.
Formally applying the Fourier transformation with respect to the variable x to Equation (1), which is a partial differential-difference equation, we obtain the following ordinary differential equation depending on the parameter ξ: Its general solution (up to arbitrary constants depending on the parameter ξ) is equal to where the functions φ(ξ) and ρ(ξ) are defined by relations ( 4) and ( 5), respectively.The functions G 1 (ξ) and G 2 (ξ) are defined by relation (12) in the interval (−ξ 0 , ξ 0 ) (if it exists) and by relation ( 9) outside it.Now, it remains to (formally) apply the inverse Fourier transformation to eliminate terms with odd integrands and choose the arbitrary constants depending on the parameter ξ such that purely imaginary terms are eliminated.Note that the remaining actions of the Gel'fand-Shilov procedure cannot be performed in our case because no convergence of the arising improper integral with respect to ξ is guaranteed.However, if we truncate the Gel'fand-Shilov procedure before integrating with respect to the dual variable ξ and treat that variable as a parameter, then the obtained function, which is represented by ( 6), satisfies Equation (1) for each value of that parameter apart from ±ξ 0 .To verify this, we substitute it into Equation (1), as shown in in Section 2.

Novel Insights
As noted above, the fundamental novelty of the presented results is as follows: previously, the real part of the symbol of the differential-difference operator acting with respect to spatial variables was always required to be of a constant sign.This is not merely a technical restriction.In the classical case of differential equations, the sign constancy of the symbol is the criterion of ellipticity.For differential-difference equations and operators, no canonical classification has been established yet, but it is rather conventional to treat an operator ∂ 2 ∂t 2 − L as hyperbolic if the differential-difference operator L is elliptic.The case of differential-difference operators is substantially more complicated than the classical case of differential ones.This is because of the polynomial nature of symbols of differential operators.Moreover, second-order homogeneous differential operators reduced to the canonical form are most frequently studied in the classical case; their symbols are just quadratic forms.In the case of an elliptic operator (i.e., if the operator has no real characteristics), the corresponding quadratic form maintains a constant sign.However, if the operator is hyperbolic, the sign of the corresponding quadratic form varies, and its signconstancy sets are divided by the conical surface (pair of lines in the case of one-dimensional spatial variable), which is the only real characteristic of the operator.When studying differential-difference operators, their symbols stop being polynomials.This causes a qualitatively greater diversity, allowing us to omit the sign-constancy requirement for the symbol.
Assumptions on the symbol are still imposed in the investigated case, but their nature is fundamentally changed.Instead of requiring sign constancy, we now require the symbol to be monotonous.It should be noted that no restrictions of this kind arise in the classical theory of differential equations.
Example 2. Consider the equation Here, m = 2, a 1 = 0.5, a 2 = 2, h 1 = −0.5, and h 2 = 1.Again, computing we conclude that this value exceeds two.Therefore, Condition (3) is not satisfied for Equation (16).Thus, the question about the sign-constancy intervals of the function f and therefore, about solutions of Equation ( 16) remains open.

Conclusions
In this paper, we continue the investigation of differential-difference hyperbolic equations with nonlocal potentials, removing restrictions on the signs of real (or imaginary) parts of symbols of operators contained in the investigated equations.We pass from the prototype case, investigated in [18], which involves an equation with a unique translated potential, to Equation (1), which involves scenarios with multiple potentials of varying translation lengths.
Funding: This research received no external funding.
consider the one-variable function f (ξ) := ξ 2 − m ∑ k=1 a k cos h k ξ; due to its evenness, it suffices to consider it on the positive semi-axis.Its derivative is equal to 2ξ + ., the continuous function f monotonously increases on (0, +∞).Further, f (0) = −a 0 ≤ 0 and f (ξ) > 0 for each ξ exceeding m ∑ k=1 |a k | =: a * .Thus, the function f has one and only one positive zero, and it belongs to [0, a * ].Denote this zero by ξ 0 .h k ξ by a(ξ) and b(ξ), respectively, and introduce the function