Related papers: Function spaces for second-order polynomial time
In the present paper it is shown that real function $g(x)=\int_{0}^{x}f(t)dt$ is a linear-space computable real function on interval $[0,1]$ if $f$ is a linear-space computable $C^2[0,1]$ real function on interval $[0,1]$, and this result…
Consider a finite collection $\{T_1, \ldots, T_J\}$ of differential operators with constant coefficients on $\mathbb{T}^2$ and the space of smooth functions generated by this collection, namely, the space of functions $f$ such that $T_j f…
We study the Neumann Green's function for second order parabolic systems in divergence form with time-dependent measurable coefficients in a cylindrical domain $\mathcal{Q}=\Omega\times (-\infty,\infty)$, where $\Omega\subset \mathbb{R}^n$…
We consider the problem of calculating the Gaussian curvature of a conical 2-dimensional space by using concepts and techniques of distribution theory. We apply the results obtained to calculate the Riemannian curvature of the 4-dimensional…
Consider the representations of an algebraic group G. In general, polynomial invariant functions may fail to separate orbits. The invariant subring may not be finitely generated, or the number and complexity of the generators may grow…
It is known after Jouanolou that a general holomorphic foliation of degree $\geq2$ in projective space has no algebraic leaf. We give formulas for the degrees of the subvarieties of the parameter space of one-dimensional foliations that…
We note that Weihrauch problems can be regarded as containers over the category of projective represented spaces and that Weihrauch reductions correspond exactly to container morphisms. We also show that Bauer's extended Weihrauch degrees…
A new class of 2-orthogonal polynomials satisfying orthogonality conditions with respect to a pair of linear functionals $(u_0,u_1)$ was presented in Douak K & Maroni P [On a new class of 2-orthogonal polynomials, I: the recurrence…
We study function spaces and extension results in relation with Dirichlet problems involving integrodifferential operators. For such problems, data are prescribed on the complement of a given domain in the Euclidean space. We introduce a…
We determine all F,G in C[X] of degree at least 2 for which the semigroup generated by F and G under composition is not the free semigroup on the letters F and G. We also solve the same problem for F,G in X^2 C[[X]], and prove partial…
A syntactical proof is given that all functions definable in a certain affine linear typed lambda-calculus with iteration in all types are polynomial time computable. The proof provides explicit polynomial bounds that can easily be…
We prove nonexistence of a nontrivial integral that is polynomial in momenta of degree less than 7 for the Zipoy-Voorhees spacetime with the parameter $\delta=2$
We construct Schwinger functions as the superposition of Schwinger functions which correspond to those of free fields with sharp masses $ m $. We prove that all axioms of Osterwalder and Schrader are satisfied. This construction works…
Solutions of some partial differential equations are obtained as critical points of a real funtional. Then the Banach space where this functional is defined has to be real, otherwise, it is not differentiable. It follows that the equation…
Using bicomplex formalism we construct generalizations of Fordy-Kulish systems of matrix nonlinear Schroedinger equations on two-dimensional space-time in two respects. Firstly, we obtain corresponding equations in three space-time…
Motivated by results on generic-case complexity in group theory, we apply the ideas of effective Baire category and effective measure theory to study complexity classes of functions which are "fractionally computable" by a partial…
We define the notion of {\em rational presentation of a complete metric space} in order to study metric spaces from the algorithmic complexity point of view. In this setting, we study some presentations of the space $\czu$ of uniformly…
In this two-part paper we propose an extension of Connes' notion of even spectral triple to the Lorentzian setting. This extension, which we call a spectral spacetime, is discussed in part II where several natural examples are given which…
For any class of operators which transform unary total functions in the set of natural numbers into functions of the same kind, we define what it means for a real function to be uniformly computable or conditionally computable with respect…
Spacetime is modelled by binary relations - by the classes of the automorphisms $\GL(\C^2)$ of a complex 2-dimensional vector space with respect to the definite unitary subgroup $\U(2)$. In extension of Feynman propagators for particle…