In 1948, Richard Feynman published the first paper on his new approach to non-relativistic quantum mechanics. Before Feynman's work there were two mathematical formulations of quantum mechanics. Schrödinger's formulation was based on PDE (the Schrödinger equation) and states representation by wave functions, so it was in the framework of analysis and differential equations. The other formulation was Heisenberg's matrix algebra. Initially, they were thought to be competing. The proponents of one claimed that the other was “ wrong. ” Within a couple of years, John von Neumann had proved that they are equivalent. Although Feynman's theory was not fundamentally new, it nonetheless offered an entirely fresh and different perspective: via a precise formulation of Bohr's correspondence principle, it made quantum mechanics similar to classical mechanics in a precise sense. In addition, Feynman's approach made it possible to explain physical experiments, and, via diagrams, link them directly to computations. What resulted was a very powerful device for computing energies and scattering amplitudes - the famous Feynman's diagrams. In his formulation, Feynman aimed at representing the solution to the non-relativistic Schrödinger equation in the form of an “ average ” over histories or paths of a particle. This solution is commonly known as the Feynman path integral. It plays an important role in the theory but appears as a postulate based on intuition coming from physics rather than a justified mathematical object. This is why Feynman's vision has caught the attention of many mathematicians as well as physicists. The papers of Gelfand, Cameron, and Nelson are among the first, and more substantial, attempts to supply Feynman's theory with a rigorous mathematical foundation. These attempts were followed by many others, but unfortunately all of them were not quite satisfactory. The difficulty comes from a need to define a measure on an infinite-dimensional space of continuous functions that represent all possible paths of a particle. This Feynman's measure has to produce an integral with the properties requested by Feynman. In particular, the expression for the Feynman measure has to involve the non-absolutely integrable Fresnel integrands. The non-absolute integrability of the Fresnel integrands makes the measure fail to be positive and to have the countably additive property. Thus, a well-defined measure in the case of the Feynman path integral does not exist. Extensive research has been done on the methods of relating the Feynman path integral to the integral with respect to the Wiener measure. The method of analytic continuation in mass defines the Feynman path integral as a certain limit of the Wiener integrals. Unfortunately, this method can be used as definition for only almost all values of the mass parameter in the Schrödinger equation. For physicists, this is not a satisfactory result and needs to be improved. In this work we examine those questions which originally led to the Feynman path integral. By now we know that Feynman's “ dream ” cannot be realized as a positive and countably additive measure on the path-space. Here, we offer a new way out by modifying Feynman's question, and thereby achieving a solution to the Schrödinger equation via a different kind of averages in the path-space. We give our version of the question that Feynman “ should have asked ” in order to realize the elusive path integral. In our formulation, we get a Feynman path integral as a limit of linear functionals, as opposed to the more familiar inductive limits of positive measures, traditionally used for constructing the Wiener measure, and related Gaussian families. We adapt here an approach pioneered by Patrick Muldowney. In it, Muldowney suggested a Henstock integration technique in order to deal with the non-absolute integrability of the kind of Fresnel integrals which we need in our solution to Feynman's question. By applying Henstock's theory to Fresnel integrals, we construct a complex-valued “ probability distribution functions ” on the path-space. Then we use this “ probability ” distribution function to define the Feynman path integral as an inductive limit. This establishes a mathematically rigorous Feynman limit, and at the same time, preserves Feynman's intuitive idea in resulting functional. In addition, our definition, and our solution, do not place any restrictions on any of the parameters in the Schrödinger equation, and have a potential to offer useful computational experiments, and other theoretical insights.

In calculus the concept of an infinite derivative – i.e. DF(x) = ±∞ – is seldom studied due to a plethora of complications that arise from this definition. For instance, in this extended sense, algebraic expressions involving derivatives are generally undefined; and two continuous functions possessing identical derivatives at every point of an interval generally differ by a non-constant function. These problems are fundamentally irremediable insofar as calculus is concerned and must therefore be addressed in a more general setting. This is quite difficult since the literature on infinite derivatives is rather sparse and seldom accessible to non-specialists. Therefore we supply a self-contained thesis on continuous functions with infinite derivatives aimed at graduate students with a background in real analysis and measure theory.  Predominately we study continuous primitives which satisfy the Luzin condition (N) by establishing a deep connection with the strong Luzin condition – a weak form of absolute continuity which has its origins in the Henstock–Kurzweil theory of integration. The main result states that a function satisfies the strong Luzin condition if and only if it can be expressed as a sum of two such primitives. Furthermore, we establish some pathological properties of continuous primitives which fail to satisfy the Luzin condition (N).

Title: Nonabsolutely convergent integrals Author: Krist'yna Kuncov'a Department: Department of Mathematical Analysis Supervisor: prof. RNDr. Jan Mal'y, DrSc., Department of Mathematical Analysis Abstract: In this thesis we develop the theory of nonabsolutely convergent Hen- stock-Kurzweil type packing integrals in different spaces. In the framework of metric spaces we define the packing integral and the uniformly controlled inte- gral of a function with respect to metric distributions. Applying the theory to the notion of currents we then prove a generalization of the Stokes theorem. In Rn we introduce the packing R and R∗ integrals, which are defined as charges - additive functionals on sets of bounded variation. We provide comparison with miscellaneous types of integrals such as R and R∗ integral in Rn or MCα integral in R. On the real line we then study a scale of integrals based on the so called p-oscillation. We show that our indefinite integrals are a.e. approximately differ- entiable and we give comparison with other nonabsolutely convergent integrals. Keywords: Nonabsolutely convergent integrals, BV sets, Henstock-Kurzweil in- tegral, Divergence theorem, Analysis in metric measure spaces 1

No description available.

In this work, our goal is to prove results on prolongation of solutions, uniform boundedness of solutions, uniform stability as well uniform asymptotic stability (in the classical sense of Lyapunov) for measure differential equations and for dynamic equations on time scales. In order to get our results, we employ the theory of generalized ODEs, since these equations encompass measure differential equations and dynamic equations on time scales. Therefore, to get our results, we start by proving the expected result for abstract generalized ODEs. Then, using the correspondence between the solutions of these equations and the solutions of measure differential equations (see [38]), we extend all the results to these the latter. After that, using the correspondence between the solutions of measure differential equations and the solutions of dynamic equations on time scales (see [21]), we extend all the results to these last equations. Finally, we investigate autonomous generalized ODEs and show that these equations do not enlarge the class of classical autonomous ODEs, even when we consider a more general class of functions as right-hand sides. All the new results presented in this work are contained in papers [16, 17, 18, 19]. / Neste trabalho, nosso objetivo e provar resultados sobre prolongamento de soluções, limitação uniforme de soluções, estabilidade uniforme e estabilidade uniforme assintótica (no sentido clássico de Lyapunov) para equações diferenciais em medida e para equações dinâmicas em escalas temporais. A fim de obter os nossos resultados, empregamos a teoria de EDOs generalizadas, uma vez que estas equações abrangem equações diferenciais em medida e equações dinâmicas em escalas temporais. Portanto, para obter nossos resultados, vamos começar por provar, os resultados que queremos para EDOs generalizadas abstratas. Em seguida, usando a correspondência entre as soluções de EDOs generalizadas e soluções de equações diferenciais em medida (ver [38]), estenderemos os resultados para estas ultimas equações. Depois disso, usando a correspondência entre as soluções de equações diferenciais em medida e as soluções de equações dinâmicas em escalas temporais (ver [21]), estenderemos todos os resultados para estas ultimas equações. Finalmente, investigamos EDOs generalizadas autônomas e mostramos que estas equações não aumentam a classe de EDOs autônomas clássicas, mesmo quando consideramos uma classe mais geral de funções nos lados direitos das equações. Os novos resultados encontrados estão contidos em [16, 17, 18, 19].

In this work, our goal is to prove results on prolongation of solutions, uniform boundedness of solutions, uniform stability as well uniform asymptotic stability (in the classical sense of Lyapunov) for measure differential equations and for dynamic equations on time scales. In order to get our results, we employ the theory of generalized ODEs, since these equations encompass measure differential equations and dynamic equations on time scales. Therefore, to get our results, we start by proving the expected result for abstract generalized ODEs. Then, using the correspondence between the solutions of these equations and the solutions of measure differential equations (see [38]), we extend all the results to these the latter. After that, using the correspondence between the solutions of measure differential equations and the solutions of dynamic equations on time scales (see [21]), we extend all the results to these last equations. Finally, we investigate autonomous generalized ODEs and show that these equations do not enlarge the class of classical autonomous ODEs, even when we consider a more general class of functions as right-hand sides. All the new results presented in this work are contained in papers [16, 17, 18, 19]. / Neste trabalho, nosso objetivo e provar resultados sobre prolongamento de soluções, limitação uniforme de soluções, estabilidade uniforme e estabilidade uniforme assintótica (no sentido clássico de Lyapunov) para equações diferenciais em medida e para equações dinâmicas em escalas temporais. A fim de obter os nossos resultados, empregamos a teoria de EDOs generalizadas, uma vez que estas equações abrangem equações diferenciais em medida e equações dinâmicas em escalas temporais. Portanto, para obter nossos resultados, vamos começar por provar, os resultados que queremos para EDOs generalizadas abstratas. Em seguida, usando a correspondência entre as soluções de EDOs generalizadas e soluções de equações diferenciais em medida (ver [38]), estenderemos os resultados para estas ultimas equações. Depois disso, usando a correspondência entre as soluções de equações diferenciais em medida e as soluções de equações dinâmicas em escalas temporais (ver [21]), estenderemos todos os resultados para estas ultimas equações. Finalmente, investigamos EDOs generalizadas autônomas e mostramos que estas equações não aumentam a classe de EDOs autônomas clássicas, mesmo quando consideramos uma classe mais geral de funções nos lados direitos das equações. Os novos resultados encontrados estão contidos em [16, 17, 18, 19].

Since the time of Cauchy, integration theory has in the main been an attempt to regain the Eden of Newton. In that idyllic time [. . . ] derivatives and integrals were [. . . ] different aspects of the same thing. -Peter Bullen, as quoted in [24] The theory of integration has gone through many changes in the past centuries and, in particular, there has been a tension between the Riemann and the Lebesgue approach to integration. Riemann's definition is often the first integral to be introduced in undergraduate studies, while Lebesgue's integral is more powerful but also more complicated and its methods are often postponed until graduate or advanced undergraduate studies. The integral presented in this paper is due to the work of Ralph Henstock and Jaroslav Kurzweil. By a simple exchange of the criterion for integrability in Riemann's definition a powerful integral with many properties of the Lebesgue integral was found. Further, the generalized Riemann integral expands the class of integrable functions with respect to Lebesgue integrals, while there is a characterization of the Lebesgue integral in terms of absolute integrability. As this definition expands the class of functions beyond absolutely integrable functions, some theorems become more cumbersome to prove in contrast to elegant results in Lebesgue's theory and some important properties in composition are lost. Further, it is not as easily abstracted as the Lebesgue integral. Therefore, the generalized Riemann integral should be thought of as a complement to Lebesgue's definition and not as a replacement. / Ända sedan Cauchys tid har integrationsteori i huvudsak varit ett försök att åter finna Newtons Eden. Under den idylliska perioden [. . . ] var derivator och integraler [. . . ] olika sidor av samma mynt.-Peter Bullen, citerad i [24] Under de senaste århundradena har integrationsteori genomgått många förändringar och framförallt har det funnits en spänning mellan Riemanns och Lebesgues respektive angreppssätt till integration. Riemanns definition är ofta den första integral som möter en student pa grundutbildningen, medan Lebesgues integral är kraftfullare. Eftersom Lebesgues definition är mer komplicerad introduceras den först i forskarutbildnings- eller avancerade grundutbildningskurser. Integralen som framställs i det här examensarbetet utvecklades av Ralph Henstock och Jaroslav Kurzweil. Genom att på ett enkelt sätt ändra kriteriet for integrerbarhet i Riemanns definition finner vi en kraftfull integral med många av Lebesgueintegralens egenskaper. Vidare utvidgar den generaliserade Riemannintegralen klassen av integrerbara funktioner i jämförelse med Lebesgueintegralen, medan vi samtidigt erhåller en karaktärisering av Lebesgueintegralen i termer av absolutintegrerbarhet. Eftersom klassen av generaliserat Riemannintegrerbara funktioner är större än de absolutintegrerbara funktionerna blir vissa satser mer omständiga att bevisa i jämforelse med eleganta resultat i Lebesgues teori. Därtill förloras vissa viktiga egenskaper vid sammansättning av funktioner och även möjligheten till abstraktion försvåras. Integralen ska alltså ses som ett komplement till Lebesgues definition och inte en ersättning.

Since the introduction of the Riemann integral in the middle of the nineteenth century, integration theory has been subject to significant breakthroughs on a relatively frequent basis. We have now reached a point where integration theory has been thoroughly researched to a point where one has to delve quite deep into a particular subject in order to encounter open conjectures. In education the Riemann integral has for quite some time been the standard integral in elementary analysis courses and as the complexity of these courses incrementally increase the more general Lebesgue integral eventually becomes the standard integral.  Unfortunately, in the transition from the Riemann integral to the Lebesgue integral there are certain topics of pure theoretical interest which to a certain extent are neglected. This is particularly the case for topics regarding the inverse relationship between differential and integral calculus and the integration of exceedingly complicated functions which for example might be of a highly oscillatory nature. From an applied mathematician's point of view, the partial neglection of these topics in the case of highly problematic functions might be justified in the sense that this theory is unnecessary for modeling most problems that appear in nature. From a theoretician's point of view however this negligence is unacceptable. Consequently, there are alternative integrals which give rise to theories which one can use in an attempt to study these aforementioned topics. An example of such an integral is the Henstock–Kurzweil integral, which can be developed in a rather similar manner to that of the Riemann integral.  In this thesis we will develop the Henstock–Kurzweil integral in order to answer some of the questions which to a certain extent are beyond the scope of the Lebesgue integral while using rather basic proof techniques from complex analysis and measure theory. In addition to that we extended various properties of the Lebesgue integral to the Henstock–Kurzweil integral, in particular when it comes to Lebesgue's fundamental theorem of calculus and the basic convergence theorems of the Lebesgue integral.