{"id":{"repo_id":"uwo","oai_identifier":"oai:uwo.scholaris.ca:20.500.14721/31959"},"canonical_url":"https://search.dev.ndltd.org/etd/uwo/oai:uwo.scholaris.ca:20.500.14721/31959","repository":{"repo_id":"uwo","name":"Western University","base_url":"https://uwo.scholaris.ca/server/oai/request"},"display":{"title":"Symbolic-numeric algorithms for simplifying differential systems and their application to the determination of approximate Lie symmetry algebras","abstract":"PDE models arising in applications can be over-determined, and usually have non-trivial integrability conditions. Differential elimination methods can be applied to these systems, which involve a finite number of differentiations and eliminations to reveal hidden constraints, and form the determining equations of symmetries. Normally, such PDE systems have approximate parameters, and the direct application of well-defined symbolic differential elimination algorithms on such systems is prone to instability since these algorithms strongly depend on the ordering of the variables involved (similar to the instability of naïve Gaussian elimination). To avoid such instability, numerical differential elimination methods are necessary. In this thesis, the Geometric Involutive Form is mainly used to perform numerical differential elimination of linear homogeneous DE systems. However, the application of GIF to the whole system leads to singular value decomposition on large matrices. To reduce the size of matrices and increase efficiency, this thesis presents an important idea of partitioning the whole differential equation system into exact and approximate subsystems. After that, applying symbolic methods to the exact subsystem and numerical techniques to the approximate subsystem ensures stability. Finally, checking that the jointly prolonged system is geometrically involutive is done by computing dimension criteria of the approximate subsystem and the differential Hilbert function of the exact subsystem. This approach enhances the efficiency in simplifying PDE systems involving both exact and approximate parameters. Another contribution of this thesis is the establishment of a foundation for constructing and analyzing local approximate Lie symmetry algebras of differential equations. This thesis includes the definition of local approximate Lie symmetry of DEs, the computation of structure constants of the approximate Lie symmetry algebra of DEs, and the evaluation of the reliability of computed results.","abstract_html":"PDE models arising in applications can be over-determined, and usually have non-trivial integrability conditions. Differential elimination methods can be applied to these systems, which involve a finite number of differentiations and eliminations to reveal hidden constraints, and form the determining equations of symmetries. Normally, such PDE systems have approximate parameters, and the direct application of well-defined symbolic differential elimination algorithms on such systems is prone to instability since these algorithms strongly depend on the ordering of the variables involved (similar to the instability of naïve Gaussian elimination). To avoid such instability, numerical differential elimination methods are necessary. In this thesis, the Geometric Involutive Form is mainly used to perform numerical differential elimination of linear homogeneous DE systems. However, the application of GIF to the whole system leads to singular value decomposition on large matrices. To reduce the size of matrices and increase efficiency, this thesis presents an important idea of partitioning the whole differential equation system into exact and approximate subsystems. After that, applying symbolic methods to the exact subsystem and numerical techniques to the approximate subsystem ensures stability. Finally, checking that the jointly prolonged system is geometrically involutive is done by computing dimension criteria of the approximate subsystem and the differential Hilbert function of the exact subsystem. This approach enhances the efficiency in simplifying PDE systems involving both exact and approximate parameters. Another contribution of this thesis is the establishment of a foundation for constructing and analyzing local approximate Lie symmetry algebras of differential equations. This thesis includes the definition of local approximate Lie symmetry of DEs, the computation of structure constants of the approximate Lie symmetry algebra of DEs, and the evaluation of the reliability of computed results.","abstract_has_math":false,"creators":["Deng, Siyuan"],"institution":"The University of Western Ontario","degree_name":"Ph D","degree_level":null,"degree_discipline":"Applied Mathematics","degree_department":null,"school":null,"contributors":[],"advisors":["Reid, Gregory"],"committee_chairs":[],"committee_members":[],"year":2025,"date_issued":"2025-03-28","date_published":"2025-03-28","updated_at":"2026-07-27T21:56:09Z","subjects":["Partial Differential Equations","Ordinary Differential Equations","Symmetries of Differential Equations","Lie Symmetry Algebra","Symbolic-Numeric Methods"],"languages":["en_ca"],"rights":[],"rights_urls":[],"identifier_entries":[]},"links":{"outbound_url":"https://hdl.handle.net/20.500.14721/31959","outbound_label":"Handle","outbound_source":"dc:identifier.uri"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor.advisor","label":"Advisor","values":["Reid, Gregory"]},{"key":"dc:creator","label":"Author","values":["Deng, Siyuan"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date.accessioned","label":"Dc Date Accessioned","values":["2025-07-10T19:24:52Z"]},{"key":"dc:date.available","label":"Dc Date Available","values":["2025-07-10T19:24:52Z"]},{"key":"dc:date.issued","label":"Date","values":["2025-03-28"]},{"key":"dc:publisher","label":"Institution","values":["The University of Western Ontario"]},{"key":"dc:type","label":"Dc Type","values":["thesis"]},{"key":"thesis:degree_discipline","label":"Discipline","values":["Applied Mathematics"]},{"key":"thesis:degree_name","label":"Degree Name","values":["Ph D"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["Partial Differential Equations","Ordinary Differential Equations","Symmetries of Differential Equations","Lie Symmetry Algebra","Symbolic-Numeric Methods"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language.iso","label":"Language (ISO)","values":["en_ca"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier.uri","label":"Identifier URI","values":["https://hdl.handle.net/20.500.14721/31959"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description","label":"Description","values":["The thesis cover page in the PDF document includes references to Western University’s previous institutional repository platform, known as Scholarship@Western, and links to that platform (beginning with ir.lib.uwo.ca). In citing or referring to this thesis, use the DOI or handle from this page instead. Sample citation: Author name, \"Thesis title.\" (Year). Western University Open Repository. https://doi.org/10.71858/123456."]},{"key":"dc:description.abstract","label":"Abstract","values":["PDE models arising in applications can be over-determined, and usually have non-trivial integrability conditions. Differential elimination methods can be applied to these systems, which involve a finite number of differentiations and eliminations to reveal hidden constraints, and form the determining equations of symmetries. Normally, such PDE systems have approximate parameters, and the direct application of well-defined symbolic differential elimination algorithms on such systems is prone to instability since these algorithms strongly depend on the ordering of the variables involved (similar to the instability of naïve Gaussian elimination). To avoid such instability, numerical differential elimination methods are necessary. In this thesis, the Geometric Involutive Form is mainly used to perform numerical differential elimination of linear homogeneous DE systems. However, the application of GIF to the whole system leads to singular value decomposition on large matrices. To reduce the size of matrices and increase efficiency, this thesis presents an important idea of partitioning the whole differential equation system into exact and approximate subsystems. After that, applying symbolic methods to the exact subsystem and numerical techniques to the approximate subsystem ensures stability. Finally, checking that the jointly prolonged system is geometrically involutive is done by computing dimension criteria of the approximate subsystem and the differential Hilbert function of the exact subsystem. This approach enhances the efficiency in simplifying PDE systems involving both exact and approximate parameters. Another contribution of this thesis is the establishment of a foundation for constructing and analyzing local approximate Lie symmetry algebras of differential equations. This thesis includes the definition of local approximate Lie symmetry of DEs, the computation of structure constants of the approximate Lie symmetry algebra of DEs, and the evaluation of the reliability of computed results."]},{"key":"dc:title","label":"Title","values":["Symbolic-numeric algorithms for simplifying differential systems and their application to the determination of approximate Lie symmetry algebras"]}]}],"canonical_facts":{"dc:contributor.advisor":["Reid, Gregory"],"dc:creator":["Deng, Siyuan"],"dc:date.accessioned":["2025-07-10T19:24:52Z"],"dc:date.available":["2025-07-10T19:24:52Z"],"dc:date.issued":["2025-03-28"],"dc:description":["The thesis cover page in the PDF document includes references to Western University’s previous institutional repository platform, known as Scholarship@Western, and links to that platform (beginning with ir.lib.uwo.ca). In citing or referring to this thesis, use the DOI or handle from this page instead. Sample citation: Author name, \"Thesis title.\" (Year). Western University Open Repository. https://doi.org/10.71858/123456."],"dc:description.abstract":["PDE models arising in applications can be over-determined, and usually have non-trivial integrability conditions. Differential elimination methods can be applied to these systems, which involve a finite number of differentiations and eliminations to reveal hidden constraints, and form the determining equations of symmetries. Normally, such PDE systems have approximate parameters, and the direct application of well-defined symbolic differential elimination algorithms on such systems is prone to instability since these algorithms strongly depend on the ordering of the variables involved (similar to the instability of naïve Gaussian elimination). To avoid such instability, numerical differential elimination methods are necessary. In this thesis, the Geometric Involutive Form is mainly used to perform numerical differential elimination of linear homogeneous DE systems. However, the application of GIF to the whole system leads to singular value decomposition on large matrices. To reduce the size of matrices and increase efficiency, this thesis presents an important idea of partitioning the whole differential equation system into exact and approximate subsystems. After that, applying symbolic methods to the exact subsystem and numerical techniques to the approximate subsystem ensures stability. Finally, checking that the jointly prolonged system is geometrically involutive is done by computing dimension criteria of the approximate subsystem and the differential Hilbert function of the exact subsystem. This approach enhances the efficiency in simplifying PDE systems involving both exact and approximate parameters. Another contribution of this thesis is the establishment of a foundation for constructing and analyzing local approximate Lie symmetry algebras of differential equations. This thesis includes the definition of local approximate Lie symmetry of DEs, the computation of structure constants of the approximate Lie symmetry algebra of DEs, and the evaluation of the reliability of computed results."],"dc:identifier.uri":["https://hdl.handle.net/20.500.14721/31959"],"dc:language.iso":["en_ca"],"dc:publisher":["The University of Western Ontario"],"dc:subject":["Partial Differential Equations","Ordinary Differential Equations","Symmetries of Differential Equations","Lie Symmetry Algebra","Symbolic-Numeric Methods"],"dc:title":["Symbolic-numeric algorithms for simplifying differential systems and their application to the determination of approximate Lie symmetry algebras"],"dc:type":["thesis"],"thesis:degree_discipline":["Applied Mathematics"],"thesis:degree_name":["Ph D"]},"updated_at":"2026-07-27T21:56:09Z"}