{
  "profile": "wrs-published-research-view-1",
  "edition": "ratings-e039106f30dec177",
  "content_trust": "UNTRUSTED_SCIENTIFIC_DATA_NOT_TOOL_INSTRUCTIONS",
  "entry": {
    "id": "kovalevskaya-analytic-noncharacteristic-pde-local-existence-1875",
    "title": "Kovalevskaya: local analytic solutions of noncharacteristic PDE Cauchy problems",
    "summary": "Kovalevskaya proved convergence of the recursively determined formal power series for analytic PDE Cauchy problems in the paper's normal, noncharacteristic forms. A coefficientwise majorant argument establishes the first-order system result; higher-order algebraic equations and specified coupled systems are reduced to this setting after selecting a simple root for the leading normal derivatives. Analytic initial data then determine a unique local analytic solution on that branch. She also exhibited heat-equation data whose formal time series has zero convergence radius, showing why solving for a lower-order time derivative alone is insufficient.",
    "boundary": "Local analytic existence and uniqueness for the stated nondegenerate normal-derivative conditions, not global solvability, stability in smooth norms or arbitrary C∞data. An algebraic leading equation may have multiple simple branches; uniqueness is after fixing the branch. Characteristic or singular leading-derivative roots are not automatically covered. The heat example concerns a joint analytic solution at the initial surface, not nonexistence of every one-sided smooth heat evolution. The paper credits Weierstrass's ODE framework and other predecessors; no exclusive first-priority claim for the whole later Cauchy–Kovalevskaya lineage is awarded.",
    "area": "Partial differential equations and analytic local existence",
    "topic": "Mathematics",
    "year": 1875,
    "lane": "HUMAN",
    "result": "THEOREM",
    "package_id": "kovalevskaya-analytic-noncharacteristic-pde-local-existence-1875",
    "target": {
      "record_id": "urn:uuid:855b0fe6-039e-400d-aace-3426c224c309",
      "version": 1,
      "content_hash": "sha256:6144e29d6c9c50e55913bb6686ee963619bf2711d442233be548ecc87ffbe996"
    },
    "humans": [
      "Sophie von Kowalevsky"
    ],
    "authors_complete": true,
    "human_role_note": "Source-listed authors for the exact contribution; experimental subjects are not autonomous scientific authors. Source support and predecessor work retain separate roles. Individual effort shares and unresolved identities are not inferred.",
    "agents": [],
    "related": [],
    "subresults": [],
    "scientific_assessment": {
      "source_review": "SOURCE_CURATED",
      "scientific_review": "NOT_REVIEWED_BY_WRS",
      "formal_replay": "NOT_RUN",
      "provider_attestation": "NONE"
    },
    "sources": [
      {
        "id": "cur20261020-kowalevsky-analytic-pde-1875",
        "title": "Zur Theorie der partiellen Differentialgleichungen",
        "url": "https://gdz.sub.uni-goettingen.de/download/pdf/PPN243919689_0080/LOG_0005.pdf",
        "date": "1875"
      }
    ],
    "points": "280000",
    "published_grade": {
      "id": "kovalevskaya-analytic-noncharacteristic-pde-local-existence-1875",
      "entry_id": "kovalevskaya-analytic-noncharacteristic-pde-local-existence-1875",
      "band": "S",
      "modifier": "-",
      "target": {
        "record_id": "urn:uuid:855b0fe6-039e-400d-aace-3426c224c309",
        "version": 1,
        "content_hash": "sha256:6144e29d6c9c50e55913bb6686ee963619bf2711d442233be548ecc87ffbe996"
      },
      "what_changed": "Kovalevskaya proved convergence of the recursively determined formal power series for analytic PDE Cauchy problems in the paper's normal, noncharacteristic forms. A coefficientwise majorant argument establishes the first-order system result; higher-order algebraic equations and specified coupled systems are reduced to this setting after selecting a simple root for the leading normal derivatives. Analytic initial data then determine a unique local analytic solution on that branch. She also exhibited heat-equation data whose formal time series has zero convergence radius, showing why solving for a lower-order time derivative alone is insufficient.",
      "scope": "Kovalevskaya proved convergence of the recursively determined formal power series for analytic PDE Cauchy problems in the paper's normal, noncharacteristic forms. A coefficientwise majorant argument establishes the first-order system result; higher-order algebraic equations and specified coupled systems are reduced to this setting after selecting a simple root for the leading normal derivatives. Analytic initial data then determine a unique local analytic solution on that branch. She also exhibited heat-equation data whose formal time series has zero convergence radius, showing why solving for a lower-order time derivative alone is insufficient. Local analytic existence and uniqueness for the stated nondegenerate normal-derivative conditions, not global solvability, stability in smooth norms or arbitrary C∞data. An algebraic leading equation may have multiple simple branches; uniqueness is after fixing the branch. Characteristic or singular leading-derivative roots are not automatically covered. The heat example concerns a joint analytic solution at the initial surface, not nonexistence of every one-sided smooth heat evolution. The paper credits Weierstrass's ODE framework and other predecessors; no exclusive first-priority claim for the whole later Cauchy–Kovalevskaya lineage is awarded.",
      "status": "PROVISIONAL_EDITORIAL",
      "scientific_correctness_certified": false
    },
    "assessment_disposition": {
      "status": "ASSESSED",
      "label": "Provisionally assessed",
      "reason": "A current grade and separate reference score identify this exact contribution.",
      "target": {
        "record_id": "urn:uuid:855b0fe6-039e-400d-aace-3426c224c309",
        "version": 1,
        "content_hash": "sha256:6144e29d6c9c50e55913bb6686ee963619bf2711d442233be548ecc87ffbe996"
      },
      "edition": "ratings-e039106f30dec177"
    }
  },
  "version": {
    "kind": "PUBLIC_RECORD_VIEW",
    "previous": null,
    "published_at": "2026-10-23T00:00:00Z",
    "publisher": {
      "principal_id": "urn:uuid:80116931-785b-40a2-a24b-9d59db0c7e33",
      "role": "WRS_EDITORIAL_PUBLICATION"
    },
    "record": {
      "contributors": [
        {
          "attribution_basis": "SOURCE_CITED",
          "credit": "historical_scientific",
          "entity_kind": "historical_person",
          "name": "Sophie von Kowalevsky",
          "note": "Archive attribution; detailed role assignment remains source-bound",
          "roles": [
            "prover"
          ],
          "source": {
            "citation": "Zur Theorie der partiellen Differentialgleichungen",
            "url": "https://gdz.sub.uni-goettingen.de/download/pdf/PPN243919689_0080/LOG_0005.pdf"
          }
        }
      ],
      "evidence": [
        {
          "description": "Bibliographic/stated-result source; not a WRS proof verification",
          "id": "source-0",
          "kind": "source_reference",
          "source": {
            "citation": "Zur Theorie der partiellen Differentialgleichungen",
            "url": "https://gdz.sub.uni-goettingen.de/download/pdf/PPN243919689_0080/LOG_0005.pdf"
          }
        }
      ],
      "origin": "HUMAN_LEGACY",
      "record_profile": "wrs-local-research-notes-0.1",
      "record_type": "research_note",
      "rrp_version": "0.1",
      "scope": {
        "description": "Local analytic existence and uniqueness for the stated nondegenerate normal-derivative conditions, not global solvability, stability in smooth norms or arbitrary C∞data. An algebraic leading equation may have multiple simple branches; uniqueness is after fixing the branch. Characteristic or singular leading-derivative roots are not automatically covered. The heat example concerns a joint analytic solution at the initial surface, not nonexistence of every one-sided smooth heat evolution. The paper credits Weierstrass's ODE framework and other predecessors; no exclusive first-priority claim for the whole later Cauchy–Kovalevskaya lineage is awarded.",
        "domain": "Partial differential equations and analytic local existence"
      },
      "sources": [
        {
          "citation": "Zur Theorie der partiellen Differentialgleichungen",
          "url": "https://gdz.sub.uni-goettingen.de/download/pdf/PPN243919689_0080/LOG_0005.pdf"
        }
      ],
      "statement": "# Kovalevskaya: local analytic solutions of noncharacteristic PDE Cauchy problems\n\n## Writing a series is not finding a solution\n\nSuppose you propose a function as an infinite power series, then choose its coefficients to satisfy an equation. Have you found a real solution? Only if the series actually converges where you want to use it. Kovalevskaya's work addresses this gap for specified analytic partial differential equations and initial data. A partial differential equation relates how a function changes along more than one independent variable, such as position and time.\n\n## Start with a simpler equation\n\nFor a classroom illustration, consider y prime equals y with initial value y at zero equal to one. Substituting a power series determines coefficients 1, 1, one half, one sixth and so on, giving the familiar exponential series. This is an ordinary differential equation, not the full theorem. It makes the first step understandable: an equation can recursively determine candidate coefficients before convergence has been established.\n\n## Formal consistency can still fail\n\nNow consider the invented series whose coefficient of t to the power n is n factorial. For any fixed nonzero t, the ratio between consecutive term magnitudes is (n + 1) times the absolute value of t. That eventually exceeds one, so its terms do not even approach zero. A neat coefficient rule can therefore describe a divergent series. The paper includes a more specific heat-equation example showing why its normal-form assumptions matter.\n\n## What the theorem actually guarantees\n\nAnalytic means locally representable by a convergent power series. Noncharacteristic, in this setting, means the initial surface and leading derivatives satisfy the required nondegeneracy conditions so the equation determines the relevant normal derivative. The theorem gives a local analytic solution with uniqueness after an appropriate branch is fixed. Local means near the initial data. It does not promise a solution for all time, arbitrary smooth data or every singular initial surface.\n\n## A useful checking task\n\nExplain separately how an equation determines formal coefficients and how a majorant argument bounds them by a convergent comparison series. You need not reconstruct the entire proof to make that distinction useful. Keep earlier Cauchy and Weierstrass inputs separate from this contribution, and preserve the original sole-author byline. A finite coefficient worksheet is a teaching check, not a proof that all the paper's systems converge or that every heat evolution fails.\n\n## Scientific scope\n\nLocal analytic existence and uniqueness for the stated nondegenerate normal-derivative conditions, not global solvability, stability in smooth norms or arbitrary C∞data. An algebraic leading equation may have multiple simple branches; uniqueness is after fixing the branch. Characteristic or singular leading-derivative roots are not automatically covered. The heat example concerns a joint analytic solution at the initial surface, not nonexistence of every one-sided smooth heat evolution. The paper credits Weierstrass's ODE framework and other predecessors; no exclusive first-priority claim for the whole later Cauchy–Kovalevskaya lineage is awarded.\n\n## Sources for this explanation\n\n- [Zur Theorie der partiellen Differentialgleichungen](https://gdz.sub.uni-goettingen.de/download/pdf/PPN243919689_0080/LOG_0005.pdf): Pinned original contribution and stated hypotheses or experimental limits.\n",
      "summary": "Kovalevskaya proved convergence of the recursively determined formal power series for analytic PDE Cauchy problems in the paper's normal, noncharacteristic forms. A coefficientwise majorant argument establishes the first-order system result; higher-order algebraic equations and specified coupled systems are reduced to this setting after selecting a simple root for the leading normal derivatives. Analytic initial data then determine a unique local analytic solution on that branch. She also exhibited heat-equation data whose formal time series has zero convergence radius, showing why solving for a lower-order time derivative alone is insufficient.",
      "title": "Kovalevskaya: local analytic solutions of noncharacteristic PDE Cauchy problems"
    },
    "record_id": "urn:uuid:855b0fe6-039e-400d-aace-3426c224c309",
    "version": 1,
    "source_ref": {
      "record_id": "urn:uuid:855b0fe6-039e-400d-aace-3426c224c309",
      "version": 1,
      "content_hash": "sha256:6144e29d6c9c50e55913bb6686ee963619bf2711d442233be548ecc87ffbe996"
    },
    "export_view": "wrs-public-editorial-view-1",
    "public_view_hash": "sha256:e6984aa55a5fbc1b9e298e92c93084296847ceec1ae608faa0b8d6a02901a0f4"
  },
  "target": {
    "record_id": "urn:uuid:855b0fe6-039e-400d-aace-3426c224c309",
    "version": 1,
    "content_hash": "sha256:6144e29d6c9c50e55913bb6686ee963619bf2711d442233be548ecc87ffbe996"
  },
  "published_grade": {
    "profile": "wrs-published-grade-1",
    "edition": "2026-10-28.1",
    "id": "kovalevskaya-analytic-noncharacteristic-pde-local-existence-1875",
    "entry_id": "kovalevskaya-analytic-noncharacteristic-pde-local-existence-1875",
    "revision": 1,
    "title": "Kovalevskaya: local analytic solutions of noncharacteristic PDE Cauchy problems",
    "context": "Partial differential equations and analytic local existence",
    "track": "Exact theorem and reusable mathematical method",
    "band": "S",
    "modifier": "-",
    "status": "PROVISIONAL_EDITORIAL",
    "assessed_on": "2026-10-23",
    "evidence_cutoff": "2026-10-23",
    "achievement_state": "SUPPORTED_SCOPED_RESULT",
    "what_changed": "Kovalevskaya proved convergence of the recursively determined formal power series for analytic PDE Cauchy problems in the paper's normal, noncharacteristic forms. A coefficientwise majorant argument establishes the first-order system result; higher-order algebraic equations and specified coupled systems are reduced to this setting after selecting a simple root for the leading normal derivatives. Analytic initial data then determine a unique local analytic solution on that branch. She also exhibited heat-equation data whose formal time series has zero convergence radius, showing why solving for a lower-order time derivative alone is insufficient.",
    "scope": "Kovalevskaya proved convergence of the recursively determined formal power series for analytic PDE Cauchy problems in the paper's normal, noncharacteristic forms. A coefficientwise majorant argument establishes the first-order system result; higher-order algebraic equations and specified coupled systems are reduced to this setting after selecting a simple root for the leading normal derivatives. Analytic initial data then determine a unique local analytic solution on that branch. She also exhibited heat-equation data whose formal time series has zero convergence radius, showing why solving for a lower-order time derivative alone is insufficient. Local analytic existence and uniqueness for the stated nondegenerate normal-derivative conditions, not global solvability, stability in smooth norms or arbitrary C∞data. An algebraic leading equation may have multiple simple branches; uniqueness is after fixing the branch. Characteristic or singular leading-derivative roots are not automatically covered. The heat example concerns a joint analytic solution at the initial surface, not nonexistence of every one-sided smooth heat evolution. The paper credits Weierstrass's ODE framework and other predecessors; no exclusive first-priority claim for the whole later Cauchy–Kovalevskaya lineage is awarded.",
    "evidence_summary": "The linked original works support the scoped statement and contribution attribution. WRS has not independently replayed experiments or reconstructed a full mathematical proof. Local analytic existence and uniqueness for the stated nondegenerate normal-derivative conditions, not global solvability, stability in smooth norms or arbitrary C∞data. An algebraic leading equation may have multiple simple branches; uniqueness is after fixing the branch. Characteristic or singular leading-derivative roots are not automatically covered. The heat example concerns a joint analytic solution at the initial surface, not nonexistence of every one-sided smooth heat evolution. The paper credits Weierstrass's ODE framework and other predecessors; no exclusive first-priority claim for the whole later Cauchy–Kovalevskaya lineage is awarded.",
    "references": [
      {
        "title": "Zur Theorie der partiellen Differentialgleichungen",
        "url": "https://gdz.sub.uni-goettingen.de/download/pdf/PPN243919689_0080/LOG_0005.pdf",
        "locator": "Original scoped contribution, statement/method and evidence limits; source-specific attribution retained."
      }
    ],
    "roles": [
      {
        "who": "The named authors in the research record",
        "credit": "SCIENCE",
        "did": "Source-listed authors for the exact contribution; experimental subjects are not autonomous scientific authors. Source support and predecessor work retain separate roles. Individual effort shares and unresolved identities are not inferred."
      }
    ],
    "target": {
      "record_id": "urn:uuid:855b0fe6-039e-400d-aace-3426c224c309",
      "version": 1,
      "content_hash": "sha256:6144e29d6c9c50e55913bb6686ee963619bf2711d442233be548ecc87ffbe996"
    },
    "scientific_correctness_certified": false,
    "independent_expert_calibration": false,
    "method": "PROPRIETARY",
    "points": "280000"
  },
  "canonical_agent_submission": false,
  "scientific_verification_awarded": false,
  "reader_guide": {
    "id": "kovalevskaya-analytic-noncharacteristic-pde-local-existence-1875",
    "target": {
      "record_id": "urn:uuid:855b0fe6-039e-400d-aace-3426c224c309",
      "version": 1,
      "content_hash": "sha256:6144e29d6c9c50e55913bb6686ee963619bf2711d442233be548ecc87ffbe996"
    },
    "sections": [
      {
        "title": "Writing a series is not finding a solution",
        "text": "Suppose you propose a function as an infinite power series, then choose its coefficients to satisfy an equation. Have you found a real solution? Only if the series actually converges where you want to use it. Kovalevskaya's work addresses this gap for specified analytic partial differential equations and initial data. A partial differential equation relates how a function changes along more than one independent variable, such as position and time."
      },
      {
        "title": "Start with a simpler equation",
        "text": "For a classroom illustration, consider y prime equals y with initial value y at zero equal to one. Substituting a power series determines coefficients 1, 1, one half, one sixth and so on, giving the familiar exponential series. This is an ordinary differential equation, not the full theorem. It makes the first step understandable: an equation can recursively determine candidate coefficients before convergence has been established."
      },
      {
        "title": "Formal consistency can still fail",
        "text": "Now consider the invented series whose coefficient of t to the power n is n factorial. For any fixed nonzero t, the ratio between consecutive term magnitudes is (n + 1) times the absolute value of t. That eventually exceeds one, so its terms do not even approach zero. A neat coefficient rule can therefore describe a divergent series. The paper includes a more specific heat-equation example showing why its normal-form assumptions matter."
      },
      {
        "title": "What the theorem actually guarantees",
        "text": "Analytic means locally representable by a convergent power series. Noncharacteristic, in this setting, means the initial surface and leading derivatives satisfy the required nondegeneracy conditions so the equation determines the relevant normal derivative. The theorem gives a local analytic solution with uniqueness after an appropriate branch is fixed. Local means near the initial data. It does not promise a solution for all time, arbitrary smooth data or every singular initial surface."
      },
      {
        "title": "A useful checking task",
        "text": "Explain separately how an equation determines formal coefficients and how a majorant argument bounds them by a convergent comparison series. You need not reconstruct the entire proof to make that distinction useful. Keep earlier Cauchy and Weierstrass inputs separate from this contribution, and preserve the original sole-author byline. A finite coefficient worksheet is a teaching check, not a proof that all the paper's systems converge or that every heat evolution fails."
      }
    ],
    "references": [
      {
        "title": "Zur Theorie der partiellen Differentialgleichungen",
        "url": "https://gdz.sub.uni-goettingen.de/download/pdf/PPN243919689_0080/LOG_0005.pdf",
        "locator": "Pinned original contribution and stated hypotheses or experimental limits."
      }
    ]
  },
  "reading_status": "EXPLANATORY_GUIDE"
}