Search

Let H2(ⅅ2) be the Hardy space over the bidisk ⅅ2, and let Mψ,ϕ = [(ψ(z) − ϕ(w))2] be the submodule generated by (ψ(z) − ϕ(w))2, where ψ(z) and ϕ(w) are nonconstant inner functions. The related quotient module is denoted by Nψ,ϕ = H2(ⅅ2) ⊖ Mψ,ϕ. In this paper, we give a complete characterization for the essential normality of Nψ,ϕ. In particular, if ψ(z)= z, we simply write Mψ,ϕ and Nψ,ϕ as Mϕ and Nϕ respectively. This paper also studies compactness of evaluation operators L(0)∣nϕ and R(0)ϕnϕ, essential spectrum of compression operator Sz on Nϕ, essential normality of compression operators Sz and Sw on Nϕ.

In the classical theory of solid mechanics, the behavior of solids is described by partial differential equations (PDE) through Newton’s second law of motion. However, when spontaneous cracks and fractures exist, such PDE models are inadequate to characterize the discontinuities of physical quantities such as the displacement field. Recently, a peridynamic continuum model was proposed which only involves the integration over the differences of the displacement field. A linearized peridynamic model can be described by the integro-differential equation with initial values. In this paper, we study the well-posedness and regularity of a linearized peridynamic model with singular kernel. The novelty of the paper is that the singular kernel is represented as the Laplacian of a regular function. This let to convert the model to an operator valued Volterra integral equation. Then the existence and regularity of the solution of the peridynamics problem are established through the study of the Volterra integral equation.

The present paper is a continuation of our research that was devoted to the theory of the boundary behavior of mappings in the Sobolev classes (mappings with generalized derivatives) on Riemann surfaces. Here we develop the theory of the boundary behavior of the mappings in the class of FLD (mappings with finite length distortion) first introduced for the Euclidean spaces in the article of Martio-Ryazanov-Srebro-Yakubov at 2004 and then included in the known book of these authors at 2009 on the modern mapping theory. As was shown in the recent papers of Kovtonyuk-Petkov-Ryazanov at 2017, such mappings, generally speaking, are not mappings in the Sobolev classes, because their first partial derivatives can be not locally integrable. At the same time, this class is a natural generalization of the well-known significant classes of isometries and quasiisometries. We prove here a series of criteria in terms of dilatations for the continuous and homeomorphic extensions to the boundary of the mappings with finite length distortion between domains on Riemann surfaces by Caratheodory prime ends. The criterion for the continuous extension of the inverse mapping to the boundary is turned out to be the very simple condition on the integrability of the dilatations in the first power. The criteria for the continuous extension of the direct mappings to the boundary have a much more refined nature. One of such criteria is the existence of a majorant for the dilatation in the class of functions with finite mean oscillation, i.e., having a finite mean deviation from its mean value over infinitesimal disks centered at boundary points. As consequences, the corresponding criteria for a homeomorphic extension of mappings with finite length distortion to the closures of domains by Caratheodory prime ends are obtained.

In this paper, we study questions related to the theory of stochastic processes on Lie nilpotent groups. In particular, we consider the stochastic process on the Heisenberg group H3(ℝ) whose trajectories satisfy the horizontal conditions in the stochastic sense relative to the standard contact structure on H3 (ℝ). It is shown that this process is a homogeneous Markov process relative to the Heisenberg group operation. There was found a representation in the form of a Wiener integral for a one-parameter linear semigroup of operators for which the Heisenberg sublaplacian generated by basis vector fields of the corresponding Lie algebra L(H3) is producing. The main method of solving the problem in this paper is using the path integrals technique, which indicates the common direction of further development of the results.

It is well known that developing methods for solving Dirichlet problems is important and relevant for various areas of mathematical physics related to the Laplace equation, the Helmholtz equation, the Stokes equation, the Maxwell equation, the Dirac equation, and others. The author in previous papers studied the solvability of Dirichlet boundary value problems of the first and second orders in quaternionic analysis. In the present paper, we study a higher-order Dirichlet boundary value problem associated with the two-dimensional Helmholtz equation with complex potential. The existence and uniqueness of a solution to the Dirichlet boundary value problem in the two-dimensional case is proved and an appropriate representation formula for the solution of this problem is found. Most Dirichlet problems are solved for the case in three variables. Note that the case of two variables is not a simple consequence of the three-dimensional case. To solve the problem, we use the method of orthogonal decomposition of the quaternion-valued Sobolev space. This orthogonal decomposition of the space is also a tool for the study of many elliptic boundary value problems that arise in various areas of mathematics and mathematical physics. An orthogonal decomposition of the quaternion-valued Sobolev space with respect to the high-order Dirac operator is also obtained in this paper.

The notion of quantized characters was introduced in our previous paper as a natural quantization of characters in the context of asymptotic representation theory forquantum groups. As in the case of ordinary groups, the representation associated with any extreme quantized character generates a von Neumann factor. From the viewpoint of operator algebras (and measurable dynamical systems), it is natural to ask what is the Murray–von Neumann–Connes type of the resulting factor. In this paper, we give a complete solution to this question when the inductive system is of quantum unitary groups $U_{q}(N)$.

The paper is devoted to one open extremal problem in the geometric function theory of complex variables associated with estimates of a functional defined on the systems of non-overlapping domains. We consider the problem of the maximum of a product of inner radii of n non-overlapping domains containing points of a unit circle and the power γ of the inner radius of a domain containing the origin. The problem was formulated in 1994 in Dubinin’s paper in the journal “Russian Mathematical Surveys” in the list of unsolved problems and then repeated in his monograph in 2014. Currently, it is not solved in general. In this paper, we obtained a solution of the problem for five simply connected domains and power γ ∈ (1; 2:57] and generalized this result to the case of multidimensional complex space.

The present paper offers a new approach to the construction of the coordinate asymptotics of the kernel of the resolvent of the Schrodinger operator in the scattering problem of three onedimensional quantum particles with short-range pair potentials. Within the framework of this approach, the asymptotics of eigenfunctions of the absolutely continuous spectrum of the Schrodinger operator can be constructed. In the paper, the possibility of a generalization of the suggested approach to the case of the scattering problem of N particles with arbitrary masses is discussed.

In the paper, we consider a nonlinear integrodifferential equation of the third order with delay. We establish sufficient conditions guaranteeing the global existence and boundedness of the solutions of the analyzed equation. We use the Lyapunov second method to prove the main result. An example is also given to illustrate the applicability of our result. The result of this paper is new and improves previously known results.

Hilbert famously showed that polynomials in n variables are not too complicated, in various senses. For example, the Hilbert Syzygy Theorem shows that the process of resolving a module by free modules terminates in finitely many (in fact, at most n) steps, while the Hilbert Basis Theorem shows that the process of finding generators for an ideal also terminates in finitely many steps. These results laid the foundations for the modern algebraic study of polynomials. Hilbert's results are not uniform in n: unsurprisingly, polynomials in n variables will exhibit greater complexity as n increases. However, an array of recent work has shown that in a certain regime---namely, that where the number of polynomials and their degrees are fixed---the complexity of polynomials (in various senses) remains bounded even as the number of variables goes to infinity. We refer to this as Stillman uniformity, since Stillman's Conjecture provided the motivating example. The purpose of this paper is to give an exposition of Stillman uniformity, including: the circle of ideas initiated by Ananyan and Hochster in their proof of Stillman's Conjecture, the followup results that clarified and expanded on those ideas, and the implications for understanding polynomials in many variables., This expository paper was written in conjunction with Craig Huneke's talk on Stillman's Conjecture at the 2018 JMM Current Events Bulletin

In this paper we analyse the structure of the spaces of smooth type functions, generated by elements of arbitrary Hilbert spaces, as a continuation of the research in our previous papers in this series. We prove that these spaces are perfect sequence spaces. As a consequence we describe the tensor structure of sequential mappings on the spaces of smooth type functions and characterise their adjoint mappings. As an application we prove the universality of the spaces of smooth type functions on compact manifolds without boundary., 23 pages

Let rk(n) denote the number of lattice points on a k-dimensional sphere of radius $$ \sqrt{n} $$ . The generating function $$ {\zeta}_k(s)=\sum \limits_{n=1}^{\infty }{r}_k(n){n}^{-s},\kern0.5em k\ge 2, $$ is Epstein’s zeta function. The paper considers the Riesz mean of the type $$ {D}_{\rho}\left(x;{\zeta}_3\right)=\frac{1}{\Gamma \left(\rho +1\right)}\sum \limits_{n\le x}{\left(x-n\right)}^{\rho }{r}_3(n), $$ where ρ > 0; the error term Δρ(x; ζ3) is defined by $$ {D}_{\rho}\left(x;{\zeta}_3\right)=\frac{\uppi^{3/2}{x}^{\rho +3/2}}{\Gamma \left(\rho +5/2\right)}+\frac{x^{\rho }}{\Gamma \left(\rho +1\right)}{\zeta}_3(0)+{\Delta}_{\rho}\left(x;{\zeta}_3\right). $$ K. Chandrasekharan and R. Narasimhan (1962, MR25#3911) proved that $$ {\Delta}_{\rho}\left(x;{\zeta}_3\right)=\Big\{{\displaystyle \begin{array}{ll}O\Big({x}^{1/2+\rho /2\Big)}& \left(\rho >1\right),\\ {}{\Omega}_{\pm}\left({x}^{1/2+\rho /2}\right)& \left(\rho \ge 0\right).\end{array}} $$ In the present paper, it is proved that $$ {\Delta}_{\rho}\left(x;{\zeta}_3\right)=\Big\{{\displaystyle \begin{array}{ll}O\left(x\log x\right)& \left(\rho =1\right),\\ {}O\left({x}^{2/3+\rho /3+\varepsilon}\right)& \left(1/2

This paper will be devoted to study a class of bilinear square-function Fourier multiplier operator associated with a symbol $m$ defined by $$\begin{eqnarray}\displaystyle & & \displaystyle \mathfrak{T}_{\unicode[STIX]{x1D706},m}(f_{1},f_{2})(x)\nonumber\\ \displaystyle & & \displaystyle \quad =\Big(\iint _{\mathbb{R}_{+}^{n+1}}\Big(\frac{t}{|x-z|+t}\Big)^{n\unicode[STIX]{x1D706}}\nonumber\\ \displaystyle & & \displaystyle \qquad \times \,\bigg|\int _{(\mathbb{R}^{n})^{2}}e^{2\unicode[STIX]{x1D70B}ix\cdot (\unicode[STIX]{x1D709}_{1}+\unicode[STIX]{x1D709}_{2})}m(t\unicode[STIX]{x1D709}_{1},t\unicode[STIX]{x1D709}_{2})\hat{f}_{1}(\unicode[STIX]{x1D709}_{1})\hat{f}_{2}(\unicode[STIX]{x1D709}_{2})\,d\unicode[STIX]{x1D709}_{1}\,d\unicode[STIX]{x1D709}_{2}\bigg|^{2}\frac{dz\,dt}{t^{n+1}}\Big)^{1/2}.\nonumber\end{eqnarray}$$ A basic fact about $\mathfrak{T}_{\unicode[STIX]{x1D706},m}$ is that it is closely associated with the multilinear Littlewood–Paley $g_{\unicode[STIX]{x1D706}}^{\ast }$ function. In this paper we first investigate the boundedness of $\mathfrak{T}_{\unicode[STIX]{x1D706},m}$ on products of weighted Lebesgue spaces. Then, the weighted endpoint $L\log L$ type estimate and strong estimate for the commutators of $\mathfrak{T}_{\unicode[STIX]{x1D706},m}$ will be demonstrated.

This paper is a companion paper to [G4], where sharp estimates are proven for Fourier transforms of compactly supported functions built out of two-dimensional real-analytic functions. The theorems of [G4] are stated in a rather general form. In this paper, we expand on the results of [G4] and show that there is a class of "well-behaved" functions that contains a number of relevant examples for which such estimates can be explicitly described in terms of the Newton polygon of the function. We will further see that for a subclass of these functions, one can prove noticeably more precise estimates, again in an explicitly describable way., 13 pages

Reduction theory has played a major role in the study of Hamiltonian systems. Whilst the Hamilton–Jacobi theory is one of the main tools to integrate the dynamics of certain Hamiltonian problems and a topic of research on its own. Moreover, the construction of several symplectic integrators relies on approximations of a complete solution of the Hamilton–Jacobi equation. The natural question that we address in this paper is how these two topics (reduction and Hamilton–Jacobi theory) fit together. We obtain a reduction and reconstruction procedure for the Hamilton–Jacobi equation with symmetries, even in a generalized sense to be clarified below. Several applications and relations to other reduction of the Hamilton–Jacobi theory are shown in the last section of the paper. It is remarkable that as by-product we obtain a generalization of the Ge–Marsden reduction procedure [18] and the results in [17] . Quite surprisingly, the classical ansatze available in the literature to solve the Hamilton–Jacobi equation (see [2] , [19] ) are also particular instances of our framework.

We introduce a conjecture that we call the {\it Two Hyperplane Conjecture}, saying that an isoperimetric surface that divides a convex body in half by volume is trapped between parallel hyperplanes. The conjecture is motivated by an approach we propose to the {\it Hots Spots Conjecture} of J. Rauch using deformation and Lipschitz bounds for level sets of eigenfunctions. We will relate this approach to quantitative connectivity properties of level sets of solutions to elliptic variational problems, including isoperimetric inequalities, Poincar\'e inequalities, Harnack inequalities, and NTA (non-tangentially accessibility). This paper mostly asks questions rather than answering them, while recasting known results in a new light. Its main theme is that the level sets of least energy solutions to scalar variational problems should be as simple as possible., Comment: 22 pages, this new version corrects one word in the introduction, Aguilera is the name of the first author of a paper cited (not Athanosopoulos). Thanks to Joel Spruck for pointing out this error

In this paper, we study the $H^s$-stability of the log-log blowup regime (which has been completely described in a series of recent works by Merle and Raphael) for the focusing mass-critical nonlinear Schr\"odinger equations $i\partial_tu+\Delta u+|u|^\frac4du=0$ in $\mathbb{R}^d$ with $d\geq3$. We aim to extend the result in [Colliander and Raphael, Rough blowup solutions to the $L^2$ critical NLS, Math. Anna., 345(2009), 307-366.] for dimension two to the higher dimensions cases $d\geq3$, where we use the bootstrap argument in the above paper and the commutator estimates in [M. Visan and X. Zhang, On the blowup for the $L^2$-critical focusing nonlinear Schr\"odinger equation in higher dimensions below the energy class. SIAM J. Math. Anal., 39(2007), 34-56.]., Comment: Comments are welcome. arXiv admin note: text overlap with arXiv:0907.5047 by other authors

In this paper we first use the result in $[12]$ to remove the assumption of the $L^2$ boundedness of Weyl curvature in the gap theorem in $[9]$ and then obtain a gap theorem for a class of conformally compact Einstein manifolds with very large renormalized volume. We also uses the blow-up method to derive curvature estimates for conformally compact Einstein manifolds with large renormalized volume. The second part of this paper is on conformally compact Einstein manifolds with conformal infinities of large Yamabe constants. Based on the idea in $[15]$ we manage to give the complete proof of the relative volume inequality $(1.9)$ on conformally compact Einstein manifolds. Therefore we obtain the complete proof of the rigidity theorem for conformally compact Einstein manifolds in general dimensions with no spin structure assumption (cf. $[29, 15]$) as well as the new curvature pinch estimates for conformally compact Einstein manifolds with conformal infinities of very large Yamabe constant. We also derive the curvature estimates for conformally compact Einstein manifolds with conformal infinities of large Yamabe constant., Comment: 28 pages, 1 figure(with one sentence added)

It is an important problem in differential geometry to find non-naturally reductive homogeneous Einstein metrics on homogeneous manifolds. In this paper, we consider this problem for some coset spaces of compact simple Lie groups. A new method to construct invariant non-naturally reductive Einstein metrics on normal homogeneous Einstein manifolds is presented. In particular, we show that on the standard homogeneous Einstein manifolds, except for some special cases, there exist plenty of such metrics. A further interesting result of this paper is that on some compact semisimple Lie groups, there exist a large number of left invariant non-naturally reductive Einstein metrics which are not product metrics., Comment: 29 pages

This paper introduces a family of transportation costs between non-negative measures. This family is used to obtain parabolic and reaction-diffusion equations with drift, subject to Dirichlet boundary condition, as the gradient flow of the entropy functional $\int_{\Omega}\rho\log\rho+V\rho+1\hspace{1mm}dx$. In 2010, Alessio Figalli and Nicola Gigli introduced a transportation cost that can be used to obtain parabolic equations with drift subject to Dirichlet boundary condition. However, the drift and the boundary condition are coupled in their work. The costs in this paper allow the drift and the boundary condition to be detached.

The purpose of this paper is to collect and make explicit the results of Langlands, Bump, Miyazaki and Manabe, Ishii and Oda for the $GL(3)$ Eisenstein series and Whittaker functions which are non-trivial on $SO(3,\mathbb{R})$. The final goal for the series of papers is a complete and completely explicit spectral expansion for $L^2(SL(3,\mathbb{Z})\backslash SL(3,\mathbb{R}))$ in the style of Duke, Friedlander and Iwaniec's paper on Artin L-functions. We derive a number of new results on the Whittaker functions and Eisenstein series, and give new, concrete proofs of the functional equations and spectral expansion in place of the general constructions of Langlands., 48 pages

For a Dirichlet series symbol $g(s) = \sum_{n \geq 1} b_n n^{-s}$, the associated Volterra operator $\mathbf{T}_g$ acting on a Dirichlet series $f(s)=\sum_{n\ge 1} a_n n^{-s}$ is defined by the integral $f\mapsto -\int_{s}^{+\infty} f(w)g'(w)\,dw$. We show that $\mathbf{T}_g$ is a bounded operator on the Hardy space $\mathcal{H}^p$ of Dirichlet series with $0 < p < \infty$ if and only if the symbol $g$ satisfies a Carleson measure condition. When appropriately restricted to one complex variable, our condition coincides with the standard Carleson measure characterization of ${\operatorname{BMOA}}(\mathbb{D})$. A further analogy with classical ${\operatorname{BMO}}$ is that $\exp(c|g|)$ is integrable (on the infinite polytorus) for some $c > 0$ whenever $\mathbf{T}_g$ is bounded. In particular, such $g$ belong to $\mathcal{H}^p$ for every $p < \infty$. We relate the boundedness of $\mathbf{T}_g$ to several other ${\operatorname{BMO}}$ type spaces: ${\operatorname{BMOA}}$ in half-planes, the dual of $\mathcal{H}^1$, and the space of symbols of bounded Hankel forms. Moreover, we study symbols whose coefficients enjoy a multiplicative structure and obtain coefficient estimates for $m$-homogeneous symbols as well as for general symbols. Finally, we consider the action of $\mathbf{T}_g$ on reproducing kernels for appropriate sequences of subspaces of $\mathcal{H}^2$. Our proofs employ function and operator theoretic techniques in one and several variables; a variety of number theoretic arguments are used throughout the paper in our study of special classes of symbols $g$., This paper has been accepted for publication in Journal f\"ur die reine und angewandte Mathematik

In this paper we consider a new kind of inequality related to fractional integration, motivated by Gressman's paper. Based on it we investigate its multilinear analogue inequalities. Combining with the Gressman's work on multilinear integral, we establish this new kind of geometric inequalities with bilinear form and multilinear form in more general settings. Moreover, in some cases we also find the best constants and optimisers for these geometric inequalities on Euclidean spaces with Lebesgue measure settings with $L^p$ bounds.

The currently preferred models of the universe undergo accelerated expansion induced by dark energy. One model for dark energy is a positive cosmological constant. It is consequently of interest to study Einstein's equations with a positive cosmological constant coupled to matter satisfying the ordinary energy conditions; the dominant energy condition etc. Due to the difficulty of analysing the behaviour of solutions to Einstein's equations in general, it is common to either study situations with symmetry, or to prove stability results. In the present paper, we do both. In fact, we analyse, in detail, the future asymptotic behaviour of T^3-Gowdy symmetric solutions to the Einstein-Vlasov equations with a positive cosmological constant. In particular, we prove the cosmic no-hair conjecture in this setting. However, we also prove that the solutions are future stable (in the class of all solutions). Some of the results hold in a more general setting. In fact, we obtain conclusions concerning the causal structure of T^2-symmetric solutions, assuming only the presence of a positive cosmological constant, matter satisfying various energy conditions and future global existence. Adding the assumption of T^3-Gowdy symmetry to this list of requirements, we obtain C^0-estimates for all but one of the metric components. There is consequently reason to expect that many of the results presented in this paper can be generalised to other types of matter., Comment: 72 pages. Revised version to appear in JEMS

We study the transverse Lusternik-Schnirelmann category theory of a Riemannian foliation F on a closed manifold M. The essential transverse category cat e (M, F) is introduced in this paper, and we prove that cat e (M, F) is always finite for a Riemannian foliation. Necessary and sufficient conditions are derived for when the usual transverse category cat (M, F) is finite, and thus cat e (M, F) = cat(M, F) holds. A fundamental point of this paper is to use properties of Riemannian submersions and the Molino Structure Theory for Riemannian foliations to transform the calculation of cat e (M, F) into a standard problem about O(q)-equivariant LS category theory. A main result, Theorem 1.6, states that for an associated O(q)-manifold W, we have that cat e (M, F) = cat O(q) (Ŵ). Hence, the traditional techniques developed for the study of smooth compact Lie group actions can be effectively employed for the study of the LS category of Riemannian foliations. A generalization of the Lusternik-Schnirelmann theorem is derived: given a C 1 -function f: M → R which is constant along the leaves of a Riemannian foliation F, the essential transverse category cat e (M, F) is a lower bound for the number of critical leaf closures of f.

This is the first paper in a series introducing a generalized Fredholm theory in a new class of smooth spaces called polyfolds. The theory will be illustrated in upcoming papers by applications to Floer Theory, Gromov-Witten Theory and Symplectic Field Theory., Comment: Some typos corrected and some minor changes. To appear Journal of the European Mathematical Society

We study intertwining operator algebras introduced and constructed by Huang. In the case that the intertwining operator algebras involve intertwining operators among irreducible modules for their vertex operator subalgebras, a number of results on intertwining operator algebras were given in [H9] but some of the proofs were postponed to an unpublished monograph. In this paper, we give the proofs of these results in [H9] and we formulate and prove results for general intertwining operator algebras without assuming that the modules involved are irreducible. In particular, we construct fusing and braiding isomorphisms for general intertwining operator algebras and prove that they satisfy the genus-zero Moore-Seiberg equations. We show that the Jacobi identity for intertwining operator algebras is equivalent to generalized rationality, commutativity and associativity properties of intertwining operator algebras. We introduce the locality for intertwining operator algebras and show that the Jacobi identity is equivalent to the locality, assuming that other axioms hold. Moreover, we establish that any two of the three properties, associativity, commutativity and skew-symmetry, imply the other (except that when deriving skew-symmetry from associativity and commutativity, more conditions are needed). Finally, we show that three definitions of intertwining operator algebras are equivalent., Comment: 59 pages, 2 figures. Several typos corrected. Some references cited in the text. Everything else is the same. The definition of intertwining operator algebras and some related technical definitions in this paper are from arXiv:q-alg/9704008 by different author. These definitions and the related statements are long. They are the main text overlap with arXiv:q-alg/9704008

This is the first in a series of papers dedicated to the study of Poisson manifolds of compact types (PMCTs). This notion encompasses several classes of Poisson manifolds defined via properties of their symplectic integrations. In this first paper we establish some fundamental properties of PMCTs, which already show that they are the analogues of compact symplectic manifolds, thus placing them in a prominent position among all Poisson manifolds. For instance, their Poisson cohomology behaves very much like the de Rham cohomology of compact symplectic manifolds (Hodge decomposition, non-degenerate Poincar\'e duality pairing, etc.) and the Moser trick can be adapted to PMCTs. More important, we find unexpected connections between PMCTs and Symplectic Topology: PMCTs are related with the theory of Lagrangian fibrations and we exhibit a construction of a nontrivial PMCT related to a classical question on the topology of the orbits of a free symplectic circle action. In subsequent papers, we will establish deep connections between PMCTs and integral affine geometry, Hamiltonian $G$-spaces, foliation theory, Lie theory and symplectic gerbes., Comment: Some notations and conventions were changed to agree with PMCT 2. Additional examples added. Final version submitted for publication

We study Harper operators and the closely related discrete magnetic Laplacians (DML) on a graph with a free action of a discrete group, as defined by Sunada. The spectral density function of the DML is defined using the von Neumann trace associated with the free action of a discrete group on a graph. The main result in this paper states that when the group is amenable, the spectral density function is equal to the integrated density of states of the DML that is defined using either Dirichlet or Neumann boundary conditions. This establishes the main conjecture in a paper by Mathai and Yates. The result is generalized to other self adjoint operators with finite propagation., LaTeX2e, 7 pages

A spacetime is a connected 4-dimensional semi-Riemannian manifold endowed with a metric $g$ with signature $(- + + +)$. The geometry of a spacetime is described by the metric tensor $g$ and the Ricci tensor $S$ of type $(0, 2)$ whereas the energy momentum tensor of type $(0,2)$ describes the physical contents of the spacetime. Einstein's field equations relate $g$, $S$ and the energy momentum tensor and describe the geometry and physical contents of the spacetime. By solving Einstein's field equations for empty spacetime (i.e. $S = 0$) for a non-static spacetime metric, one can obtain the interior black hole solution, known as the interior black hole spacetime which infers that a remarkable change occurs in the nature of the spacetime, namely, the external spatial radial and temporal coordinates exchange their characters to temporal and spatial coordinates, respectively, and hence the interior black hole spacetime is a non-static one as the metric coefficients are time dependent. For the sake of mathematical generalizations, in the literature, there are many rigorous geometric structures constructed by imposing the restrictions to the curvature tensor of the space involving first order and second order covariant differentials of the curvature tensor. Hence a natural question arises that which geometric structures are admitted by the interior black hole metric. The main aim of this paper is to provide the answer of this question so that the geometric structures admitting by such a metric can be interpreted physically., Comment: The paper contains 33 pages

In this paper we prove a local exponential synchronization for Markovian random iterations of homeomorphisms of the circle $S^{1}$ , providing a new result on stochastic circle dynamics even for $C^1$ -diffeomorphisms. This result is obtained by combining an invariance principle for stationary random iterations of homeomorphisms of the circle with a Krylov–Bogolyubov-type result for homogeneous Markov chains.

We consider products of an independent and identically distributed sequence in a set $\{f_1,\ldots ,f_m\}$ of orientation-preserving diffeomorphisms of the circle. We can naturally associate a Lyapunov exponent $\lambda $ . Under few assumptions, it is known that $\lambda \leq 0$ and that the equality holds if and only if $f_1,\ldots ,f_m$ are simultaneously conjugated to rotations. In this paper, we state a quantitative version of this fact in the case where $f_1,\ldots ,f_m$ are $C^k$ perturbations of rotations with rotation numbers $\rho (f_1),\ldots ,\rho (f_m)$ satisfying a simultaneous diophantine condition in the sense of Moser [On commuting circle mappings and simultaneous diophantine approximations. Math. Z.205(1) (1990), 105–121]: we give a precise estimate of $\lambda $ (Taylor expansion) and we prove that there exist a diffeomorphism g and rotations $r_i$ such that $\mbox {dist}(gf_ig^{-1},r_i)\ll |\lambda |^{{1}/{2}}$ for $i=1,\ldots , m$ . We also state analogous results for random products of $2\times 2$ matrices, without any diophantine condition.

The categoricity spectrum of a computable structure S is the set of all Turing degrees capable of computing isomorphisms among arbitrary computable presentations of S. The degree of categoricity of S is the least degree in the categoricity spectrum of S. This paper is a survey of results on categoricity spectra and degrees of categoricity for computable structures. We focus on the results about degrees of categoricity for linear orders and Boolean algebras. We construct a new series of examples of degrees of categoricity for linear orders.

This paper focuses on the Dysthe equation which is a higher order approximation of the water waves system in the modulation (Schrodinger) regime and in the infinite depth case. We first review the derivation of the Dysthe and related equations. Then we study the initial-value problem. We prove a small data global well-posedness and scattering result in the critical space L 2 ( R 2 ) . This result is sharp in view of the fact that the flow map cannot be C 3 continuous below L 2 ( R 2 ) . Our analysis relies on linear and bilinear Strichartz estimates in the context of the Fourier restriction norm method. Moreover, since we are at a critical level, we need to work in the framework of the atomic space U S 2 and its dual V S 2 of square bounded variation functions. We also prove that the initial-value problem is locally well-posed in H s ( R 2 ) , s > 0 . Our results extend to the finite depth version of the Dysthe equation.

The class of differential equations describing pseudospherical surfaces enjoys important integrability properties which manifest themselves by the existence of infinite hierarchies of conservation laws (both local and nonlocal) and the presence of associated linear problems. It thus contains many important known examples of integrable equations, like the sine-Gordon, Liouville, KdV, mKdV, Camassa–Holm and Degasperis–Procesi equations, and is also home to many new families of integrable equations. Our paper is concerned with the question of the local isometric immersion in E3 of the pseudospherical surfaces defined by the solutions of equations belonging to the class introduced by Chern and Tenenblat [Pseudospherical surfaces and evolution equations, Stud. Appl. Math. 74 (1986) 55–83]. In the case of the sine-Gordon equation, it is a classical result that the second fundamental form of the immersion depends only on a jet of finite order of the solution of the partial differential equation. A natural question is therefore to know if this remarkable property extends to equations other than the sine-Gordon equation within the class of differential equations describing pseudospherical surfaces. In a pair of earlier papers [N. Kahouadji, N. Kamran and K. Tenenblat, Second-order equations and local isometric immersions of pseudo-spherical surfaces, to appear in Comm. Anal. Geom., arXiv: 1308.6545; Local isometric immersions of pseudo-spherical surfaces and evolution equations, in Hamiltonian Partial Differential Equations and Applications, eds. P. Guyenne, D. Nichols and C. Sulem, Fields Institute Communications, Vol. 75 (Springer-Verlag, 2015), pp. 369–381], it was shown that this property fails to hold for all [Formula: see text]th-order evolution equations [Formula: see text] and all other second-order equations of the form [Formula: see text], except for the sine-Gordon equation and a special class of equations for which the coefficients of the second fundamental form are universal, that is functions of [Formula: see text] and [Formula: see text] which are independent of the choice of solution [Formula: see text]. In this paper, we consider third-order equations of the form [Formula: see text], [Formula: see text], which describe pseudospherical surfaces with the Riemannian metric given in [T. Castro Silva and K. Tenenblat, Third order differential equations describing pseudospherical surfaces, J. Differential Equations 259 (2015) 4897–4923]. This class contains the Camassa–Holm and Degasperis–Procesi equations as special cases. We show that whenever there exists a local isometric immersion in E3 for which the coefficients of the second fundamental form depend on a jet of finite order of [Formula: see text], then these coefficients are universal in the sense of being independent on the choice of solution [Formula: see text]. This result further underscores the special place that the sine-Gordon equations seem to occupy amongst integrable partial differential equations in one space variable.

Systematization of numerical randomized functional algorithms for approximation of solutions to second-kind Fredholm integral equation is performed in this paper. Three types of algorithms are emphasized: projection algorithms, grid algorithms, and projection-grid algorithms. Disadvantages of grid algorithms that require calculation of values of the kernel of integral equations at fixed points are revealed (practically, the kernels of equation have integrable singularities and this calculation is impossible). Thus, for applied problems related to the solution of second-kind Fredholm integral equations, projection or projection-grid randomized algorithms are more convenient.

Recently, Geher and Semrl have characterized the general form of surjective isometries of the set of all projections on an infinite-dimensional separable Hilbert space using unitaries and antiunitaries. In this paper, we study the surjective L2-isometries of the projection lattice of an infinite dimensional Hilbert space and show that every such isometry can also be described by unitaries and antiunitaries.

Earlier, a model of a time series with heavy tails constructed from a Gaussian time series was developed. In the present paper, the reverse problem is considered: an estimator of the copula function is built; the copula function is a nonlinear function that maps Gaussian variables to the variables from the Frechet maximum domain of attraction. The statistical properties of this estimator are considered for a stationary time series with a low rate of covariance decay.

In this paper we study on gradient quasi-Einstein solitons with a fourth-order vanishing condition on the Weyl tensor. More precisely, we show that for n ≥ 4, the Cotton tensor of any n-dimensional gradient quasi-Einstein soliton with fourth order f-divergence free Weyl tensor is flat, if the manifold is compact, or noncompact but the potential function satisfies some growth condition. As corollaries, some local characterization results for the quasi-Einstein metrics are derived.

The paper is a review of the latest results of I. R. Kayumov and S. Ponnusamy on the Bohr inequality. An exact estimate in the strong Bohr inequality is obtained and the Bohr–Rogosinski radius for a certain class of subordinations is examined. All results are exact.

In this paper, we examine the problem on the description in terms of the Laplace transform of functionals from the conjugate space for the Hilbert space of entire functions of n variables constructed by a convex function in ℂn, which depends on the modules of variables and grows at infinity faster than a‖z‖ for any a > 0.

In this paper, we study spectral decompositions with respect to a system of generalized eigenvectors of second-order differential operators on an interval whose resolvents possess convolution representations. We obtain the convolution representation of resolvents of second-order differential operators on an interval with integral boundary conditions. Then, using the convolution generated by the initial differential operator, we construct the Fourier transform. A connection between the convolution operation in the original functional space and the multiplication operation in the space of Fourier transforms is established. Finally, the problem on the convergence of spectral expansions generated by the original differential operator is studied. Examples of convolutions generated by operators are also presented.

In the Kalman—Bucy filter problem, the observed process consists of the sum of a signal and a noise. The filtration begins at the same moment as the observation process and it is necessary to estimate the signal. As a rule, this problem is studied for the scalar and vector Markovian processes. In this paper, the scalar linear problem is considered for the system in which the signal and noise are not Markovian processes. The signal and noise are independent stationary autoregressive processes with orders of magnitude higher than 1. The recurrent equations for the filter process, its error, and its conditional cross correlations are derived. These recurrent equations use previously found estimates and some last observed data. The optimal definition of the initial data is proposed. The algebraic equations for the limit values of the filter error (the variance) and cross correlations are found. The roots of these equations make possible the conclusions concerning the criterion of the filter process convergence. Some examples in which the filter process converges and does not converge are given. The Monte Carlo method is used to control the theoretical formulas for the filter and its error.

In this paper we investigate the compact operators under Orlicz function, named noncommutative Orlicz sequence space (denoted by Sϕ(ℌ)), where ℌ is a complex, separable Hilbert space. We will show that the space generalizes the Schatten classes Sp(ℌ) and the classical Orlicz sequence space respectively. After getting some relations of trace and norm, we will give some operator inequalities, such as Holder inequality and some other classical operator inequalities. Also we will give the dual space and reflexivity of Sϕ(ℌ) which generalizes the results of Sϕ(ℌ). Finally, as an application, we will show that the Toeplitz operator $${T_{1 — {{\left| z \right|}^2}}}$$ on the Bergman space $$L_\alpha ^2\left(\mathbb{R} \right)$$ belongs to some Sϕ(ℌ), and the norm satisfies $$1 = \sum\limits_{n \ge 0} {\varphi \left({{1 \over {\left({n + 2} \right){{\left\| {{T_{1 — {{\left| z \right|}^2}}}} \right\|}_\varphi}}}} \right)} $$ . Especially, if ϕ(T) = ∣T∣p, p > 1, the norm is $${\left\| {{T_{1 — {{\left| z \right|}^2}}}} \right\|_p} = {\left[{\sum\limits_{n \ge 0} {{1 \over {{{\left({n + 2} \right)}^p}}}}} \right]^{{1 \over p}}} = {\left({\zeta \left(p \right) — 1} \right)^{{1 \over p}}}$$ , where ζ(p) is the Riemann function.

A perfect cuboid is a rectangular parallelepiped in which the lengths of all edges, the lengths of all face diagonals, and also the lengths of spatial diagonals are integers. No such cuboid has yet been found, but their nonexistence has also not been proved. The problem of a perfect cuboid is among unsolved mathematical problems. The problem has a natural S3-symmetry connected to permutations of edges of the cuboid and the corresponding permutations of face diagonals. In this paper, we give a survey of author’s results and results of J. R. Ramsden on using the S3 symmetry for the reduction and analysis of the Diophantine equations for a perfect cuboid.

Let $$x:M \to \mathbb{S}{^{n + p}}(1)$$ be an n-dimensional submanifold immersed in an (n + p)-dimensional unit sphere $$\mathbb{S}{^{n + p}}(1)$$ . In this paper, we study n-dimensional submanifolds immersed in $$\mathbb{S}{^{n + p}}(1)$$ which are critical points of the functional $${\cal S}(x) = \int_M {{S^{{n \over 2}}}} dv$$ , where S is the squared length of the second fundamental form of the immersion x. When $$x:M \to \mathbb{S}{^{2 + p}}(1)$$ is a surface in $$\mathbb{S}{^{2 + p}}(1)$$ , the functional $${\cal S}(x) = \int_M {{S^{{n \over 2}}}} dv$$ represents double volume of image of Gaussian map. For the critical surface of $${\cal S}(x)$$ , we get a relationship between the integral of an extrinsic quantity of the surface and its Euler characteristic. Furthermore, we establish a rigidity theorem for the critical surface of $${\cal S}(x)$$ .

In this paper, we present new properties of the space L1(M, τ) of integrable (with respect to the trace τ ) operators affiliated to a semifinite von Neumann algebra M. For self-adjoint τ-measurable operators A and B, we find sufficient conditions of the τ -integrability of the operator λI −AB and the real-valuedness of the trace τ (λI − AB), where λ ∈ ℝ. Under these conditions, [A,B] = AB − BA ∈ L1(M, τ) and τ ([A,B]) = 0. For τ -measurable operators A and B = B2, we find conditions that are sufficient for the validity of the relation τ ([A,B]) = 0. For an isometry U ∈ M and a nonnegative τ -measurable operator A, we prove that U − A ∈ L1(M, τ) if and only if I − A, I − U ∈ L1(M, τ). For a τ -measurable operator A, we present estimates of the trace of the autocommutator [A∗,A]. Let self-adjoint τ -measurable operators X ≥ 0 and Y be such that [X1/2, YX1/2] ∈ L1(M, τ). Then τ ([X1/2, YX1/2]) = it, where t ∈ ℝ and t = 0 for XY ∈ L1(M, τ).

We study continuity conditions for the operator of harmonic reflection of functions over boundaries of simple Caratheodory domains. This operator is considered as one acting from a space of functions of Lipschitz–Holder type defined by a general modulus of a continuity, into another space of such kind. The results obtained are based on the continuity criterion for the Poisson operator (acting in the same spaces of functions) in the domains in question. This criterion is also obtained in the paper. These results generalize and refine those obtained in the recent work by the second author and P. Paramonov (Analysis and Mathematical Physics, 2019).

In this paper, we prove the existence and uniqueness results of entropy solutions to a class of nonlinear parabolic p(u)-Laplacian problem with Fourier-type boundary conditions and $$L^1$$ -data. The main tool used here is the Rothe method combined with the theory of variable exponent Sobolev spaces.

We consider the 1D nonlinear Schrödinger equation with focusing point nonlinearity. “Point” means that the pure-power nonlinearity has an inhomogeneous potential and the potential is the delta function supported at the origin. This equation is used to model a Kerr-type medium with a narrow strip in the optic fibre. There are several mathematical studies on this equation and the local/global existence of a solution, blow-up occurrence, and blow-up profile have been investigated. In this paper we focus on the asymptotic behavior of the global solution, i.e., we show that the global solution scatters as t → ± ∞ t\to \pm \infty in the L 2 L^2 supercritical case. The main argument we use is due to Kenig-Merle, but it is required to make use of an appropriate function space (not Strichartz space) according to the smoothing properties of the associated integral equation.