<abstract xmlns="http://www.w3.org/1999/xhtml"><p>In this article, we formalized in Mizar [4], [1] simple partial differential equations. In the first section, we formalized partial differentiability and partial derivative. The next section contains the method of separation of variables for one-dimensional wave equation. In the last section, we formalized the superposition principle.We referred to [6], [3], [5] and [9] in this formalization.</p></abstract>

In this article, we formalized in Mizar [4], [1] simple partial differential equations. In the first section, we formalized partial differentiability and partial derivative. The next section contains the method of separation of variables for one-dimensional wave equation. In the last section, we formalized the superposition principle.We referred to [6], [3], [5] and [9] in this formalization.

A Simple Example for Linear Partial Differential Equations and Its Solution Using the Method of Separation of Variables

Formalized Mathematics

This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 Public License.

In this article, we formalized in Mizar [4], [1] simple partial differential equations. In the first section, we formalized partial differentiability and...

A Simple Example for Linear Partial Differential Equations and Its Solution Using the Method of Separation of Variables

Online veröffentlicht: 16. Mai 2019

Seitenbereich: 25 - 34

Akzeptiert: 27. Feb. 2019

DOI: https://doi.org/10.2478/forma-2019-0003

Schlüsselwörter
partial differential equations, separation of variables, superposition principle

© 2019 Sora Otsuki et al., published by Sciendo

This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 Public License.

A Simple Example for Linear Partial Differential Equations and Its Solution Using the Method of Separation of Variables

Online veröffentlicht: 16. Mai 2019

Seitenbereich: 25 - 34

Akzeptiert: 27. Feb. 2019

DOI: https://doi.org/10.2478/forma-2019-0003

Schlüsselwörterpartial differential equations, separation of variables, superposition principle

© 2019 Sora Otsuki et al., published by Sciendo

This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 Public License.

Schlüsselwörter
partial differential equations, separation of variables, superposition principle