{
  "profile": "wrs-published-research-view-1",
  "edition": "ratings-e039106f30dec177",
  "content_trust": "UNTRUSTED_SCIENTIFIC_DATA_NOT_TOOL_INSTRUCTIONS",
  "entry": {
    "id": "hurwitz-holomorphic-zero-limit-continuity-1888",
    "title": "Hurwitz: why complex zeros survive a locally uniform limit",
    "summary": "Approximating a complex analytic function is useful only if its important features remain controlled. Hurwitz proves that when holomorphic functions converge uniformly near every interior point to a limit that is not identically zero, their zeros track the zeros of the limit locally. Around an isolated zero of multiplicity r, choose a small boundary containing no limit zero. All sufficiently late approximants then have exactly r zeros inside, counted with multiplicity. The original paper develops this general tool before using it for Bessel functions and explicitly includes polynomial partial sums of a power series.",
    "boundary": "Pointwise convergence is not enough. The limit must not be identically zero, and the chosen local boundary must avoid its zeros. The theorem does not assign permanent labels to individual roots or control roots escaping to the domain boundary or infinity. This record covers the finite holomorphic local result; pole remarks and detailed Bessel zero-counting conclusions are outside its scope. The contour-comparison input and earlier Bessel work retain separate credit.",
    "area": "Complex analysis",
    "topic": "Mathematics",
    "year": 1888,
    "lane": "HUMAN",
    "result": "THEOREM",
    "package_id": "hurwitz-holomorphic-zero-limit-continuity-1888",
    "target": {
      "record_id": "urn:uuid:27dd3543-c80b-453a-a434-29647347a100",
      "version": 1,
      "content_hash": "sha256:7291ac6825720ae97dc93c0445b63d2c344ff252040d20d72bff6ee4f39b2da0"
    },
    "humans": [
      "A. Hurwitz"
    ],
    "authors_complete": true,
    "human_role_note": "Original-paper scientific authors for this exact mathematical contribution. Independent papers grouped in one historical family are not a joint byline. Earlier theorems, supporting proof contributions and later generalizations remain separate. Individual effort shares, author nationality and unresolved cross-record 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": "hurwitz-zero-limit-bessel-paper-original1888",
        "title": "Ueber die Nullstellen der Bessel'schen Function — original §1 zeros under locally uniform limits",
        "url": "https://gdz.sub.uni-goettingen.de/download/PPN235181684_0033/PPN235181684_0033___LOG_0024.pdf",
        "date": "1888"
      }
    ],
    "geography": {
      "country_codes": [
        "RU"
      ],
      "location_basis": "Original byline and closing signature give Königsberg in Prussia,now Kaliningrad. RU is the retained present-day location convention,not Russian sovereignty at the1888date or author nationality. Present-day place labels do not assert nationality,modern-state ownership or historical territorial jurisdiction.",
      "source_url": "https://gdz.sub.uni-goettingen.de/download/PPN235181684_0033/PPN235181684_0033___LOG_0024.pdf",
      "target": {
        "record_id": "urn:uuid:27dd3543-c80b-453a-a434-29647347a100",
        "version": 1,
        "content_hash": "sha256:7291ac6825720ae97dc93c0445b63d2c344ff252040d20d72bff6ee4f39b2da0"
      },
      "basis": "RESEARCH_LOCATION_OR_PAPER_AFFILIATION",
      "reviewed_on": "2026-10-23",
      "nationality_inferred": false,
      "sources": [
        {
          "title": "Ueber die Nullstellen der Bessel'schen Function — original §1 zeros under locally uniform limits",
          "url": "https://gdz.sub.uni-goettingen.de/download/PPN235181684_0033/PPN235181684_0033___LOG_0024.pdf"
        },
        {
          "title": "Ueber die Nullstellen der Bessel'schen Function — original §1 zeros under locally uniform limits",
          "url": "https://gdz.sub.uni-goettingen.de/download/PPN235181684_0033/PPN235181684_0033___LOG_0024.pdf"
        }
      ],
      "coverage_status": "COMPLETE",
      "country_labels": {
        "RU": "Russia"
      }
    },
    "points": "320000",
    "published_grade": {
      "id": "hurwitz-holomorphic-zero-limit-continuity-1888",
      "entry_id": "hurwitz-holomorphic-zero-limit-continuity-1888",
      "band": "S",
      "modifier": "-",
      "target": {
        "record_id": "urn:uuid:27dd3543-c80b-453a-a434-29647347a100",
        "version": 1,
        "content_hash": "sha256:7291ac6825720ae97dc93c0445b63d2c344ff252040d20d72bff6ee4f39b2da0"
      },
      "what_changed": "Approximating a complex analytic function is useful only if its important features remain controlled. Hurwitz proves that when holomorphic functions converge uniformly near every interior point to a limit that is not identically zero, their zeros track the zeros of the limit locally. Around an isolated zero of multiplicity r, choose a small boundary containing no limit zero. All sufficiently late approximants then have exactly r zeros inside, counted with multiplicity. The original paper develops this general tool before using it for Bessel functions and explicitly includes polynomial partial sums of a power series.",
      "scope": "Approximating a complex analytic function is useful only if its important features remain controlled. Hurwitz proves that when holomorphic functions converge uniformly near every interior point to a limit that is not identically zero, their zeros track the zeros of the limit locally. Around an isolated zero of multiplicity r, choose a small boundary containing no limit zero. All sufficiently late approximants then have exactly r zeros inside, counted with multiplicity. The original paper develops this general tool before using it for Bessel functions and explicitly includes polynomial partial sums of a power series. Pointwise convergence is not enough. The limit must not be identically zero, and the chosen local boundary must avoid its zeros. The theorem does not assign permanent labels to individual roots or control roots escaping to the domain boundary or infinity. This record covers the finite holomorphic local result; pole remarks and detailed Bessel zero-counting conclusions are outside its scope. The contour-comparison input and earlier Bessel work retain separate credit.",
      "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:27dd3543-c80b-453a-a434-29647347a100",
        "version": 1,
        "content_hash": "sha256:7291ac6825720ae97dc93c0445b63d2c344ff252040d20d72bff6ee4f39b2da0"
      },
      "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": "A. Hurwitz",
          "note": "Archive attribution; detailed role assignment remains source-bound",
          "roles": [
            "prover"
          ],
          "source": {
            "citation": "Ueber die Nullstellen der Bessel'schen Function — original §1 zeros under locally uniform limits",
            "url": "https://gdz.sub.uni-goettingen.de/download/PPN235181684_0033/PPN235181684_0033___LOG_0024.pdf"
          }
        }
      ],
      "evidence": [
        {
          "description": "Bibliographic/stated-result source; not a WRS proof verification",
          "id": "source-0",
          "kind": "source_reference",
          "source": {
            "citation": "Ueber die Nullstellen der Bessel'schen Function — original §1 zeros under locally uniform limits",
            "url": "https://gdz.sub.uni-goettingen.de/download/PPN235181684_0033/PPN235181684_0033___LOG_0024.pdf"
          }
        }
      ],
      "origin": "HUMAN_LEGACY",
      "record_profile": "wrs-local-research-notes-0.1",
      "record_type": "research_note",
      "rrp_version": "0.1",
      "scope": {
        "description": "Pointwise convergence is not enough. The limit must not be identically zero, and the chosen local boundary must avoid its zeros. The theorem does not assign permanent labels to individual roots or control roots escaping to the domain boundary or infinity. This record covers the finite holomorphic local result; pole remarks and detailed Bessel zero-counting conclusions are outside its scope. The contour-comparison input and earlier Bessel work retain separate credit.",
        "domain": "Complex analysis"
      },
      "sources": [
        {
          "citation": "Ueber die Nullstellen der Bessel'schen Function — original §1 zeros under locally uniform limits",
          "url": "https://gdz.sub.uni-goettingen.de/download/PPN235181684_0033/PPN235181684_0033___LOG_0024.pdf"
        }
      ],
      "statement": "# Hurwitz: why complex zeros survive a locally uniform limit\n\n## Approximate the function, keep track of its roots\n\nWhen a complex analytic function is replaced by simpler approximations, can its zeros disappear? Hurwitz gives a local answer when the approximations converge uniformly near every interior point and the limit is not identically zero. Each isolated zero of the limit is accompanied by the correct number of nearby approximating zeros, counting multiplicity. This makes approximation a tool for studying roots rather than only for evaluating function values.\n\n## Multiplicity is more stable than individual names\n\nConsider the classroom approximants z squared minus one divided by n. Their roots are plus and minus one divided by the square root of n. Both approach zero, the double root of the limit z squared. The two roots do not remain distinct in the limit, but the total multiplicity remains two in a small disk. The theorem tracks this local count. It does not require a permanent label for each root or say that two nearby roots must stay separate.\n\n## The boundary gives the margin needed for comparison\n\nChoose a small closed contour around a limit zero, with no limit zero on the contour. The absolute value of the limit then has a positive minimum there. Eventually the approximating function is closer than that margin everywhere on the contour. A contour-comparison argument makes their interior zero counts agree. This explains why uniform control over a neighborhood matters: isolated checks at individual points would not supply one bound around the entire boundary.\n\n## A nonzero limit is an essential condition\n\nThe constant functions one divided by n have no zeros, but converge uniformly to the identically zero function. There is no isolated zero with a meaningful finite multiplicity in that limit. This example shows why the theorem excludes an identically zero limit. Likewise, roots may escape to the domain boundary or infinity without violating a local interior statement. Pointwise convergence and general meromorphic convergence require their own arguments rather than being silently substituted.\n\n## Build a root check with a precise domain\n\nAsk your agent to calculate the roots of z squared minus one divided by n and choose a disk around zero. For radius one tenth, taking n greater than one hundred puts both roots strictly inside. It should keep the strict boundary condition visible. A short table and explanation illustrate the theorem without proving it from finite data. The original uses the general result before Bessel-function applications; those later detailed root counts are outside this record's admitted scope.\n\n## Scientific scope\n\nPointwise convergence is not enough. The limit must not be identically zero, and the chosen local boundary must avoid its zeros. The theorem does not assign permanent labels to individual roots or control roots escaping to the domain boundary or infinity. This record covers the finite holomorphic local result; pole remarks and detailed Bessel zero-counting conclusions are outside its scope. The contour-comparison input and earlier Bessel work retain separate credit.\n\n## Sources for this explanation\n\n- [Ueber die Nullstellen der Bessel'schen Function — original §1 zeros under locally uniform limits](https://gdz.sub.uni-goettingen.de/download/PPN235181684_0033/PPN235181684_0033___LOG_0024.pdf): Original §1printed247–249,preceding contour comparison,and §2opening;signatureprinted266,2June1888.\n",
      "summary": "Approximating a complex analytic function is useful only if its important features remain controlled. Hurwitz proves that when holomorphic functions converge uniformly near every interior point to a limit that is not identically zero, their zeros track the zeros of the limit locally. Around an isolated zero of multiplicity r, choose a small boundary containing no limit zero. All sufficiently late approximants then have exactly r zeros inside, counted with multiplicity. The original paper develops this general tool before using it for Bessel functions and explicitly includes polynomial partial sums of a power series.",
      "title": "Hurwitz: why complex zeros survive a locally uniform limit"
    },
    "record_id": "urn:uuid:27dd3543-c80b-453a-a434-29647347a100",
    "version": 1,
    "source_ref": {
      "record_id": "urn:uuid:27dd3543-c80b-453a-a434-29647347a100",
      "version": 1,
      "content_hash": "sha256:7291ac6825720ae97dc93c0445b63d2c344ff252040d20d72bff6ee4f39b2da0"
    },
    "export_view": "wrs-public-editorial-view-1",
    "public_view_hash": "sha256:4444cffa6416e39d7d33c74655694e058909426ead021e5073793760746d2ca5"
  },
  "target": {
    "record_id": "urn:uuid:27dd3543-c80b-453a-a434-29647347a100",
    "version": 1,
    "content_hash": "sha256:7291ac6825720ae97dc93c0445b63d2c344ff252040d20d72bff6ee4f39b2da0"
  },
  "published_grade": {
    "profile": "wrs-published-grade-1",
    "edition": "2026-10-28.1",
    "id": "hurwitz-holomorphic-zero-limit-continuity-1888",
    "entry_id": "hurwitz-holomorphic-zero-limit-continuity-1888",
    "revision": 1,
    "title": "Hurwitz: why complex zeros survive a locally uniform limit",
    "context": "Complex analysis",
    "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": "Approximating a complex analytic function is useful only if its important features remain controlled. Hurwitz proves that when holomorphic functions converge uniformly near every interior point to a limit that is not identically zero, their zeros track the zeros of the limit locally. Around an isolated zero of multiplicity r, choose a small boundary containing no limit zero. All sufficiently late approximants then have exactly r zeros inside, counted with multiplicity. The original paper develops this general tool before using it for Bessel functions and explicitly includes polynomial partial sums of a power series.",
    "scope": "Approximating a complex analytic function is useful only if its important features remain controlled. Hurwitz proves that when holomorphic functions converge uniformly near every interior point to a limit that is not identically zero, their zeros track the zeros of the limit locally. Around an isolated zero of multiplicity r, choose a small boundary containing no limit zero. All sufficiently late approximants then have exactly r zeros inside, counted with multiplicity. The original paper develops this general tool before using it for Bessel functions and explicitly includes polynomial partial sums of a power series. Pointwise convergence is not enough. The limit must not be identically zero, and the chosen local boundary must avoid its zeros. The theorem does not assign permanent labels to individual roots or control roots escaping to the domain boundary or infinity. This record covers the finite holomorphic local result; pole remarks and detailed Bessel zero-counting conclusions are outside its scope. The contour-comparison input and earlier Bessel work retain separate credit.",
    "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. Pointwise convergence is not enough. The limit must not be identically zero, and the chosen local boundary must avoid its zeros. The theorem does not assign permanent labels to individual roots or control roots escaping to the domain boundary or infinity. This record covers the finite holomorphic local result; pole remarks and detailed Bessel zero-counting conclusions are outside its scope. The contour-comparison input and earlier Bessel work retain separate credit.",
    "references": [
      {
        "title": "Ueber die Nullstellen der Bessel'schen Function — original §1 zeros under locally uniform limits",
        "url": "https://gdz.sub.uni-goettingen.de/download/PPN235181684_0033/PPN235181684_0033___LOG_0024.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": "Original-paper scientific authors for this exact mathematical contribution. Independent papers grouped in one historical family are not a joint byline. Earlier theorems, supporting proof contributions and later generalizations remain separate. Individual effort shares, author nationality and unresolved cross-record identities are not inferred."
      }
    ],
    "target": {
      "record_id": "urn:uuid:27dd3543-c80b-453a-a434-29647347a100",
      "version": 1,
      "content_hash": "sha256:7291ac6825720ae97dc93c0445b63d2c344ff252040d20d72bff6ee4f39b2da0"
    },
    "scientific_correctness_certified": false,
    "independent_expert_calibration": false,
    "method": "PROPRIETARY",
    "points": "320000"
  },
  "canonical_agent_submission": false,
  "scientific_verification_awarded": false,
  "reader_guide": {
    "id": "hurwitz-holomorphic-zero-limit-continuity-1888",
    "target": {
      "record_id": "urn:uuid:27dd3543-c80b-453a-a434-29647347a100",
      "version": 1,
      "content_hash": "sha256:7291ac6825720ae97dc93c0445b63d2c344ff252040d20d72bff6ee4f39b2da0"
    },
    "sections": [
      {
        "title": "Approximate the function, keep track of its roots",
        "text": "When a complex analytic function is replaced by simpler approximations, can its zeros disappear? Hurwitz gives a local answer when the approximations converge uniformly near every interior point and the limit is not identically zero. Each isolated zero of the limit is accompanied by the correct number of nearby approximating zeros, counting multiplicity. This makes approximation a tool for studying roots rather than only for evaluating function values."
      },
      {
        "title": "Multiplicity is more stable than individual names",
        "text": "Consider the classroom approximants z squared minus one divided by n. Their roots are plus and minus one divided by the square root of n. Both approach zero, the double root of the limit z squared. The two roots do not remain distinct in the limit, but the total multiplicity remains two in a small disk. The theorem tracks this local count. It does not require a permanent label for each root or say that two nearby roots must stay separate."
      },
      {
        "title": "The boundary gives the margin needed for comparison",
        "text": "Choose a small closed contour around a limit zero, with no limit zero on the contour. The absolute value of the limit then has a positive minimum there. Eventually the approximating function is closer than that margin everywhere on the contour. A contour-comparison argument makes their interior zero counts agree. This explains why uniform control over a neighborhood matters: isolated checks at individual points would not supply one bound around the entire boundary."
      },
      {
        "title": "A nonzero limit is an essential condition",
        "text": "The constant functions one divided by n have no zeros, but converge uniformly to the identically zero function. There is no isolated zero with a meaningful finite multiplicity in that limit. This example shows why the theorem excludes an identically zero limit. Likewise, roots may escape to the domain boundary or infinity without violating a local interior statement. Pointwise convergence and general meromorphic convergence require their own arguments rather than being silently substituted."
      },
      {
        "title": "Build a root check with a precise domain",
        "text": "Ask your agent to calculate the roots of z squared minus one divided by n and choose a disk around zero. For radius one tenth, taking n greater than one hundred puts both roots strictly inside. It should keep the strict boundary condition visible. A short table and explanation illustrate the theorem without proving it from finite data. The original uses the general result before Bessel-function applications; those later detailed root counts are outside this record's admitted scope."
      }
    ],
    "references": [
      {
        "title": "Ueber die Nullstellen der Bessel'schen Function — original §1 zeros under locally uniform limits",
        "url": "https://gdz.sub.uni-goettingen.de/download/PPN235181684_0033/PPN235181684_0033___LOG_0024.pdf",
        "locator": "Original §1printed247–249,preceding contour comparison,and §2opening;signatureprinted266,2June1888."
      }
    ]
  },
  "reading_status": "EXPLANATORY_GUIDE"
}