<?xml version="1.0" encoding="utf-8"?>
<TEI xmlns="http://www.tei-c.org/ns/1.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hal="http://hal.archives-ouvertes.fr/" xmlns:gml="http://www.opengis.net/gml/3.3/" xmlns:gmlce="http://www.opengis.net/gml/3.3/ce" version="1.1" xsi:schemaLocation="http://www.tei-c.org/ns/1.0 http://api.archives-ouvertes.fr/documents/aofr-sword.xsd">
  <teiHeader>
    <fileDesc>
      <titleStmt>
        <title>HAL TEI export of tel-04160127</title>
      </titleStmt>
      <publicationStmt>
        <distributor>CCSD</distributor>
        <availability status="restricted">
          <licence target="https://creativecommons.org/publicdomain/zero/1.0/">CC0 1.0 - Universal</licence>
        </availability>
        <date when="2026-05-04T12:39:08+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Cauchy uniqueness for analytic or C∞ partial differential equations. Necessary and sufficient conditions</title>
            <title xml:lang="fr">Unicité de Cauchy pour les équations aux dérivées partielles analytiques ou C∞. Conditions nécessaires et conditions suffisantes</title>
            <author role="aut">
              <persName>
                <forename type="first">Xavier</forename>
                <surname>Saint Raymond</surname>
              </persName>
              <idno type="halauthorid">2859998-0</idno>
              <affiliation ref="#struct-92966"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Franck</forename>
                <surname>Pierron</surname>
              </persName>
              <email type="md5">52d2fc6b7ca1cf28b5553287fefac82c</email>
              <email type="domain">universite-paris-saclay.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2023-07-12 11:37:06</date>
              <date type="whenModified">2024-03-28 09:50:02</date>
              <date type="whenReleased">2023-07-19 16:15:34</date>
              <date type="whenProduced">1986-04-28</date>
              <date type="whenEndEmbargoed">2023-07-12</date>
              <ref type="file" target="https://theses.hal.science/tel-04160127v1/document">
                <date notBefore="2023-07-12"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://theses.hal.science/tel-04160127v1/file/BJHTUP11_1986__0195__P0_0.pdf" id="file-4160127-3622572">
                <date notBefore="2023-07-12"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="147726">
                <persName>
                  <forename>Franck</forename>
                  <surname>Pierron</surname>
                </persName>
                <email type="md5">52d2fc6b7ca1cf28b5553287fefac82c</email>
                <email type="domain">universite-paris-saclay.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">tel-04160127</idno>
            <idno type="halUri">https://theses.hal.science/tel-04160127</idno>
            <idno type="halBibtex">saintraymond:tel-04160127</idno>
            <idno type="halRefHtml">Mathématiques [math]. Université Paris-Sud, 1986. Français. &lt;a target="_blank" href="https://www.theses.fr/"&gt;&amp;#x27E8;NNT : &amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">Mathématiques [math]. Université Paris-Sud, 1986. Français. &amp;#x27E8;NNT : &amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-4160127-3622572"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UNIV-PSUD">Université Paris Sud - Paris XI</idno>
            <idno type="stamp" n="LM-ORSAY">Laboratoire de Mathématiques d'Orsay</idno>
            <idno type="stamp" n="UNIV-PARIS-SACLAY">Université Paris-Saclay</idno>
            <idno type="stamp" n="UNIV-PSUD-SACLAY" corresp="UNIV-PARIS-SACLAY">Université Paris Sud pour Paris Saclay</idno>
            <idno type="stamp" n="GS-MATHEMATIQUES">Graduate School Mathématiques</idno>
            <idno type="stamp" n="LM-ORSAY-THESES-NUM">Thèses numérisées du Laboratoire de Mathématiques d'Orsay</idno>
          </seriesStmt>
          <notesStmt/>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Cauchy uniqueness for analytic or C∞ partial differential equations. Necessary and sufficient conditions</title>
                <title xml:lang="fr">Unicité de Cauchy pour les équations aux dérivées partielles analytiques ou C∞. Conditions nécessaires et conditions suffisantes</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Xavier</forename>
                    <surname>Saint Raymond</surname>
                  </persName>
                  <idno type="halauthorid">2859998-0</idno>
                  <affiliation ref="#struct-92966"/>
                </author>
              </analytic>
              <monogr>
                <idno type="localRef">BJHTUP11_1986__0195</idno>
                <imprint>
                  <date type="dateDefended">1986-04-28</date>
                </imprint>
                <authority type="institution">Université Paris-Sud</authority>
                <authority type="supervisor">Serge Alinhac</authority>
                <authority type="jury">Jean-Michel Bony</authority>
                <authority type="jury">D.H. Phong</authority>
                <authority type="jury">Serge Alinhac</authority>
                <authority type="jury">Guy Métivier</authority>
                <authority type="jury">Claude Zuily</authority>
                <authority type="jury">Jacques Peyrière</authority>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="fr">French</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">principally normal operators</term>
                <term xml:lang="en">pseudo-convexity</term>
                <term xml:lang="en">uniqueness</term>
                <term xml:lang="en">Cauchy problem</term>
                <term xml:lang="en">partial differential equations</term>
                <term xml:lang="fr">pseudo-convexité</term>
                <term xml:lang="fr">opérateurs principalement normaux</term>
                <term xml:lang="fr">unicité</term>
                <term xml:lang="fr">problème de Cauchy</term>
                <term xml:lang="fr">équations aux dérivées partielles</term>
              </keywords>
              <classCode scheme="halDomain" n="math">Mathematics [math]</classCode>
              <classCode scheme="halTypology" n="THESE">Theses</classCode>
              <classCode scheme="halOldTypology" n="THESE">Theses</classCode>
              <classCode scheme="halTreeTypology" n="THESE">Theses</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>Necessary conditions and sufficient conditions for the uniqueness in the Cauchy problem are given here in the case of analytic or C∞ partial differential equations. For an equation (E) near  x_0 ∈ R^n and a time function, we attempt to characterize the following property : for any pair  u_1,u_2 of solutions of (E), u_1 = u_2 in the past implies  u_1 = u_2 in the future (locally :  u_1 and u_2 are germs at x_0).We bring up a detailed study of first order linear equations where structure conditions, suggested by the definition of Hörmander's principally normal operators, are discussed, and results extending Hörmander's notion of pseudo-convexity for different classes of linear equations : characteristic analytic equations (in that framework, nonlinear first-order equations are also treated), first order (C∞) equations, second order equations of real principal type, prin­cipally normal equations of biprincipal type. In the proofs, our tools are traditional Carleman inequalities and geome­trical optics mixed with analytic Cauchy problem techniques and ideas from other domains of analysis.</p>
            </abstract>
            <abstract xml:lang="fr">
              <p>Nous donnons dans cette thèse des conditions nécessaires et des conditions suffisantes pour l'unicité de la solution du problème de Cauchy dans le cas d'équations aux dérivées partielles analytiques ou C∞. Etant données une équation (E) près de x_0 ∈ R^n et une fonction temps, nous cherchons à caractériser la propriété suivante : pour toute paire u_1,u_2 de solutions de (E), u_1 = u_2 dans le passé implique u_1 = u_2 dans le futur (localement : u_1 et u_2 sont des germes en x_0).Outre une étude détaillée des équations linéaires du premier ordre pour lesquelles nous discutons les conditions de structure suggérées par la définition des opérateurs principalement normaux de Hörmander, nous présentons des résultats étendant la notion de pseudo-convexité de Hörmander pour différentes classes d'équations linéaires : équations analytiques caractéristiques (dans ce cadre, nous étudions aussi l'équation non-linéaire du premier ordre), équations (C∞) du premier ordre, équations du deuxième ordre du type principal réel, équations principalement normales de type biprincipal.Aux méthodes traditionnelles que sont les inégalités de Carleman et l'optique géométrique, nous avons joint dans nos démonstrations des techniques issues du problème de Cauchy analytique ainsi que des idées provenant d'autres domaines de l'analyse.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="institution" xml:id="struct-92966" status="OLD">
          <idno type="ROR">https://ror.org/028rypz17</idno>
          <orgName>Université Paris-Sud - Paris 11</orgName>
          <orgName type="acronym">UP11</orgName>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>Bâtiment 300 - 91405 Orsay cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.u-psud.fr/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>