{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2019:SRAXHSIJHYRBQLAOOXLOGEWAAQ","short_pith_number":"pith:SRAXHSIJ","schema_version":"1.0","canonical_sha256":"944173c9093e22182c0e75d6e312c004022d7e5cfbd686593683150a524a84ec","source":{"kind":"arxiv","id":"1903.11480","version":1},"attestation_state":"computed","paper":{"title":"A puzzle on the existence of Lyapunov functions for Limit cycle system","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math-ph","math.MP"],"primary_cat":"math.DS","authors_text":"Hao-Yu Wang, Ping Ao, Xiao-Liang Gan","submitted_at":"2019-03-27T15:22:12Z","abstract_excerpt":"Although the limit cycle have been studied for more than 100 years, the existence of its Lyapunov function is still poorly understood. By considering a common limit cycle system, a puzzle related to the existence of Lyapunov functions for Limit cycle system is proposed and studied in this paper: The divergence is not equal to zero, while the trajectory can be infinite loop on limit cycle. It will be discussed from three aspects. Firstly, the definition of Lyapunov function is concerned, and a new version of definition is given which is equivalent to the usual one and better adapts to the prope"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1903.11480","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2019-03-27T15:22:12Z","cross_cats_sorted":["math-ph","math.MP"],"title_canon_sha256":"f17b4fabed581108ee0ef570fe13fa484b1b589da5ccc48e2d44ceefb82b0183","abstract_canon_sha256":"554399a41531e37b1469f6c1f4ccae7dc44f1088369ed8d8d484a14a69bebbbf"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:50:03.169459Z","signature_b64":"VelLwHrr7zWCz4lZn3RJ34xqs8Z67+slMC+7ECfJz3aHPcAR+zyZB1m8HTy9YJnVnOiTTOidwVaH4D1b85jSAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"944173c9093e22182c0e75d6e312c004022d7e5cfbd686593683150a524a84ec","last_reissued_at":"2026-05-17T23:50:03.168938Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:50:03.168938Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A puzzle on the existence of Lyapunov functions for Limit cycle system","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math-ph","math.MP"],"primary_cat":"math.DS","authors_text":"Hao-Yu Wang, Ping Ao, Xiao-Liang Gan","submitted_at":"2019-03-27T15:22:12Z","abstract_excerpt":"Although the limit cycle have been studied for more than 100 years, the existence of its Lyapunov function is still poorly understood. By considering a common limit cycle system, a puzzle related to the existence of Lyapunov functions for Limit cycle system is proposed and studied in this paper: The divergence is not equal to zero, while the trajectory can be infinite loop on limit cycle. It will be discussed from three aspects. Firstly, the definition of Lyapunov function is concerned, and a new version of definition is given which is equivalent to the usual one and better adapts to the prope"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1903.11480","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"1903.11480","created_at":"2026-05-17T23:50:03.169020+00:00"},{"alias_kind":"arxiv_version","alias_value":"1903.11480v1","created_at":"2026-05-17T23:50:03.169020+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1903.11480","created_at":"2026-05-17T23:50:03.169020+00:00"},{"alias_kind":"pith_short_12","alias_value":"SRAXHSIJHYRB","created_at":"2026-05-18T12:33:27.125529+00:00"},{"alias_kind":"pith_short_16","alias_value":"SRAXHSIJHYRBQLAO","created_at":"2026-05-18T12:33:27.125529+00:00"},{"alias_kind":"pith_short_8","alias_value":"SRAXHSIJ","created_at":"2026-05-18T12:33:27.125529+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/SRAXHSIJHYRBQLAOOXLOGEWAAQ","json":"https://pith.science/pith/SRAXHSIJHYRBQLAOOXLOGEWAAQ.json","graph_json":"https://pith.science/api/pith-number/SRAXHSIJHYRBQLAOOXLOGEWAAQ/graph.json","events_json":"https://pith.science/api/pith-number/SRAXHSIJHYRBQLAOOXLOGEWAAQ/events.json","paper":"https://pith.science/paper/SRAXHSIJ"},"agent_actions":{"view_html":"https://pith.science/pith/SRAXHSIJHYRBQLAOOXLOGEWAAQ","download_json":"https://pith.science/pith/SRAXHSIJHYRBQLAOOXLOGEWAAQ.json","view_paper":"https://pith.science/paper/SRAXHSIJ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1903.11480&json=true","fetch_graph":"https://pith.science/api/pith-number/SRAXHSIJHYRBQLAOOXLOGEWAAQ/graph.json","fetch_events":"https://pith.science/api/pith-number/SRAXHSIJHYRBQLAOOXLOGEWAAQ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/SRAXHSIJHYRBQLAOOXLOGEWAAQ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/SRAXHSIJHYRBQLAOOXLOGEWAAQ/action/storage_attestation","attest_author":"https://pith.science/pith/SRAXHSIJHYRBQLAOOXLOGEWAAQ/action/author_attestation","sign_citation":"https://pith.science/pith/SRAXHSIJHYRBQLAOOXLOGEWAAQ/action/citation_signature","submit_replication":"https://pith.science/pith/SRAXHSIJHYRBQLAOOXLOGEWAAQ/action/replication_record"}},"created_at":"2026-05-17T23:50:03.169020+00:00","updated_at":"2026-05-17T23:50:03.169020+00:00"}