Showing 1–32 of 32 results for author: Todorov, T

An Embedding of Schwartz Distributions in the Algebra of Asymptotic Functions

Authors: M. Oberguggenberger, T. Todorov

Abstract: We present a solution of the problem of multiplication of Schwartz distributions by embedding the space of distributions into a differential algebra of generalized functions, called in the paper ``asymptotic function'', similar to but different from J. F. Colombeau's algebras of new generalized functions. We present a solution of the problem of multiplication of Schwartz distributions by embedding the space of distributions into a differential algebra of generalized functions, called in the paper ``asymptotic function'', similar to but different from J. F. Colombeau's algebras of new generalized functions. △ Less

Submitted 22 March, 2024; originally announced March 2024.

Comments: 16 pages

MSC Class: 1991 AMS Subject Classification Codes: 03H05; 12J25; 46F10; 46820

Journal ref: International Journal of Mathematics & Mathematical Sciences, Vol. 21, No. 3 (1998), p. 417-428

Non-Standard Version of Egorov Algebra of Generalized Functions

Authors: Todor D. Todorov

Abstract: We consider a non-standard version of Egorov's algebra of generalized functions, with improved properties of the generalized scalars and embedding of the Schwartz distributions compared with the original standard Egorov's version. The embedding of distributions is similar to, but different from author's works in the past and independently done by Hans Vernaeve. We consider a non-standard version of Egorov's algebra of generalized functions, with improved properties of the generalized scalars and embedding of the Schwartz distributions compared with the original standard Egorov's version. The embedding of distributions is similar to, but different from author's works in the past and independently done by Hans Vernaeve. △ Less

Submitted 11 March, 2024; originally announced March 2024.

Comments: 10 pages

MSC Class: Primary: 46F30; Secondary: 46F05; 46F10; 46S10; 46S20; 03H05; 03C50 35D05; 35D10; 35R05; 54B40

Journal ref: In: Cardona, D., Restrepo, J., Ruzhansky, M. (eds) Extended Abstracts 2021/2022. GMC 2021. Trends in Mathematics, vol. 3. Birkhäuser, Cham

Infinite-Dimensional Linear Algebra and Solvability of Partial Differential Equations

Authors: Todor D. Todorov

Abstract: We discuss linear algebra of infinite-dimensional vector spaces in terms of algebraic (Hamel) bases. As an application we prove the surjectivity of a large class of linear partial differential operators with smooth ($\mathcal C^\infty$-coefficients) coefficients, called in the article \emph{regular}, acting on the algebraic dual $\mathcal D^*(Ω)$ of the space of test-functions $\mathcal D(Ω)$. The… ▽ More We discuss linear algebra of infinite-dimensional vector spaces in terms of algebraic (Hamel) bases. As an application we prove the surjectivity of a large class of linear partial differential operators with smooth ($\mathcal C^\infty$-coefficients) coefficients, called in the article \emph{regular}, acting on the algebraic dual $\mathcal D^*(Ω)$ of the space of test-functions $\mathcal D(Ω)$. The surjectivity of the partial differential operators guarantees solvability of the corresponding partial differential equations within $\mathcal D^*(Ω)$. We discuss our result in contrast to and comparison with similar results about the restrictions of the regular operators on the space of Schwartz distribution $\mathcal D^\prime(Ω)$, where these operators are often non-surjective. △ Less

Submitted 7 June, 2021; originally announced June 2021.

Comments: 34 pages

MSC Class: Primary: 15A03; 35A01; 35D35; 35E20; 35J15; 46F05; 46F10; 47F05 Secondary: 46S20; 46F30

Journal ref: Journal of Logic & Analysis (ISSN 1759-9008), 13:5 (2021), p. 1-34

Enabling four-dimensional conformal hybrid meshing with cubic pyramids

Authors: Miroslav S. Petrov, Todor D. Todorov, Gage S. Walters, David M. Williams, Freddie D. Witherden

Abstract: The main purpose of this article is to develop a novel refinement strategy for four-dimensional hybrid meshes based on cubic pyramids. This optimal refinement strategy subdivides a given cubic pyramid into a conforming set of congruent cubic pyramids and invariant bipentatopes. The theoretical properties of the refinement strategy are rigorously analyzed and evaluated. In addition, a new class of… ▽ More The main purpose of this article is to develop a novel refinement strategy for four-dimensional hybrid meshes based on cubic pyramids. This optimal refinement strategy subdivides a given cubic pyramid into a conforming set of congruent cubic pyramids and invariant bipentatopes. The theoretical properties of the refinement strategy are rigorously analyzed and evaluated. In addition, a new class of fully symmetric quadrature rules with positive weights are generated for the cubic pyramid. These rules are capable of exactly integrating polynomials with degrees up to 12. Their effectiveness is successfully demonstrated on polynomial and transcendental functions. Broadly speaking, the refinement strategy and quadrature rules in this paper open new avenues for four-dimensional hybrid meshing, and space-time finite element methods. △ Less

Submitted 14 January, 2021; originally announced January 2021.

Comments: 30 pages, 15 figures

MSC Class: 52B11; 65N30; 65N50; 65D30; 65D32

Ordered Fields, the Purge of Infinitesimals from Mathematics and the Rigorousness of Infinitesimal Calculus

Authors: James F. Hall, Todor D. Todorov

Abstract: We present a characterization of the completeness of the field of real numbers in the form of a \emph{collection of several equivalent statements} borrowed from algebra, real analysis, general topology, and non-standard analysis. We also discuss the completeness of non-Archimedean fields and present several examples of such fields. As an application, we exploit the characterization of the reals to… ▽ More We present a characterization of the completeness of the field of real numbers in the form of a \emph{collection of several equivalent statements} borrowed from algebra, real analysis, general topology, and non-standard analysis. We also discuss the completeness of non-Archimedean fields and present several examples of such fields. As an application, we exploit the characterization of the reals to argue that the Leibniz-Euler infinitesimal calculus in the $17^\textrm{th}$-$18^\textrm{th}$ centuries was already a rigorous branch of mathematics -- at least much more rigorous than most contemporary mathematicians prefer to believe. By advocating our particular historical point of view, we hope to provoke a discussion on the importance of mathematical rigor in mathematics and science in general. This article is directed to all mathematicians and scientists who are interested in the foundations of mathematics and the history of infinitesimal calculus. △ Less

Submitted 12 September, 2015; originally announced September 2015.

Comments: 29 pages. arXiv admin note: substantial text overlap with arXiv:1109.2098

MSC Class: 03H05; 01A50; 03C20; 12J10; 12J15; 12J25; 26A06

Journal ref: Bulgarian Journal of Physics, Vol. 42 (2015) 99-127 - An issue dedicated to the centenary of the birth of Prof. Christo Yankov Christov

Steady-State Solutions in an Algebra of Generalized Functions

Authors: Todor D. Todorov

Abstract: Formulas for the solutions of initial value problems for ordinary differential equations with singular $δ^{(n)}$-like driving terms are derived in the framework of an algebra of generalized functions (of Colombeau type) over a field of generalized scalars. Some of the solutions might have physical meaning - such as of the electrical current after lightning or under superconductivity - but do not h… ▽ More Formulas for the solutions of initial value problems for ordinary differential equations with singular $δ^{(n)}$-like driving terms are derived in the framework of an algebra of generalized functions (of Colombeau type) over a field of generalized scalars. Some of the solutions might have physical meaning - such as of the electrical current after lightning or under superconductivity - but do not have counterparts in the theory of Schwartz distributions. What is somewhat unusual (compared with other similar works) is the involvement of infinitely large constants, such as $δ(0)$, in some of the formulas for the solutions. △ Less

Submitted 12 September, 2015; originally announced September 2015.

Comments: 13 pages

MSC Class: 46F30; 44A10; 46F10; 46S10; 46S20 34A12; 34E18; 34A37; 35A08

Journal ref: Novi Sad Journal of Mathematics, Volume 45, Number 1, 2015

Algebraic Approach to Colombeau Theory

Authors: Todor D. Todorov

Abstract: We present a differential algebra of generalized functions over a field of generalized scalars by means of several axioms in terms of general algebra and topology. Our differential algebra is of Colombeau type in the sense that it contains a copy of the space of Schwartz distributions, and the set of regular distributions with $\mathcal C^\infty$-kernels forms a differential subalgebra. We discuss… ▽ More We present a differential algebra of generalized functions over a field of generalized scalars by means of several axioms in terms of general algebra and topology. Our differential algebra is of Colombeau type in the sense that it contains a copy of the space of Schwartz distributions, and the set of regular distributions with $\mathcal C^\infty$-kernels forms a differential subalgebra. We discuss the uniqueness of the field of scalars as well as the consistency and independence of our axioms. This article is written mostly to satisfy the interest of mathematicians and scientists who do not necessarily belong to the \emph{Colombeau community}; that is to say, those who do not necessarily work in the \emph{non-linear theory of generalized functions}. △ Less

Submitted 28 May, 2014; originally announced May 2014.

Comments: 16 pages

MSC Class: Primary: 46F30; Secondary: 46S20; 46S10; 46F10; 03H05; 03C50

Journal ref: San Paulo Journal of Mathematical Sciences, 7 (2013), no. 2, 127-142

Completeness of the Leibniz Field and Rigorousness of Infinitesimal Calculus

Authors: James F. Hall, Todor D. Todorov

Abstract: We present a characterization of the completeness of the field of real numbers in the form of a \emph{collection of ten equivalent statements} borrowed from algebra, real analysis, general topology and non-standard analysis. We also discuss the completeness of non-Archimedean fields and present several examples of such fields. As an application we exploit one of our results to argue that the Leibn… ▽ More We present a characterization of the completeness of the field of real numbers in the form of a \emph{collection of ten equivalent statements} borrowed from algebra, real analysis, general topology and non-standard analysis. We also discuss the completeness of non-Archimedean fields and present several examples of such fields. As an application we exploit one of our results to argue that the Leibniz infinitesimal calculus in the $18^\textrm{th}$ century was already a rigorous branch of mathematics -- at least much more rigorous than most contemporary mathematicians prefer to believe. By advocating our particular historical point of view, we hope to provoke a discussion on the importance of mathematical rigor in mathematics and science in general. We believe that our article will be of interest for those readers who teach courses on abstract algebra, real analysis, general topology, logic and the history of mathematics. △ Less

Submitted 22 August, 2011; originally announced September 2011.

Comments: 32

MSC Class: 03H05 (Primary); 01A50 (Secondary); 03C20; 12J10; 12J15; 12J25; 26A06

Back to Classics: Teaching Limits Through Infinitesimals

Authors: Todor D. Todorov

Abstract: The usual $ε,δ$-definition of the limit of a function (whether presented at a rigorous or an intuitive level) requires a "candidate $L$" for the limit value. Thus, we have to start our first calculus course with "guessing" instead of "calculating". In this paper we criticize the method of using calculators for the purpose of selecting candidates for $L$. We suggest an alternative: a working formul… ▽ More The usual $ε,δ$-definition of the limit of a function (whether presented at a rigorous or an intuitive level) requires a "candidate $L$" for the limit value. Thus, we have to start our first calculus course with "guessing" instead of "calculating". In this paper we criticize the method of using calculators for the purpose of selecting candidates for $L$. We suggest an alternative: a working formula for calculating the limit value L of a real function in terms of infinitesimals. Our formula, if considered as a definition of limit, is equivalent to the usual $ε,δ$-definition but does not involve a candidate $L$ for the limit value. As a result, the Calculus becomes to "calculate" again as it was originally designed to do. △ Less

Submitted 23 August, 2011; originally announced August 2011.

Comments: 26

MSC Class: 03H05; 06A05; 01A50; 01A55; 01A60

Journal ref: International Journal of Mathematical Education in Science and Technology, 2001, vol. 32, no. 1, p. 1-20

Nonstandard Analysis in Topology

Authors: Sergio Salbany, Todor Todorov

Abstract: We present Nonstandard Analysis by three axioms: the {\em Extension, Transfer and Saturation Principles} in the framework of the superstructure of a given infinite set. We also present several applications of this axiomatic approach to point-set topology. Some of the topological topics such as the Hewitt realcompactification and the nonstandard characterization of the sober spaces seem to be new i… ▽ More We present Nonstandard Analysis by three axioms: the {\em Extension, Transfer and Saturation Principles} in the framework of the superstructure of a given infinite set. We also present several applications of this axiomatic approach to point-set topology. Some of the topological topics such as the Hewitt realcompactification and the nonstandard characterization of the sober spaces seem to be new in the literature on nonstandard analysis. Others have already close counterparts but they are presented here with essential simplifications. △ Less

Submitted 17 July, 2011; originally announced July 2011.

Comments: 48 pages

MSC Class: 03H05; 54J05; 54D10; 54D15; 54D30; 54D35; 54D60

Stochastic Homology. Reduction Formulas for Computing Stochastic Betti Numbers of Maximal Random Complexes with Discrete Probabilities. Computation and Applications

Authors: Todor Todorov

Abstract: Given a chain complex with the only modification that each cell of the complex has a probability distribution assigned. We will call this complex - a random complex and what should be understood in practice, is that we have a classical chain complex whose cells appear and disappear according to some probability distributions. In this paper, we will try to find the stochastic homology of random com… ▽ More Given a chain complex with the only modification that each cell of the complex has a probability distribution assigned. We will call this complex - a random complex and what should be understood in practice, is that we have a classical chain complex whose cells appear and disappear according to some probability distributions. In this paper, we will try to find the stochastic homology of random complex, whose simplices have independent discrete distributions. △ Less

Submitted 5 July, 2011; originally announced July 2011.

An axiomatic approach to the non-linear theory of generalized functions and consistency of Laplace transforms

Authors: Todor D. Todorov

Abstract: We offer an axiomatic definition of a differential algebra of generalized functions over an algebraically closed non-Archimedean field. This algebra is of Colombeau type in the sense that it contains a copy of the space of Schwartz distributions. We study the uniqueness of the objects we define and the consistency of our axioms. Next, we identify an inconsistency in the conventional Laplace transf… ▽ More We offer an axiomatic definition of a differential algebra of generalized functions over an algebraically closed non-Archimedean field. This algebra is of Colombeau type in the sense that it contains a copy of the space of Schwartz distributions. We study the uniqueness of the objects we define and the consistency of our axioms. Next, we identify an inconsistency in the conventional Laplace transform theory. As an application we offer a free of contradictions alternative in the framework of our algebra of generalized functions. The article is aimed at mathematicians, physicists and engineers who are interested in the non-linear theory of generalized functions, but who are not necessarily familiar with the original Colombeau theory. We assume, however, some basic familiarity with the Schwartz theory of distributions. △ Less

Submitted 12 September, 2011; v1 submitted 29 January, 2011; originally announced January 2011.

Comments: 23 pages

MSC Class: Primary 46F30. Secondary: 44A10; 46S10; 46F10; 12J15; 12J25; 16W60

Journal ref: Integral Transforms and Special Functions, Volume 22, Issue 9, 2011, Pages 695-708

Another Proof of the Existence a Dedekind Complete Totally Ordered Field

Authors: James F. Hall, Todor D. Todorov

Abstract: We describe the Dedekind cuts explicitly in terms of non-standard rational numbers. This leads to another construction of a Dedekind complete totally ordered field or, equivalently, to another proof of the consistency of the axioms of the real numbers. We believe that our construction is simpler and shorter than the classical Dedekind construction and Cantor construction of such fields assuming so… ▽ More We describe the Dedekind cuts explicitly in terms of non-standard rational numbers. This leads to another construction of a Dedekind complete totally ordered field or, equivalently, to another proof of the consistency of the axioms of the real numbers. We believe that our construction is simpler and shorter than the classical Dedekind construction and Cantor construction of such fields assuming some basic familiarity with non-standard analysis. △ Less

Submitted 20 January, 2011; originally announced January 2011.

Comments: 5 pages

MSC Class: 06A05; 03H05; 12J15

Lecture Notes: Non-Standard Approach to J.F. Colombeau's Theory of Generalized Function: University of Vienna, Austria, May 2006

Authors: Todor D. Todorov

Abstract: In these lecture notes we present an introduction to non-standard analysis especially written for the community of mathematicians, physicists and engineers who do research on J. F. Colombeau' theory of new generalized functions and its applications. The main purpose of our non-standard approach to Colombeau' theory is the improvement of the properties of the scalars of the varieties of spaces of g… ▽ More In these lecture notes we present an introduction to non-standard analysis especially written for the community of mathematicians, physicists and engineers who do research on J. F. Colombeau' theory of new generalized functions and its applications. The main purpose of our non-standard approach to Colombeau' theory is the improvement of the properties of the scalars of the varieties of spaces of generalized functions: in our non-standard approach the sets of scalars of the functional spaces always form algebraically closed non-archimedean Cantor complete fields. In contrast, the scalars of the functional spaces in Colombeau's theory are rings with zero divisors. The improvement of the scalars leads to other improvements and simplifications of Colombeau's theory such as reducing the number of quantifiers and possibilities for an axiomatization of the theory. Some of the algebras we construct in these notes have already counterparts in Colombeau's theory, other seems to be without counterpart. We present applications of the theory to PDE and mathematical physics. Although our approach is directed mostly to Colombeau's community, the readers who are already familiar with non-standard methods might also find a short and comfortable way to learn about Colombeau's theory: a new branch of functional analysis which naturally generalizes the Schwartz theory of distributions with numerous applications to partial differential equations, differential geometry, relativity theory and other areas of mathematics and physics. △ Less

Submitted 18 October, 2010; originally announced October 2010.

Comments: 70 pages

MSC Class: Primary: 46F30; Secondary: 46S20; 46S10; 46F10; 03H05; 03C50

An axiomatic approach to non-linear theory of generalized functions

Authors: Todor D. Todorov

Abstract: We offer an axiomatic definition of a differential algebra of generalized functions over an algebraically closed non-Archimedean field. This algebra is of {\em Colombeau type} in the sense that it contains a copy of the space of Schwartz distributions. We study the uniqueness of the objects we define and the consistency of our axioms. The article is aimed at mathematicians and physicists who are i… ▽ More We offer an axiomatic definition of a differential algebra of generalized functions over an algebraically closed non-Archimedean field. This algebra is of {\em Colombeau type} in the sense that it contains a copy of the space of Schwartz distributions. We study the uniqueness of the objects we define and the consistency of our axioms. The article is aimed at mathematicians and physicists who are interested in the non-linear theory of generalized functions, but who are not necessarily familiar with the original Colombeau theory. We assume, however, some basic familiarity with the Schwartz theory of distributions. △ Less

Submitted 13 September, 2011; v1 submitted 13 July, 2010; originally announced July 2010.

Comments: I, Todor Todorov, withdrew this paper because the last two sections are missing. Please, see the paper "An axiomatic approach to non-linear theory of generalized functions and consistency of Laplace transform"

MSC Class: Primary 46F30. Secondary: 46S10; 46F10; 12J15; 12J25; 16W60

A Lost Theorem: Definite Integrals in Asymptotic Setting

Authors: Ray Cavalcante, Todor D. Todorov

Abstract: We present a simple yet rigorous theory of integration that is based on two axioms rather than on a construction involving Riemann sums. With several examples we demonstrate how to set up integrals in applications of calculus without using Riemann sums. In our axiomatic approach even the proof of the existence of the definite integral (which does use Riemann sums) becomes slightly more elegant t… ▽ More We present a simple yet rigorous theory of integration that is based on two axioms rather than on a construction involving Riemann sums. With several examples we demonstrate how to set up integrals in applications of calculus without using Riemann sums. In our axiomatic approach even the proof of the existence of the definite integral (which does use Riemann sums) becomes slightly more elegant than the conventional one. We also discuss an interesting connection between our approach and the history of calculus. The article is written for readers who teach calculus and its applications. It might be accessible to students under a teacher's supervision and suitable for senior projects on calculus, real analysis, or history of mathematics. △ Less

Submitted 19 April, 2008; originally announced April 2008.

MSC Class: 28A75; 28A99; 34E05; 26E35

Journal ref: The American Mathematical Monthly, Volume 115, Number 1, January 2008

Exponentiating $2\times2$ and $3\times3$ Matrices Done Right

Authors: Angel P. Popov, Todor D. Todorov

Abstract: We derive explicit formulas for calculating $e^A$, $\cosh{A}$, $\sinh{A}, \cos{A}$ and $\sin{A}$ for a given $2\times2$ matrix $A$. We also derive explicit formulas for $e^A$ for a given $3\times3$ matrix $A$. These formulas are expressed exclusively in terms of the characteristic roots of $A$ and involve neither the eigenvectors of $A$, nor the transition matrix associated with a particular can… ▽ More We derive explicit formulas for calculating $e^A$, $\cosh{A}$, $\sinh{A}, \cos{A}$ and $\sin{A}$ for a given $2\times2$ matrix $A$. We also derive explicit formulas for $e^A$ for a given $3\times3$ matrix $A$. These formulas are expressed exclusively in terms of the characteristic roots of $A$ and involve neither the eigenvectors of $A$, nor the transition matrix associated with a particular canonical basis. We believe that our method has advantages (especially if applied by non-mathematicians or students) over the more conventional methods based on the choice of canonical bases. We support this point with several examples for solving first order linear systems of ordinary differential equations with constant coefficients. △ Less

Submitted 17 December, 2007; originally announced December 2007.

Comments: 17 pages

MSC Class: 15A21; 15A18; 34A30

Full Algebra of Generalized Functions and Non-Standard Asymptotic Analysis

Authors: Todor D. Todorov, Hans Vernaeve

Abstract: We construct an algebra of generalized functions endowed with a canonical embedding of the space of Schwartz distributions. We offer a solution to the problem of multiplication of Schwartz distributions similar to but different from Colombeau's solution. We show that the set of scalars of our algebra is an algebraically closed field unlike its counterpart in Colombeau theory, which is a ring wit… ▽ More We construct an algebra of generalized functions endowed with a canonical embedding of the space of Schwartz distributions. We offer a solution to the problem of multiplication of Schwartz distributions similar to but different from Colombeau's solution. We show that the set of scalars of our algebra is an algebraically closed field unlike its counterpart in Colombeau theory, which is a ring with zero divisors. We prove a Hahn-Banach extension principle which does not hold in Colombeau theory. We establish a connection between our theory with non-standard analysis and thus answer, although indirectly, a question raised by J.F. Colombeau. This article provides a bridge between Colombeau theory of generalized functions and non-standard analysis. △ Less

Submitted 16 December, 2007; originally announced December 2007.

Comments: 29 pages

MSC Class: 46F30; 46S20; 03H05; 46S10; 46F10

Journal ref: Logic and Analysis, Vol. 1, Issue 3, 2008.

Nonstandard Analysis in Topology: Nonstandard and Standard Compactifications

Authors: Sergio Salbany, Todor Todorov

Abstract: \begin{abstrac} Let $(X,T) $ be a topological space, and $^{*}X$ a non--standard extension of $X$. There is a natural ``standard'' topology $^{S}T$ on $^{*}X$ generated by $^{*}G$, where $G\in T$. The topological space $(^{*}X,^{S}T) $ will be used to study compactifications of $(X,T)$ in a systematic way. \begin{abstrac} Let $(X,T) $ be a topological space, and $^{*}X$ a non--standard extension of $X$. There is a natural ``standard'' topology $^{S}T$ on $^{*}X$ generated by $^{*}G$, where $G\in T$. The topological space $(^{*}X,^{S}T) $ will be used to study compactifications of $(X,T)$ in a systematic way. △ Less

Submitted 30 January, 2006; originally announced January 2006.

Comments: 5 pages

MSC Class: 03C90; 03H05; 54J05; 54D35; 54D60

Journal ref: Journal of Symbolic Logic, Vol. 65, Number 4, Dec. 2000

Pointwise Values and Fundamental Theorem in the Algebra of Asymptotic Functions

Authors: Todor D. Todorov

Abstract: We show that the algebra of asymptotic functions $^ρ\mathcal{E}(Ω)$ (introduced in another paper by the author of this article jointly with M. Oberguggenberger) is isomorphic to a class of pointwise functions in the field of A. Robinson asymptotic numbers $^ρ\mathbb{C}$. Since the algebra $^ρ\mathcal{E}(Ω)$, contains a copy of the Schwartz distributions $\mathcal{D}^\prime(Ω)$, it follows that e… ▽ More We show that the algebra of asymptotic functions $^ρ\mathcal{E}(Ω)$ (introduced in another paper by the author of this article jointly with M. Oberguggenberger) is isomorphic to a class of pointwise functions in the field of A. Robinson asymptotic numbers $^ρ\mathbb{C}$. Since the algebra $^ρ\mathcal{E}(Ω)$, contains a copy of the Schwartz distributions $\mathcal{D}^\prime(Ω)$, it follows that every Schwartz distribution is a pointwise function in the field $^ρ\mathbb{C}$. The class of asymptotic functions $^ρ\mathcal{E}(Ω)$ is an algebra of generalized functions of Colombeau's type. The field of the constants of this algebra (the functions with zero gradient) coincides with Robinson field $^ρ\mathbb{C}$.The expected applications are to PDE with variable, possibly discontinuous, coefficients and non-linear PDE with singularities. △ Less

Submitted 30 January, 2006; originally announced January 2006.

Comments: 15 pages

MSC Class: 46F30; 03H05; 12J25; 46F10; 46S20

Journal ref: Chapman & Hall/CRC Research Notes in Mathematics, 401, 1999, p. 369-383.

Hahn Field Representation of A. Robinson's Asymptotic Numbers

Authors: Todor Todorov, Robert Wolf

Abstract: Let $^*\mathbb{R}$ be a nonstandard extension of $\mathbb{R}$ and $ρ$ be a positive infinitesimal in $^*\mathbb{R}$. We show how to create a variety of isomorphisms between A. Robinson's field of asymptotic numbers $^ρ\mathbb{R}$ and the Hahn field $\hat{^ρ\mathbb{R}}(t^\mathbb{R})$, where $\hat{^ρ\mathbb{R}}$ is the residue class field of $^ρ\mathbb{R}$. Then, assuming that $^*\mathbb{R}$ is fu… ▽ More Let $^*\mathbb{R}$ be a nonstandard extension of $\mathbb{R}$ and $ρ$ be a positive infinitesimal in $^*\mathbb{R}$. We show how to create a variety of isomorphisms between A. Robinson's field of asymptotic numbers $^ρ\mathbb{R}$ and the Hahn field $\hat{^ρ\mathbb{R}}(t^\mathbb{R})$, where $\hat{^ρ\mathbb{R}}$ is the residue class field of $^ρ\mathbb{R}$. Then, assuming that $^*\mathbb{R}$ is fully saturated we show that $\hat{^ρ\mathbb{R}}$ is isomorphic to $^*\mathbb{R}$ and so $^ρ\mathbb{R}$ contains a copy of $^*\mathbb{R}$. As a consequence (that is important for applications in non-linear theory of generalized functions) we show that every two fields of asymptotic numbers corresponding to different scales are isomorphic. △ Less

Submitted 30 January, 2006; originally announced January 2006.

Comments: 18 pages

MSC Class: 03H05; 06A05; 12J10; 12J25; 13A18; 16W60

Journal ref: Nonlinear Algebraic Analysis and Applications (ICGF 2000), 2004 CSP, p.357-374.

Existence and uniqueness of $v$-asymptotic expantions and Colombeau's generalized numbers

Authors: Todor D. Todorov

Abstract: We define a type of generalized asymptotic series called $v$-asymptotic. We show that every function with moderate growth at infinity has a $v$-asymptotic expansion. We also describe the set of $v$-asymptotic series, where a given function with moderate growth has a unique $v$-asymptotic expansion. As an application to random matrix theory we calculate the coefficients and establish the uniquene… ▽ More We define a type of generalized asymptotic series called $v$-asymptotic. We show that every function with moderate growth at infinity has a $v$-asymptotic expansion. We also describe the set of $v$-asymptotic series, where a given function with moderate growth has a unique $v$-asymptotic expansion. As an application to random matrix theory we calculate the coefficients and establish the uniqueness of the $v$-asymptotic expansion of an integral with a large parameter. As another application (with significance in the non-linear theory of generalized functions) we show that every Colombeau's generalized number has a $v$-asymptotic expansion. A similar result follows for Colombeau's generalized functions, in particular, for all Schwartz distributions. △ Less

Submitted 30 January, 2006; originally announced January 2006.

Comments: 19 pages

MSC Class: 30B10; 34E05; 35D05; 41A60; 40A30; 46F30

Journal ref: Journal of Mathematical Analysis and Applications, Vol. 312, Issue 1, 2005, p. 261-279.

Chiral zero modes of the SU(n) Wess-Zumino-Novikov-Witten model

Authors: P. Furlan, L. K. Hadjiivanov, I. T. Todorov

Abstract: We define the chiral zero modes' phase space of the G=SU(n) Wess-Zumino-Novikov-Witten model as an (n-1)(n+2)-dimensional manifold M_q equipped with a symplectic form involving a special 2-form - the Wess-Zumino (WZ) term - which depends on the monodromy M. This classical system exhibits a Poisson-Lie symmetry that evolves upon quantization into an U_q(sl_n) symmetry for q a primitive even root… ▽ More We define the chiral zero modes' phase space of the G=SU(n) Wess-Zumino-Novikov-Witten model as an (n-1)(n+2)-dimensional manifold M_q equipped with a symplectic form involving a special 2-form - the Wess-Zumino (WZ) term - which depends on the monodromy M. This classical system exhibits a Poisson-Lie symmetry that evolves upon quantization into an U_q(sl_n) symmetry for q a primitive even root of 1. For each constant solution of the classical Yang-Baxter equation we write down explicitly a corresponding WZ term and invert the symplectic form thus computing the Poisson bivector of the system. The resulting Poisson brackets appear as the classical counterpart of the exchange relations of the quantum matrix algebra studied previously. We argue that it is advantageous to equate the determinant D of the zero modes' matrix to a pseudoinvariant under permutations q-polynomial in the SU(n) weights, rather than to adopt the familiar convention D=1. △ Less

Submitted 3 February, 2003; v1 submitted 17 November, 2002; originally announced November 2002.

Comments: 30 pages, LaTeX, uses amsfonts; v.2 - small corrections, Appendix and a reference added; v.3 - amended version for J. Phys. A

Report number: ESI 1242

Journal ref: J.Phys.A36:3855-3876,2003

Two-dimensional conformal field theory and beyond. Lessons from a continuing fashion

Authors: I. T. Todorov

Abstract: Two-dimensional conformal field theory (CFT) has several sources: the search for simple examples of quantum field theory, the description of surface critical phenomena, the study of (super)string vacua. In the present overview of the subject we emphasize the role of CFT in bridging the gap between mathematics and quantum field theory and discuss some new physical concepts that emerged in the stu… ▽ More Two-dimensional conformal field theory (CFT) has several sources: the search for simple examples of quantum field theory, the description of surface critical phenomena, the study of (super)string vacua. In the present overview of the subject we emphasize the role of CFT in bridging the gap between mathematics and quantum field theory and discuss some new physical concepts that emerged in the study of CFT models: anomalous dimensions, rational CFT, braid group statistics. In an aside, at the end of the paper, we share the misgivings, recently expressed by Penrose, about some dominant trends in fundamental theoretical physics. △ Less

Submitted 10 November, 2000; originally announced November 2000.

Comments: 11 pages, LATEX

Report number: ILAS 1/FM/2000

Journal ref: Bulg.J.Phys.27N1:47-56,2000

Rationality of conformally invariant local correlation functions on compactified Minkowski space

Authors: Nikolay M. Nikolov, Ivan T. Todorov

Abstract: Rationality of the Wightman functions is proven to follow from energy positivity, locality and a natural condition of global conformal invariance (GCI) in any number D of space-time dimensions. The GCI condition allows to treat correlation functions as generalized sections of a vector bundle over the compactification of Minkowski space and yields a strong form of locality valid for all non-isotr… ▽ More Rationality of the Wightman functions is proven to follow from energy positivity, locality and a natural condition of global conformal invariance (GCI) in any number D of space-time dimensions. The GCI condition allows to treat correlation functions as generalized sections of a vector bundle over the compactification of Minkowski space and yields a strong form of locality valid for all non-isotropic intervals if assumed true for space-like separations. △ Less

Submitted 23 October, 2000; v1 submitted 1 September, 2000; originally announced September 2000.

Comments: 20 pages, LATEX, amsfonts, latexsym

Journal ref: Commun.Math.Phys. 218 (2001) 417-436

Regular basis and R-matrices for the su(n)_k Knizhnik-Zamolodchikov equation

Authors: L. K. Hadjiivanov, Ya. S. Stanev, I. T. Todorov

Abstract: Dynamical R-matrix relations are derived for the group-valued chiral vertex operators in the SU(n) WZNW model from the KZ equation for a general four-point function including two step operators. They fit the exchange relations for the U_q(sl_n) covariant quantum matrix derived previously by solving the dynamical Yang-Baxter equation. As a byproduct, we extend the regular basis introduced earlier… ▽ More Dynamical R-matrix relations are derived for the group-valued chiral vertex operators in the SU(n) WZNW model from the KZ equation for a general four-point function including two step operators. They fit the exchange relations for the U_q(sl_n) covariant quantum matrix derived previously by solving the dynamical Yang-Baxter equation. As a byproduct, we extend the regular basis introduced earlier for SU(2) chiral fields to SU(n) step operators and display the corresponding triangular matrix representation of the braid group. △ Less

Submitted 20 April, 2001; v1 submitted 24 July, 2000; originally announced July 2000.

Comments: 19 pages, LATEX, amsfonts, amssymb; v.3 with a few corrections

Journal ref: Lett.Math.Phys. 54 (2000) 137-155

Quantum matrix algebra for the SU(n) WZNW model

Authors: P. Furlan, L. K. Hadjiivanov, A. P. Isaev, O. V. Ogievetsky, P. N. Pyatov, I. T. Todorov

Abstract: The zero modes of the chiral SU(n) WZNW model give rise to an intertwining quantum matrix algebra A generated by an n x n matrix a=(a^i_α) (with noncommuting entries) and by rational functions of n commuting elements q^{p_i}. We study a generalization of the Fock space (F) representation of A for generic q (q not a root of unity) and demonstrate that it gives rise to a model of the quantum unive… ▽ More The zero modes of the chiral SU(n) WZNW model give rise to an intertwining quantum matrix algebra A generated by an n x n matrix a=(a^i_α) (with noncommuting entries) and by rational functions of n commuting elements q^{p_i}. We study a generalization of the Fock space (F) representation of A for generic q (q not a root of unity) and demonstrate that it gives rise to a model of the quantum universal enveloping algebra U_q(sl_n), each irreducible representation entering F with multiplicity 1. For an integer level k the complex parameter q is an even root of unity, q^h=-1 (h=k+n) and the algebra A has an ideal I_h such that the factor algebra A_h = A/I_h is finite dimensional. △ Less

Submitted 1 April, 2003; v1 submitted 23 March, 2000; originally announced March 2000.

Comments: 48 pages, LaTeX, uses amsfonts; final version to appear in J. Phys. A

Report number: IHES/P/00/11

Journal ref: J.Phys.A36:5497-5530,2003

A Finite Dimensional Gauge Problem in the WZNW Model

Authors: M. Dubois-Violette, P. Furlan, L. K. Hadjiivanov, A. P. Isaev, P. N. Pyatov, I. T. Todorov

Abstract: The left and right zero modes of the level k SU(n) WZNW model give rise to a pair of isomorphic (left and right) mutually commuting quantum matrix algebras. For a deformation parameter q being an even (2h-th, h = k + n) root of unity each of these matrix algebras admits an ideal such that the corresponding factor algebra is finite dimensional. The structure of superselection sectors of the (diag… ▽ More The left and right zero modes of the level k SU(n) WZNW model give rise to a pair of isomorphic (left and right) mutually commuting quantum matrix algebras. For a deformation parameter q being an even (2h-th, h = k + n) root of unity each of these matrix algebras admits an ideal such that the corresponding factor algebra is finite dimensional. The structure of superselection sectors of the (diagonal) 2D WZNW model is then reduced to a finite dimensional problem of a gauge theory type. For n=2 this problem is solved using a generalized BRS formalism. △ Less

Submitted 26 October, 1999; originally announced October 1999.

Comments: 20 pages, LATEX. Talk presented by I.T. Todorov at the International symposium "Quantum Theory and Symmetries"' 18-22 July 1999, Goslar, Germany

Report number: L.P.T.-ORSAY 99-73, ESI 778

Generalized homologies for the zero modes of the SU(2) WZNW model

Authors: Michel Dubois-Violette, Ivan T. Todorov

Abstract: We generalize the BRS method for the (finite-dimensional) quantum gauge theory involved in the zero modes of the monodromy extended SU(2) WZNW model. The generalization consists of a nilpotent operator Q such that $Q^h=0$ ($h=k+2=2,3,...$ being the height of the current algebra representation) acting on an extended state space. The physical subquotient is identified with the direct sum… ▽ More We generalize the BRS method for the (finite-dimensional) quantum gauge theory involved in the zero modes of the monodromy extended SU(2) WZNW model. The generalization consists of a nilpotent operator Q such that $Q^h=0$ ($h=k+2=2,3,...$ being the height of the current algebra representation) acting on an extended state space. The physical subquotient is identified with the direct sum $\oplusinf^{h-1}_{n=1}\ker(Q^n)/\im(Q^{h-n})$. △ Less

Submitted 12 May, 1999; originally announced May 1999.

Comments: 24 pages, AMSLaTeX, available at http://qcd.th.u-psud.fr

Report number: LPT-ORSAY 99-13

Journal ref: Lett.Math.Phys. 48 (1999) 323-338

Hecke algebraic properties of dynamical R-matrices. Application to related quantum matrix algebras

Authors: L. K. Hadjiivanov, A. P. Isaev, O. V. Ogievetsky, P. N. Pyatov, I. T. Todorov

Abstract: The quantum dynamical Yang-Baxter (or Gervais-Neveu-Felder) equation defines an R-matrix R(p), where $p$ stands for a set of mutually commuting variables. A family of SL(n)-type solutions of this equation provides a new realization of the Hecke algebra. We define quantum antisymmetrizers, introduce the notion of quantum determinant and compute the inverse quantum matrix for matrix algebras of th… ▽ More The quantum dynamical Yang-Baxter (or Gervais-Neveu-Felder) equation defines an R-matrix R(p), where $p$ stands for a set of mutually commuting variables. A family of SL(n)-type solutions of this equation provides a new realization of the Hecke algebra. We define quantum antisymmetrizers, introduce the notion of quantum determinant and compute the inverse quantum matrix for matrix algebras of the type R(p) a_1 a_2 = a_1 a_2 R. It is pointed out that such a quantum matrix algebra arises in the operator realization of the chiral zero modes of the WZNW model. △ Less

Submitted 10 December, 1997; originally announced December 1997.

Comments: 28 pages, LaTeX

Report number: Preprint IC/97/201 (ICTP), CPT-97/P.3570 (Marseille), E2-97-370 (Dubna)

Journal ref: J.Math.Phys. 40 (1999) 427-448

Generalized cohomologies and the physical subspace of the $SU(2)$ WZNW model

Authors: Michel Dubois-Violette, Ivan T. Todorov

Abstract: The zero modes of the monodromy extended SU(2) WZNW model give rise to a gauge theory with a finite dimensional state space. A generalized BRS operator $A$ such that $A^h=0 (h=k+2=3,4,...$ being the height of the current algebra representation) acts in a (2h-1)-dimensional indefinite metric space $H_I$ of quantum group invariant vectors. The generalized cohomologies… ▽ More The zero modes of the monodromy extended SU(2) WZNW model give rise to a gauge theory with a finite dimensional state space. A generalized BRS operator $A$ such that $A^h=0 (h=k+2=3,4,...$ being the height of the current algebra representation) acts in a (2h-1)-dimensional indefinite metric space $H_I$ of quantum group invariant vectors. The generalized cohomologies $Ker A^n/ Im A^{h-n} (n=1,..., h-1)$ are 1-dimensional. Their direct sum spans the physical subquotient of $H_I$. △ Less

Submitted 9 April, 1997; originally announced April 1997.

Comments: 12 pages, Latex2e, available at http://qcd.th.u-psud.fr

Report number: LPTHE-ORSAY 97-08, BLTP-JINR, Dubna E2-97-113

Journal ref: Lett.Math.Phys. 42 (1997) 183-192

A Quantum Gauge Group Approach to the 2D SU(n) WZNW Model

Authors: Paolo Furlan, Ludmil K. Hadjiivanov, Ivan T. Todorov

Abstract: The canonical quantization of the WZNW model provides a complete set of exchange relations in the enlarged chiral state spaces that include the Gauss components of the monodromy matrices. Regarded as new dynamical variables, the elements of the latter cannot be identified -- they satisfy different exchange relations. Accordingly, the two dimensional theory expressed in terms of the left and righ… ▽ More The canonical quantization of the WZNW model provides a complete set of exchange relations in the enlarged chiral state spaces that include the Gauss components of the monodromy matrices. Regarded as new dynamical variables, the elements of the latter cannot be identified -- they satisfy different exchange relations. Accordingly, the two dimensional theory expressed in terms of the left and right movers' fields does not automatically respect monodromy invariance. Continuing our recent analysis of the problem by gauge theory methods we conclude that physical states (on which the two dimensional field acts as a single valued operator) are invariant under the (permuted) coproduct of the left and right $U_q(sl(n))$. They satisfy additional constraints fully described for n=2. △ Less

Submitted 7 March, 1997; v1 submitted 25 October, 1996; originally announced October 1996.

Comments: 10 pages, LATEX (Proposition 4.2 corrected, one reference added)

Journal ref: Int.J.Mod.Phys.A12:23-32,1997