DOCSLIB.ORG

Algebraic Analysis

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Algebraic Analysis ALGEBRAIC ANALYSIS AND RELATED TOPICS nnoindentBANACHALGEBRAIC CENTER PUBLICATIONS ANALYSIS AND comma RELATED VOLUME TOPICS 5 3 INSTITUTE OF MATHEMATICS nnoindentPOLISH ACADEMYBANACH CENTER OF SCIENCES PUBLICATIONS , VOLUME 5 3 WARSZAWA 2 0 0 n centerlineTWO .. CENTURIESfALGEBRAICINSTITUTE .. ANALYSIS OF OF THE MATHEMATICS AND TERM RELATED TOPICSg quotedblleftBANACH ALGEBRAIC CENTER ANALYSIS PUBLICATIONS quotedblright , VOLUME 5 3 n centerlineDANUTA PRZfPOLISH EWORSKA ACADEMY hyphen OF ROLEWICZ SCIENCESINSTITUTEg OF MATHEMATICS Institute of Mathematics comma Polish AcademyPOLISH ACADEMYof Sciences OF SCIENCES n centerlineS-acute niadeckichfWARSZAWA 8 comma 2 0 0 hyphen0 g 950 WarszawaWARSZAWA comma 2 Poland 0 0 e hyphen mail : rolewicz atTWO impan period CENTURIES gov period pl OF THE TERM n centerlineAbstract periodfTWO Thenquad termCENTURIES quotedblleft\ ALGEBRAIC Algebraicnquad OF Analysis THE TERM ANALYSISquotedblrightg in " the last two decades is used in two com- pletely DANUTA PRZ EWORSKA - ROLEWICZ n centerlinedifferent sensesf ` ` period ALGEBRAIC It seems ANALYSIS thatInstitute at least of Mathematics ' one' g is far away , Polish from Academy its historical of Sciences roots period Thus comma in order to ´ explain this misunderstanding commaS theniadeckich history 8 of , 0this - 950 term Warszawa from its , originsPoland is recalled period n centerlineThe term quotedblleftfDANUTA PRZ Analyse EWORSKA Alg acute-ee− -ROLEWICZ mail brique : rolewicz quotedblrightg @ impan . open gov . parenthesis pl quotedblleft Algebraic Analysis quotedblright closingAbstract parenthesis . The in termthe last \ Algebraic two decades Analysis is used " in the last two decades is used in two completely n centerlinein two completelyfdifferentInstitute different senses . of senses It seems Mathematics period that atIt seemsleast , one Polishthat is far at least away Academy one from is its far of historical away Sciences from roots its .g historical Thus , in order to roots periodexplain Thus comma this misunderstanding in order to explain , the history this misunderstanding of this term from comma its origins I would is recalled like . to recall the history n centerlineof this termf from$Then itsacute term origins \fS Analyseg period$ niadeckichAlge ´ brique " ( 8 \ Algebraic , 0 − 950 Analysis Warszawa " ) in the , lastPoland two decadesg is used The term quotedblleftin two completely Algebraic different Analysis senses quotedblright . It seems was that initially at least used one by is farLagrange away from two hundred its historical years ago n centerlinein the title offrootse his− . bookmail Thus open , : in rolewicz orderparenthesis to explain cf $@$ period this misunderstanding .. impan References . gov comma . , I pl would ..g open like square to recall bracket the history 1 797 hyphen of 1 8 1 3 closing square bracketthis term closing from parenthesis its origins . in order to point out that most of Abstractresults have . The beenThe term obtained term `` \ byAlgebraic Algebraic algebraic Analysis operations Analysis " was on initially analytic '' in used the quantities by last Lagrange period two two decades .. As hundred we shall is years used ago in in two completely differentsee later commathe senses title in that of . hisIt general book seems and ( cf that common . References at sense least this, one name [ 1 797is wasfar - used 1 8 away 1 in 3 the ] ) from in1 9 order th its and to 20 historicalpoint th out that roots . Thus , in order to explaincentury period thismost misunderstanding of results have been obtained , the by historyalgebraic ofoperations this term on analytic from its quantities origins . As is we recalled . To begin withshall comma see later weshould , in that explain general what and is common meant by sense Algebraic this name Analysis was used at present in the 1 open 9 th parenthesis and 20 th cf period TheEncyclopaedia term ``century Analyse of Mathematics . Alg $ commanacute openfeg square$ brique bracket 1 '' 997 ( closing `` Algebraic square bracket Analysis closing parenthesis '' ) in period the last two decades is used inThe two main completely idea ofTo Algebraic begin different with Analysis , we shouldsenses in its present explain . It comma what seems is more meant that strict by at Algebraic comma least sense Analysis one derives is at far frompresent away the ( cf from . its historical rootsfact that . Thus theEncyclopaedia differential , in order operator of Mathematics to D explain = d divided, [ this 1 997 by d ] misunderstanding ) t . is right invertible in ,several I would function like spaces to period recall the history ofFoundations this term of AlgebraicfromThe main its Analysis idea origins of Algebraic are the. following Analysis : in Let its L present open parenthesis , more strict X , closing sense derives parenthesis from be the the set of all d linear fact that the differential operator D = dt is right invertible in several function spaces . Theoperators term `` with Algebraic domainsFoundations and Analysis ranges of Algebraic in a linear '' was Analysis space initially X are open the parenthesis following used by :in Let generalLagrangeL(X comma) be twothe without set hundred of all any linear topology years closingago parenthesisin the titleoperators of his with book domains ( cf and . rangesnquad inReferences a linear space X , (n inquad general[ 1 , without 797 − any1 8 topology 1 3 ] ) ) in order to point out that most of results have been obtained by algebraic operations on analytic quantities . nquad As we s h a l l over a field Fover of scalarsa field F withof scalars characteristic with characteristic zero and let zero L sub and 0 letopenL0 parenthesis(X) = fA 2 XL closing(X) : dom parenthesisA = = open brace Asee in L lateropen parenthesisX ,g in: thatLet XR closing(X general) be parenthesis the setand of common all : dom right A invertible sense = this operators name in wasL(X) used: Let inD 2 theR(X 1): 9 thLet and 20 th X closing braceRD period⊂ L0(X ....) be Let the R set open of allparenthesis right inverses X closing for D; parenthesisi . e : DR be= theI( set identity of all operator right invertible ) if operators in nnoindent century . d R t L open parenthesisR 2 X RD closing( i . e parenthesis . the periodLeibniz .... - Let Newton D in formulaR open parenthesisholds : d Xt closinga f(s parenthesis)ds = f(t) for period all .... Let R sub D subsetfunctions L subf 0 open parenthesis X closing parenthesis be the set of all right inverses for D comma i period e periodn hspace DR∗fn = Iffrom openi l l gTo theparenthesis space begin under identity with consideration , operator we should closing ) . explainMoreover parenthesis , what dom if D is= RX meant⊕ ker byD: AlgebraicFor all R; R Analysis0 2 at present ( cf . R in R sub D open parenthesis i period e period .... the Leibniz hyphen Newton formula holds : d divided by d t integralnnoindent sub aEncyclopaedia to the power of t f of open Mathematics parenthesis s closing , [ 1 parenthesis 997 ] ) ds . = f open parenthesis t closing parenthesis for all functions f n hspacefrom the∗fn spacef i l l undergThe consideration main idea closing of Algebraic parenthesis Analysis period .... Moreover in its commapresent dom , D more = RX strict oplus ker , D sense period derives from the .... For all R comma R to2000 the powerMathematics of prime Subject in Classification : 1 - 0 , 1 A 55 , 1 A 60 , 0 A 20 . nnoindenthline factKey words that and the phrases differential: algebraic analysis operator , right invertible $ D = operatorn f r a , c operationalf d gf d calculus t g .$ The is right invertible in several function spaces . 2000 Mathematicspaper is Subject in final formClassification and no version : 1 hyphen of it will 0 commabe published 1 A 55 elsewhere comma . 1 A 60 comma 0 A 20 period n hspaceKey words∗fn f and i l l phrasesg Foundations : algebraic of analysis Algebraic comma rightAnalysis invertible are operator the following comma operational : Let calculus $ L period ( X ) $ [47] beThe the paper set is of in finalall form linear and no version of it will be published elsewhere period open square bracket 47 closing square bracket nnoindent operators with domains and ranges in a linear space $ X ( $ in general , without any topology ) nnoindent over a field $ F $ of scalars with characteristic zero and let $ L f 0 g ( X ) = nf A n in L ( X ) :$dom$A =$ nnoindent $ X ng . $ n h f i l l Let $R ( X ) $ be the set of all right invertible operators in $ L ( X ) . $ n h f i l l Let $ D n in R ( X ) . $ n h f i l l Let nnoindent $ R f D g nsubset L f 0 g ( X ) $ be the set of all right inverses for $D ,$ i .e $. DR = I ($ identityoperator)if nnoindent $ R n in R f D g ( $ i . e . n h f i l l the Leibniz − Newton formula holds $ : n f r a c f d gf d t g n int ^f t g f a g f ( s ) ds = f ( t )$ forallfunctions $ f $ nnoindent from the space under consideration ) . n h f i l l Moreover , dom $D = RX noplus $ ker $ D . $ n h f i l l Forall $R , R^f nprime g n in $ n begin f a l i g n ∗g n r u l e f3emgf0.4 pt g nendf a l i g n ∗g n centerline f2000 Mathematics Subject Classification : 1 − 0 ,1A55 ,1A60 ,0A20 . g nnoindent Key words and phrases : algebraic analysis , right invertible operator , operational calculus . The paper is in final form and no version of it will be published elsewhere . n [ [ 47 ] n ] 48 .. D period PRZEWORSKA hyphen ROLEWICZ nnoindentR sub D comma48 nquad x in XD comma . PRZEWORSKA Rx minus R− toROLEWICZ the power of prime x in ker D comma i period e period the difference of two primitives of x is a constant period Let nnoindentF sub D = open$ R bracef D Fg in L, sub x 0 openn in parenthesisX , X closing Rx parenthesis− R ^f : n Fprime to theg powerx of 2n in = F$ semicolon ker $ FX D =, kernel $ i D .
Load more

Recommended publications
  • Algebraic Analysis of Rotation Data
    11 : 2 2020 Algebraic Statistics ALGEBRAIC ANALYSIS OF ROTATION DATA MICHAEL F. ADAMER, ANDRÁS C. LORINCZ˝ , ANNA-LAURA SATTELBERGER AND BERND STURMFELS msp Algebraic Statistics Vol. 11, No. 2, 2020 https://doi.org/10.2140/astat.2020.11.189 msp ALGEBRAIC ANALYSIS OF ROTATION DATA MICHAEL F. ADAMER, ANDRÁS C. LORINCZ˝ , ANNA-LAURA SATTELBERGER AND BERND STURMFELS We develop algebraic tools for statistical inference from samples of rotation matrices. This rests on the theory of D-modules in algebraic analysis. Noncommutative Gröbner bases are used to design numerical algorithms for maximum likelihood estimation, building on the holonomic gradient method of Sei, Shibata, Takemura, Ohara, and Takayama. We study the Fisher model for sampling from rotation matrices, and we apply our algorithms to data from the applied sciences. On the theoretical side, we generalize the underlying equivariant D-modules from SO.3/ to arbitrary Lie groups. For compact groups, our D-ideals encode the normalizing constant of the Fisher model. 1. Introduction Many of the multivariate functions that arise in statistical inference are holonomic. Being holonomic roughly means that the function is annihilated by a system of linear partial differential operators with polynomial coefficients whose solution space is finite-dimensional. Such a system of PDEs can be written as a left ideal in the Weyl algebra, or D-ideal, for short. This representation allows for the application of algebraic geometry and algebraic analysis, including the use of computational tools, such as Gröbner bases in the Weyl algebra[28; 30]. This important connection between statistics and algebraic analysis was first observed by a group of scholars in Japan, and it led to their development of the holonomic gradient method (HGM) and the holonomic gradient descent (HGD).
    [Show full text]
  • Mikio Sato, a Visionary of Mathematics, Volume 54, Number 2
    Mikio Sato, a Visionary of Mathematics Pierre Schapira Like singularities in mathematics and physics, ideas People were essentially looking for existence propagate, and the speed of propagation depends theorems for linear partial differential equations highly on the energy put into promoting them. (PDE), and most of the proofs were reduced to Mikio Sato did not spend a great deal of time or finding “the right functional space”, to prove some energy popularizing his ideas. We can hope that a priori estimate and apply the Hahn-Banach his receipt of the 2002/2003 Wolf Prize1 will help theorem. make better known his deep work, which is perhaps It was in this environment that Mikio Sato too original to be immediately accepted. Sato does defined hyperfunctions in 1959–1960 as boundary not write a lot, does not communicate easily, and values of holomorphic functions, a discovery that attends very few meetings. But he invented a new allowed him to obtain a position at Tokyo Univer- way of doing analysis, “Algebraic Analysis”, and sity thanks to the clever patronage of Shokichi created a school, “the Kyoto school”. Iyanaga, an exceptionally open-minded person 2 Born in 1928 , Sato became known in mathe- and a great friend of French culture. Next, Sato matics only in 1959–1960 with his theory of spent two years in the USA, in Princeton, where he hyperfunctions. Indeed, his studies had been unsuccessfully tried to convince André Weil of the seriously disrupted by the war, particularly by relevance of his cohomological approach to the bombing of Tokyo. After his family home analysis.
    [Show full text]
  • 27 Oct 2008 Masaki Kashiwara and Algebraic Analysis
    Masaki Kashiwara and Algebraic Analysis Pierre Schapira Abstract This paper is based on a talk given in honor of Masaki Kashiwara’s 60th birthday, Kyoto, June 27, 2007. It is a brief overview of his main contributions in the domain of microlocal and algebraic analysis. It is a great honor to present here some aspects of the work of Masaki Kashiwara. Recall that Masaki’s work covers many fields of mathematics, algebraic and microlocal analysis of course, but also representation theory, Hodge the- ory, integrable systems, quantum groups and so on. Also recall that Masaki had many collaborators, among whom Daniel Barlet, Jean-Luc Brylinski, Et- surio Date, Ryoji Hotta, Michio Jimbo, Seok-Jin Kang, Takahiro Kawai, Tet- suji Miwa, Kiyosato Okamoto, Toshio Oshima, Mikio Sato, myself, Toshiyuki Tanisaki and Mich`ele Vergne. In each of the domain he approached, Masaki has given essential contri- butions and made important discoveries, such as, for example, the existence of crystal bases in quantum groups. But in this talk, I will restrict myself to describe some part of his work related to microlocal and algebraic analysis. The story begins long ago, in the early sixties, when Mikio Sato created a new branch of mathematics now called “Algebraic Analysis”. In 1959/60, arXiv:0810.4875v1 [math.HO] 27 Oct 2008 M. Sato published two papers on hyperfunction theory [24] and then devel- oped his vision of analysis and linear partial differential equations in a series of lectures at Tokyo University (see [1]). If M is a real analytic manifold and X is a complexification of M, hyperfunctions on M are cohomology classes supported by M of the sheaf X of holomorphic functions on X.
    [Show full text]
  • Algebraic Analysis of Differential Equations
    T. Aoki· H. Majima- Y. Takei· N. Tose (Eds.) Algebraic Analysis of Differential Equations from Microlocal Analysis to Exponential Asymptotics Festschrift in Honor of Takahiro Kawai ~ Springer Editors Takashi Aoki Department of Mathematics Kinki University Higashi-Osaka 577-8502, Japan e-mail: [email protected] Hideyuki Majima Department of Mathematics Ochanomizu University Tokyo 112-8610, Japan e-mail: [email protected] Yoshitsugu Takei Research Institute for Mathematical Sciences Kyoto University Kyoto 606-8502, Japan e-mail: [email protected] Nobuyuki Tose Faculty of Economics Keio University Yokohama 223-8521, Japan e-mail: [email protected] Library of Congress Control Number: 2007939560 ISBN 978-4-431-73239-6 Springer Tokyo Berlin Heidelberg New York Springer is a part of Springer Science+Business Media springer.com c Springer 2008 This work is subject to copyright. All rights are reserved, whether the whole or a part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in other ways, and storage in data banks. The use of registered names, trademarks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use. Camera-ready copy prepared from the authors’ LATEXfiles. Printed and bound by Shinano Co. Ltd., Japan. SPIN: 12081080 Printed on acid-free paper Dedicated to Professor Takahiro Kawai on the Occasion of His Sixtieth Birthday Preface This is a collection of articles on algebraic analysis of differential equations and related topics.
    [Show full text]
  • An Introduction to Constructive Algebraic Analysis and Its Applications Alban Quadrat
    An introduction to constructive algebraic analysis and its applications Alban Quadrat To cite this version: Alban Quadrat. An introduction to constructive algebraic analysis and its applications. [Research Report] RR-7354, INRIA. 2010, pp.237. inria-00506104 HAL Id: inria-00506104 https://hal.inria.fr/inria-00506104 Submitted on 27 Jul 2010 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Une introduction à l’analyse algébrique constructive et à ses applications Alban Quadrat N° 7354 July 2010 Algorithms, Certification, and Cryptography apport de recherche ISSN 0249-6399 ISRN INRIA/RR--7354--FR+ENG Une introduction à l’analyse algébrique constructive et à ses applications Alban Quadrat ∗ Theme : Algorithms, Certification, and Cryptography Équipe-Projet AT-SOP Rapport de recherche n° 7354 — July 2010 — 237 pages Résumé : Ce texte est une extension des notes de cours que j’ai préparés pour les Journées Nationales de Calcul Formel qui ont eu lieu au CIRM, Luminy (France) du 3 au 7 Mai 2010. Le but principal de ce cours était d’introduire la communauté française du calcul formel à l’analyse algébrique constructive, et particulièrement à la théorie des D-modules algébriques, à ses applications à la théorie mathématique des systèmes et à ses implantations dans des logiciels de calcul formel tels que Maple ou GAP4.
    [Show full text]
  • Nonlinear Generalized Functions: Their Origin, Some Developments and Recent Advances
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Cadernos Espinosanos (E-Journal) S~aoPaulo Journal of Mathematical Sciences 7, 2 (2013), 201{239 Nonlinear Generalized Functions: their origin, some developments and recent advances Jean F. Colombeau Institut Fourier, Universit´ede Grenoble (retired) Abstract. We expose some simple facts at the interplay between math- ematics and the real world, putting in evidence mathematical objects " nonlinear generalized functions" that are needed to model the real world, which appear to have been generally neglected up to now by mathematicians. Then we describe how a "nonlinear theory of gen- eralized functions" was obtained inside the Leopoldo Nachbin group of infinite dimensional holomorphy between 1980 and 1985 **. This new theory permits to multiply arbitrary distributions and contains the above mathematical objects, which shows that the features of this theory are natural and unavoidable for a mathematical description of the real world. Finally we present direct applications of the theory such as existence-uniqueness for systems of PDEs without classical so- lutions and calculations of shock waves for systems in non-divergence form done between 1985 and 1995 ***, for which we give three examples of different nature (elasticity, cosmology, multifluid flows). * work done under support of FAPESP, processo 2011/12532-1, and thanks to the hospitality of the IME-USP. ** various supports from Fapesp, Finep and Cnpq between 1978 and 1984. *** support of "Direction des Recherches, Etudes´ et Techniques", Minist`ere de la D´efense,France, between 1985 and 1995. [email protected] 1. Mathematics and the real world.
    [Show full text]
  • Elements of Computer-Algebraic Analysis 2 G
    Operator algebras, partial classification Operator algebras, partial classification More general framework: G-algebras More general framework: G-algebras Recommended literature (textbooks) 1 J. C. McConnell, J. C. Robson, ”Noncommutative Noetherian Rings”, Graduate Studies in Mathematics, 30, AMS (2001) Elements of Computer-Algebraic Analysis 2 G. R. Krause and T. H. Lenagan, ”Growth of Algebras and Gelfand-Kirillov Dimension”, Graduate Studies in Mathematics, 22, AMS (2000) Viktor Levandovskyy 3 S. Saito, B. Sturmfels and N. Takayama, “Gr¨obner Lehrstuhl D f¨urMathematik, RWTH Aachen, Germany Deformations of Hypergeometric Differential Equations”, Springer, 2000 4 J. Bueso, J. G´omez–Torrecillas and A. Verschoren, 22.07. Tutorial at ISSAC 2012, Grenoble, France ”Algorithmic methods in non-commutative algebra. Applications to quantum groups”, Kluwer , 2003 5 H. Kredel, ”Solvable polynomial rings”, Shaker Verlag, 1993 6 H. Li, ”Noncommutative Gr¨obnerbases and filtered-graded transfer”, Springer, 2002 VL Elements of CAAN VL Elements of CAAN Operator algebras, partial classification Operator algebras, partial classification More general framework: G-algebras More general framework: G-algebras Recommended literature (textbooks and PhD theses) Software D-modules and algebraic analysis: 1 V. Ufnarovski, ”Combinatorial and Asymptotic Methods of Algebra”, Springer, Encyclopedia of Mathematical Sciences 57 kan/sm1 by N. Takayama et al. (1995) D-modules package in Macaulay2 by A. Leykin and H. Tsai 2 F. Chyzak, ”Fonctions holonomes en calcul formel”, Risa/Asir by M. Noro et al. PhD. Thesis, INRIA, 1998 OreModules package suite for Maple by D. Robertz, 3 V. Levandovskyy, ”Non-commutative Computer Algebra for A. Quadrat et al. polynomial algebras: Gr¨obner bases, applications and Singular:Plural with a D-module suite; by V.
    [Show full text]
  • Nonlinear Generalized Functions: Their Origin, Some Developments and Recent Advances
    Nonlinear Generalized Functions: their origin, some developments and recent advances J.F. Colombeau*, Institut Fourier, Universit´ede Grenoble (retired). Abstract We expose some simple facts at the interplay between mathemat- ics and the real world, putting in evidence mathematical objects " nonlinear generalized functions" that are needed to model the real world, which appear to have been generally neglected up to now by mathematicians. Then we describe how a "nonlinear theory of gen- eralized functions" was obtained inside the Leopoldo Nachbin group of infinite dimensional holomorphy between 1980 and 1985 **. This new theory permits to multiply arbitrary distributions and contains the above mathematical objects, which shows that the features of this theory are natural and unavoidable for a mathematical description of the real world. Finally we present direct applications of the theory such as existence-uniqueness for systems of PDEs without classical so- lutions and calculations of shock waves for systems in non-divergence form done between 1985 and 1995 ***, for which we give three exam- ples of different nature (elasticity, cosmology, multifluid flows). * work done under support of FAPESP, processo 2011/12532-1, and thanks to the hospitality of the IME-USP. ** various supports from Fapesp, Finep and Cnpq between 1978 and 1984. *** support of "Direction des Recherches, Etudes´ et Techniques", Minist`ere de la D´efense,France, between 1985 and 1995. arXiv:1401.4755v1 [math.FA] 19 Jan 2014 [email protected] 1. Mathematics and the real world. Let H be the Heaviside function. It is a function equal to 0 if x < 0, to 1 if x > 0 and not defined if x = 0.
    [Show full text]
  • Kashiwara's Masters Thesis
    MÉMOIRES DE LA S. M. F. MASAKI KASHIWARA Algebraic study of systems of partial differential equations. (Master’s thesis, Tokyo University, December 1970. Translated by Andrea D’Agnolo and Pierre Schneiders. With a foreword by Pierre Schapira) Mémoires de la S. M. F. 2e série, tome 63 (1995), p. I-XIV+1-72. <http://www.numdam.org/item?id=MSMF_1995_2_63__R1_0> © Mémoires de la S. M. F., 1995, tous droits réservés. L’accès aux archives de la revue « Mémoires de la S. M. F. » (http://smf. emath.fr/Publications/Memoires/Presentation.html), implique l’accord avec les conditions générales d’utilisation (http://www.numdam.org/legal.php). Toute uti- lisation commerciale ou impression systématique est constitutive d’une in- fraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright. Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques http://www.numdam.org/ Societe Mathematique de France Memoire 63 Supplement au Bulletin de la S.M.F. Tome 123, 1995, fascicule 4 Algebraic Study of Systems of Partial Differential Equations (Master's Thesis, Tokyo University, December 1970) Masaki KASHIWARA Translated by Andrea D'AGNOLO and Jean-Pierre SCHNEIDERS Abstract - This Memoire is a translation of M. Kashiwara's thesis. In this pio- neering work, the author initiates the study of systems of linear partial differen- tial equations with analytic coefficients from the point of view of modules over the ring V of differential operators. Following some preliminaries on good filtrations and non-commutative localization, the author introduces the notion of character- istic variety and of multiplicity of a P-module.
    [Show full text]
  • Some Highlights in the Development of Algebraic Analysis
    ALGEBRAIC ANALYSIS AND RELATED TOPICS BANACH CENTER PUBLICATIONS, VOLUME 53 INSTITUTE OF MATHEMATICS POLISH ACADEMY OF SCIENCES WARSZAWA 2000 SOME HIGHLIGHTS IN THE DEVELOPMENT OF ALGEBRAIC ANALYSIS JOHN A. SYNOWIEC Department of Mathematics, Indiana University The Northwest Campus, 3400 Broadway Gary, Indiana 46408-1197, U.S.A. E-mail: [email protected] The term \algebraic analysis" has had, and continues to have, various meanings re- flecting several different areas of study and approaches for over 200 years. The current definition, as given by Professor Przeworska-Rolewicz [1988], is: algebraic analysis is the theory of right invertible operators in linear spaces, in general without topology. As she points out in her encyclopedia article [1997], an essential distinction between algebraic analysis and operational calculus is that in the former, the notion of convolution is not necessary, there is no need for a field structure, and right inverses and initial operators are not commutative. Here, the discussion will be very wide-ranging, in order to include many meanings of the term algebraic analysis. In addition to work which actually uses the term, we will briefly consider what it should, or might, mean. That is, algebraic analysis will be taken to mean the study of analysis using algebraic methods either exclusively, or at least, predominantly. This paper is to be viewed as a work mainly of synthesis, rather than of new explo- ration. The work of many historians of mathematics will be cited. Of special note are the works of Bottazzini [1986], Deakin [1981, 1982], Grabiner [1981, 1990], Grattan-Guinness [1994], and L¨utzen[1979]; also, Davis [1936], although not a historical work, has much historical information.1 1.
    [Show full text]
  • Regularity, Local and Microlocal Analysis in Theories of Generalized Functions Jean-André Marti
    Regularity, Local and Microlocal Analysis in Theories of Generalized Functions Jean-André Marti To cite this version: Jean-André Marti. Regularity, Local and Microlocal Analysis in Theories of Generalized Functions. 2007. hal-00190006 HAL Id: hal-00190006 https://hal.archives-ouvertes.fr/hal-00190006 Preprint submitted on 22 Nov 2007 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Regularity, Local and Microlocal Analysis in Theories of Generalized Functions Jean-Andr´eMarti Equipe Analyse Alg´ebrique Non Lin´eaire-Laboratoire G T S I Universit´eAntilles-Guyane November 23, 2007 Abstract We introduce a general context involving a presheaf A and a subpresheaf B of A. We show that all previously considered cases of local analysis of generalized functions (defined from duality or algebraic techniques) can be interpretated as the B-local analysis of sections of A. But the microlocal analysis of the sections of sheaves or presheaves under consideration is dissociated into a ”frequential microlocal analysis ” and into a ”microlocal asymptotic anal- ysis”. The frequential microlocal analysis based on the Fourier transform leads to the study of propagation of singularities under only linear (including pseudodifferential) operators in the theories described here, but has been extended to some non linear cases in classical the- ories involving Sobolev techniques.
    [Show full text]
  • Algebraic Study of Systems of Partial Differential Equations Mémoires De La S
    MÉMOIRES DE LA S. M. F. MASAKI KASHIWARA Algebraic study of systems of partial differential equations Mémoires de la S. M. F. 2e série, tome 63 (1995) <http://www.numdam.org/item?id=MSMF_1995_2_63__R1_0> © Mémoires de la S. M. F., 1995, tous droits réservés. L’accès aux archives de la revue « Mémoires de la S. M. F. » (http://smf. emath.fr/Publications/Memoires/Presentation.html) implique l’accord avec les conditions générales d’utilisation (http://www.numdam.org/conditions). Toute utilisation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright. Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques http://www.numdam.org/ Societe Mathematique de France Memoire 63 Supplement au Bulletin de la S.M.F. Tome 123, 1995, fascicule 4 Algebraic Study of Systems of Partial Differential Equations (Master's Thesis, Tokyo University, December 1970) Masaki KASHIWARA Translated by Andrea D'AGNOLO and Jean-Pierre SCHNEIDERS Abstract - This Memoire is a translation of M. Kashiwara's thesis. In this pio- neering work, the author initiates the study of systems of linear partial differen- tial equations with analytic coefficients from the point of view of modules over the ring V of differential operators. Following some preliminaries on good filtrations and non-commutative localization, the author introduces the notion of character- istic variety and of multiplicity of a P-module. Then he shows that the classical Cauchy-Kovalevskaya theorem may be generalized as a formula for the solutions of non-characteristic inverse images of D-modules.
    [Show full text]