{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:WPE2ABER3SHZQIFJA56HWAT347","short_pith_number":"pith:WPE2ABER","schema_version":"1.0","canonical_sha256":"b3c9a00491dc8f9820a9077c7b027be7d92bcaca443f5c2846b063b9585e920f","source":{"kind":"arxiv","id":"1411.1611","version":3},"attestation_state":"computed","paper":{"title":"Variations on Barbalat's Lemma","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"math.OC","authors_text":"B\\'alint Farkas, Sven-Ake Wegner","submitted_at":"2014-11-06T13:45:10Z","abstract_excerpt":"It is not hard to prove that a uniformly continuous real function, whose integral up to infinity exists, vanishes at infinity, and it is probably little known that this statement runs under the name \"Barbalat's Lemma.\" In fact, the latter name is frequently used in control theory, where the lemma is used to obtain Lyapunov-like stability theorems for non-linear and non-autonomous systems. Barbalat's Lemma is qualitative in the sense that it asserts that a function has certain properties, here convergence to zero. Such qualitative statements can typically be proved by \"soft analysis\", such as i"},"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":"1411.1611","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2014-11-06T13:45:10Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"cdf4d7589d0457af5f0c7e9bfed90a03c6cb5ebdcdfa88d86dac97ede9feaf45","abstract_canon_sha256":"7e52d979f5d2d1289e0c935b28049dfcd04919c0f5a96b9c64fe11df4154dd22"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:54:53.091075Z","signature_b64":"JFAaW2HhEFSbWgH3Jjv/Kv/DKiXWDKY/1i+3oZ3woUN7AUi1zvEnuVwGm4g4f7DwuoX02FQkSSxtKimNJW0yBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b3c9a00491dc8f9820a9077c7b027be7d92bcaca443f5c2846b063b9585e920f","last_reissued_at":"2026-05-18T00:54:53.090691Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:54:53.090691Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Variations on Barbalat's Lemma","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"math.OC","authors_text":"B\\'alint Farkas, Sven-Ake Wegner","submitted_at":"2014-11-06T13:45:10Z","abstract_excerpt":"It is not hard to prove that a uniformly continuous real function, whose integral up to infinity exists, vanishes at infinity, and it is probably little known that this statement runs under the name \"Barbalat's Lemma.\" In fact, the latter name is frequently used in control theory, where the lemma is used to obtain Lyapunov-like stability theorems for non-linear and non-autonomous systems. Barbalat's Lemma is qualitative in the sense that it asserts that a function has certain properties, here convergence to zero. Such qualitative statements can typically be proved by \"soft analysis\", such as i"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1411.1611","kind":"arxiv","version":3},"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":"1411.1611","created_at":"2026-05-18T00:54:53.090757+00:00"},{"alias_kind":"arxiv_version","alias_value":"1411.1611v3","created_at":"2026-05-18T00:54:53.090757+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1411.1611","created_at":"2026-05-18T00:54:53.090757+00:00"},{"alias_kind":"pith_short_12","alias_value":"WPE2ABER3SHZ","created_at":"2026-05-18T12:28:54.890064+00:00"},{"alias_kind":"pith_short_16","alias_value":"WPE2ABER3SHZQIFJ","created_at":"2026-05-18T12:28:54.890064+00:00"},{"alias_kind":"pith_short_8","alias_value":"WPE2ABER","created_at":"2026-05-18T12:28:54.890064+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/WPE2ABER3SHZQIFJA56HWAT347","json":"https://pith.science/pith/WPE2ABER3SHZQIFJA56HWAT347.json","graph_json":"https://pith.science/api/pith-number/WPE2ABER3SHZQIFJA56HWAT347/graph.json","events_json":"https://pith.science/api/pith-number/WPE2ABER3SHZQIFJA56HWAT347/events.json","paper":"https://pith.science/paper/WPE2ABER"},"agent_actions":{"view_html":"https://pith.science/pith/WPE2ABER3SHZQIFJA56HWAT347","download_json":"https://pith.science/pith/WPE2ABER3SHZQIFJA56HWAT347.json","view_paper":"https://pith.science/paper/WPE2ABER","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1411.1611&json=true","fetch_graph":"https://pith.science/api/pith-number/WPE2ABER3SHZQIFJA56HWAT347/graph.json","fetch_events":"https://pith.science/api/pith-number/WPE2ABER3SHZQIFJA56HWAT347/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/WPE2ABER3SHZQIFJA56HWAT347/action/timestamp_anchor","attest_storage":"https://pith.science/pith/WPE2ABER3SHZQIFJA56HWAT347/action/storage_attestation","attest_author":"https://pith.science/pith/WPE2ABER3SHZQIFJA56HWAT347/action/author_attestation","sign_citation":"https://pith.science/pith/WPE2ABER3SHZQIFJA56HWAT347/action/citation_signature","submit_replication":"https://pith.science/pith/WPE2ABER3SHZQIFJA56HWAT347/action/replication_record"}},"created_at":"2026-05-18T00:54:53.090757+00:00","updated_at":"2026-05-18T00:54:53.090757+00:00"}