English
Related papers

Related papers: Function spaces for second-order polynomial time

200 papers

In this paper, we continue to develop the theory of free holomorphic functions on noncommutative regular polydomains. We find analogues of several classical results from complex analysis such as Abel theorem, Hadamard formula, Cauchy…

Functional Analysis · Mathematics 2017-05-09 Gelu Popescu

Given a represented space (in the sense of TTE theory), an appropriate representation is constructed for the Moschovakis extension of its carrier (with paying attention to the cases of effective topological spaces and effective metric…

Logic · Mathematics 2023-06-22 Dimiter Skordev

Using the quadrature bases that incorporate the spatiotemporal degrees of freedom, we develop a Wigner functional theory for quantum optics, as an extension of the Moyal formalism. Since the spatiotemporal quadrature bases span the complete…

Quantum Physics · Physics 2020-06-19 Filippus S. Roux , Nicolas Fabre

We develop a functional framework suitable for the treatment of partial differential equations and variational problems on evolving families of Banach spaces. We propose a definition for the weak time derivative that does not rely on the…

Analysis of PDEs · Mathematics 2023-02-17 Amal Alphonse , Diogo Caetano , Ana Djurdjevac , Charles M. Elliott

In order to prove that the P of problems is different to the NP class, we consider the satisfability problem of propositional calculus formulae, which is an NP-complete problem. It is shown that, for every search algorithm A, there is a set…

Computational Complexity · Computer Science 2007-11-09 Alfredo von Reckow

We define the spaces of Schwartz functions, tempered functions and tempered distributions on manifolds definable in polynomially bounded o-minimal structures. We show that all the classical properties that these spaces have in the Nash…

Representation Theory · Mathematics 2020-03-12 Ary Shaviv

We present an innovative approach to dimensional analysis, based on a general representation theorem for complete quantity functions admitting a covariant scalar representation; this theorem is in turn grounded in a purely algebraic theory…

Mathematical Physics · Physics 2020-12-15 Dan Jonsson

We consider integration of functions with values in a partially ordered vector space, and two notions of extension of the space of integrable functions. Applying both extensions to the space of real valued simple functions on a measure…

Functional Analysis · Mathematics 2021-10-18 Arnoud van Rooij , Willem van Zuijlen

We extend the construction of [19] by introducing spaces of generalized tensor fields on smooth manifolds that possess optimal embedding and consistency properties with spaces of tensor distributions in the sense of L. Schwartz. We thereby…

Functional Analysis · Mathematics 2012-05-31 Michael Grosser , Michael Kunzinger , Roland Steinbauer , James Vickers

Generalized Functions play a central role in the understanding of differential equations containing singularities and nonlinearities. Introducing infinitesimals and infinities to deal with these obstructions leads to controversies…

Differential Geometry · Mathematics 2023-09-15 Juriaans , S. O. , Queiroz , P. C

We construct an algebra of dimension $2^{\aleph_0}$ consisting only of functions which in no point possess a finite one-sided derivative. We further show that some well known nowhere differentiable functions generate algebras, which contain…

Classical Analysis and ODEs · Mathematics 2023-07-31 Jan-Christoph Schlage-Puchta

In this paper, we study integral functionals defined on spaces of functions with values on general (non-separable) Banach spaces. We introduce a new class of integrands and multifunctions for which we obtain measurable selection results.…

Optimization and Control · Mathematics 2022-08-10 Juan Guillermo Garrido , Pedro Pérez-Aros , Emilio Vilches

We construct differential algebras in which spaces of (one-dimensional) periodic ultradistributions are embedded. By proving a Schwartz impossibility type result, we show that our embeddings are optimal in the sense of being consistent with…

Functional Analysis · Mathematics 2017-10-12 Andreas Debrouwere

We consider the Cauchy problem for the Burgers hierarchy with general time dependent coefficients. The closed form for the Green's function of the corresponding linear equation of arbitrary order $N$ is shown to be a sum of generalised…

Exactly Solvable and Integrable Systems · Physics 2021-05-05 Mathew Zuparic , Keeley Hoek

Darboux Wronskian formulas allow to construct Darboux transformations, but Laplace transformations, which are Darboux transformations of order one cannot be represented this way. It has been a long standing problem on what are other…

Analysis of PDEs · Mathematics 2013-04-24 Ekaterina Shemyakova

Summation-by-parts (SBP) operators allow us to systematically develop energy-stable and high-order accurate numerical methods for time-dependent differential equations. Until recently, the main idea behind existing SBP operators was that…

Numerical Analysis · Mathematics 2023-07-25 Jan Glaubitz , Simon-Christian Klein , Jan Nordström , Philipp Öffner

This paper settles the computational complexity of the problem of integrating a polynomial function f over a rational simplex. We prove that the problem is NP-hard for arbitrary polynomials via a generalization of a theorem of Motzkin and…

Metric Geometry · Mathematics 2013-06-27 Velleda Baldoni , Nicole Berline , Jesus De Loera , Matthias Köppe , Michèle Vergne

For a general vector field we exhibit two Hilbert spaces, namely the space of so called closed functions and the space of exact functions and we calculate the codimension of the space of exact functions inside the larger space of closed…

Functional Analysis · Mathematics 2007-05-23 Anamaria Savu

Given any square matrix or a bounded operator $A$ in a Hilbert space such that $p(A)$ is normal (or similar to normal), we construct a Banach algebra, depending on the polynomial $p$, for which a simple functional calculus holds. When the…

Functional Analysis · Mathematics 2015-06-03 Olavi Nevanlinna

Kawamura and Cook specified the least set of information about a continuous function on the unit interval which is needed for fast function evaluation. This paper presents a variation of their result. To make the above statement precise,…

Logic in Computer Science · Computer Science 2018-08-28 Franz Brauße , Florian Steinberg