The Laguerre transform of a convolution product of vector-valued functions.

The Laguerre transform is applied to the convolution product of functions of a real argument (over the time axis) with values in Hilbert spaces. The main results have been obtained by establishing a relationship between the Laguerre and Laplace transforms over the time variable with respect to the elements of Lebesgue weight spaces. This relationship is built using a special generating function. The obtained dependence makes it possible to extend the known properties of the Laplace transform to the case of the Laguerre transform. In particular, this approach concerns the transform of a convolution of functions. The Laguerre transform is determined by a system of Laguerre functions, which forms an orthonormal basis in the weighted Lebesgue space. The inverse Laguerre transform is constructed as a Laguerre series. It is proven that the direct and the inverse Laguerre transforms are mutually inverse operators that implement an isomorphism of square-integrable functions and infinite squares-summable sequences. The concept of a q-convolution in spaces of sequences is introduced as a discrete analogue of the convolution products of functions. Sufficient conditions for the existence of convolutions in the weighted Lebesgue spaces and in the corresponding spaces of sequences are investigated. For this purpose, analogues of Young’s inequality for such spaces are proven. The obtained results can be used to construct solutions of evolutionary problems and time-dependent boundary integral equations.

Approximation by interpolation spectral subspaces of operators with discrete spectrum

The Laguerre transform is applied to the convolution product of functions of a real argument (over the time axis) with values in Hilbert spaces. The main results have been obtained by establishing a relationship between the Laguerre and Laplace transforms over the time variable with respect to the elements of Lebesgue weight spaces. This relationship is built using a special generating function. The obtained dependence makes it possible to extend the known properties of the Laplace transform to the case of the Laguerre transform. In particular, this approach concerns the transform of a convolution of functions. The Laguerre transform is determined by a system of Laguerre functions, which forms an orthonormal basis in the weighted Lebesgue space. The inverse Laguerre transform is constructed as a Laguerre series. It is proven that the direct and the inverse Laguerre transforms are mutually inverse operators that implement an isomorphism of square-integrable functions and infinite squares-summable sequences. The concept of a q-convolution in spaces of sequences is introduced as a discrete analogue of the convolution products of functions. Sufficient conditions for the existence of convolutions in the weighted Lebesgue spaces and in the corresponding spaces of sequences are investigated. For this purpose, analogues of Young’s inequality for such spaces are proven. The obtained results can be used to construct solutions of evolutionary problems and time-dependent boundary integral equations.

Eisenstein series and an asymptotic for the K-Bessel function

We produce an estimate for the K-Bessel function $$K_{r + i t}(y)$$ K r + i t ( y ) with positive, real argument y and of large complex order $$r+it$$ r + i t where r is bounded and $$t = y \sin \theta $$ t = y sin θ for a fixed parameter $$0\le \theta \le \pi /2$$ 0 ≤ θ ≤ π / 2 or $$t= y \cosh \mu $$ t = y cosh μ for a fixed parameter $$\mu >0$$ μ > 0 . In particular, we compute the dominant term of the asymptotic expansion of $$K_{r + i t}(y)$$ K r + i t ( y ) as $$y \rightarrow \infty $$ y → ∞ . When t and y are close (or equal), we also give a uniform estimate. As an application of these estimates, we give bounds on the weight-zero (real-analytic) Eisenstein series $$E_0^{(j)}(z, r+it)$$ E 0 ( j ) ( z , r + i t ) for each inequivalent cusp $$\kappa _j$$ κ j when $$1/2 \le r \le 3/2$$ 1 / 2 ≤ r ≤ 3 / 2 .

Simulation model of Heat Transfer through the Wall

This paper deals with describing of mathematical model of heat transfer through the wall and simulations, which were obtained by MATLAB Simulink. Model is a part of complex model of heating system. During our model design research we solve partial differential equation system and problem with inverse Laplace transform occurs, because of function of real argument from image function of complex argument is not define.

Generalized method for forming plane isotropic curves

The process of modeling the temperature distribution on surfaces, applying an image to curved areas with minimal distortion requires the formation of isometric grids on the plane and on the surface. One of the common ways to form planar isometric networks is to use the functions of a complex variable and planar isotropic curves, followed by separation of the real and imaginary parts. The development of computer models for the interactive search and analysis of isometric networks according to various initial geometric conditions provides a generalized method for their formation with the possibility of varying their shape and position. It is proposed to use an isotropic vector for the formation of flat isotropic curves, which ensured a single sequence of analytical calculations according to the following initial conditions: 1) selection of an arbitrary function of a real argument; 2) a given parametric equation of a plane curve; 3) a given polar equation of a plane curve. Since the analytical calculations of the derivation of the parametric equation of a plane isotropic curve and the corresponding isometric grid are rather laborious, their execution is carried out in the environment of the Maple symbolic algebra. To this end, the corresponding software has been created, which interactively allows you to select the function of a real argument, a parametric or polar equation of a plane guide curve. All subsequent stages of analytical transformations to form an isotropic curve and the corresponding isometric grid are carried out automatically. An interactive model for the formation and analysis of plane isotropic curves with various initial conditions has been created, which has shown its effectiveness, which is confirmed by the given examples of plane isometric grids for specific functions of the real parameter, plane curves in the parametric and polar form of their job.

Riemann Hypothesis from the Physicist’s Point of View

This article presents an attempt to comprehend the evolution of the ideas underlying the physical approach to the proof of one of the problems of the century - the Riemann hypothesis regarding the location of non-trivial zeros of the Riemann zeta function. Various formulations of this hypothesis are presented, which make it possible to clarify its connection with the distribution of primes in the set of natural numbers. A brief overview of the main directions of this approach is given. The probable cause of their failures is indicated - the solution of the problem within the framework of the classical Turing paradigm. A successful proof of the Riemann hypothesis based on the use of a relativistic computation model that allows one to overcome the Turing barrier is presented. This model has been previously applied to solve another problem not computable on the classical Turing machine - the calculation of the sums of divergent series for the Riemann zeta function of the real argument. The possibility of using relativistic computing for the development of artificial intelligence systems is noted.

Kant’s Better-than-Terrible Argument in the Anticipations of Perception

Scholars working on Kant’s Anticipations of Perception generally attribute to him an argument that invalidly infers that objects have degrees of intensive magnitude from the premise that sensations do. I argue that this rests on an incorrect disambiguation of Kant’s use of Empfindung (sensation) as referring to the mental states that are our sensings, rather than the objects that are thereby sensed. Kant’s real argument runs as follows. The difference between a representation of an empty region of space and/or time and a representation of that same region as occupied by an object entails that, in addition to their extensive magnitude, objects must be represented as having a matter variable in intensive magnitude. Since it is the presence of sensation (sensing) in a cognition that marks the difference between representing only the extensive magnitude of the object and the object as a whole, it is sensation that represents its intensive magnitude.

About the general solution of a linear homogeneous differential equation in a Banach space in the case of complex characteristic operators

A linear inhomogeneous differential equation (LIDE) of the n th order with constant bounded operator coefficients is studied in Banach space. Finding a general solution of LIDE is reduced to the construction of a general solution to the corresponding linear homogeneous differential equation (LHDE). Characteristic operator equation for LHDE is considered in the Banach algebra of complex operators. In the general case, when both real and complex operator roots are among the roots of the characteristic operator equation, the n -parametric family of solutions to LHDE is indicated. Operator functions eAt ; sinBt ; cosBt of real argument t ∈ [0;∞) are used when building this family. The conditions under which this family of solutions form a general solution to LHDE are clarified. In the case when the characteristic operator equation has simple real operator roots and simple pure imaginary operator roots, a specific form of such conditions is indicated. In particular, these roots must commute with LHDE operator coefficients. In addition, they must commute with each other. In proving the corresponding assertion, the Cramer operator-vector rule for solving systems of linear vector equations in a Banach space is applied

About a complex operator exponential function of a complex operator argument main property

Operator functions e^A, sin B, cos B of the operator argument from the Banach algebra of bounded linear operators acting from E to E are considered in the Banach space E . For trigonometric operator functions sin B, cos B, formulas for the sine and cosine of the sum of the arguments are derived that are similar to the scalar case. In the proof of these formulas, the composition of ranges with operator terms in the form of Cauchy is used. The basic operator trigonometric identity is given. For a complex operator exponential function e^Z of an operator argument Z from the Banach algebra of complex operators, using the formulas for the cosine and sine of the sum, the main property of the exponential function is proved. Operator functions e^At , sin Bt, cos Bt, e^Zt of a real argument t∈(-∞;∞) are considered. The facts stated for the operator functions of the operator argument are transferred to these functions. In particular, the group property of the operator exponent e^Zt is given. The rule of differentiation of the function e^Zt is indicated. It is noted that the operator functions of the real argument t listed above are used in constructing a general solution of a linear n th order differential equation with constant bounded operator coefficients in a Banach space.