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

Sora Otsuki; Pauline N. Kawamoto; Hiroshi Yamazaki

doi:10.2478/forma-2019-0003

.blurhash-client-img { display: none !important; }

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

Formalized Mathematics

Volume 27 (2019): Issue 1 (April 2019)

By: Sora Otsuki, Pauline N. Kawamoto and Hiroshi Yamazaki

Open Access

|May 2019

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.

References

[1] Grzegorz Bancerek, Czesław Byliński, Adam Grabowski, Artur Korniłowicz, Roman Matuszewski, Adam Naumowicz, and Karol Pak. The role of the Mizar Mathematical Library for interactive proof development in Mizar. Journal of Automated Reasoning, 61(1):9–32, 2018. doi:10.1007/s10817-017-9440-6.10.1007/s10817-017-9440-6604425130069070
Open DOI Search in Google Scholar Back to article
[2] Noboru Endou, Hiroyuki Okazaki, and Yasunari Shidama. Higher-order partial differentiation. Formalized Mathematics, 20(2):113–124, 2012. doi:10.2478/v10037-012-0015-z.10.2478/v10037-012-0015-z
Open DOI Search in Google Scholar Back to article
[3] John Fritz. Nonlinear Wave Equations, Formulation of Singularities. American Mathematical Society, 1990. ISBN 978-0-8218-7001-3.
Search in Google Scholar Back to article
[4] Adam Grabowski, Artur Korniłowicz, and Adam Naumowicz. Four decades of Mizar. Journal of Automated Reasoning, 55(3):191–198, 2015. doi:10.1007/s10817-015-9345-1.10.1007/s10817-015-9345-1
Open DOI Search in Google Scholar Back to article
[5] Mitsuhiro Nakao. Bibun-sekibun-gaku (Japanese). Kindai-kagaku-sha, pages 52–53, 1992.
Search in Google Scholar Back to article
[6] Ian Naismith Sneddon. Elements of Partial Differential Equations. Tokyo McGraw-Hill Kogakusha, pages 209–273, 1957.
Search in Google Scholar Back to article
[7] Hiroshi Yamazaki, Yoshinori Fujisawa, and Yatsuka Nakamura. On replace function and swap function for finite sequences. Formalized Mathematics, 9(3):471–474, 2001.
Search in Google Scholar Back to article
[8] Yuguang Yang and Yasunari Shidama. Trigonometric functions and existence of circle ratio. Formalized Mathematics, 7(2):255–263, 1998.
Search in Google Scholar Back to article
[9] Kentaro Yano. Kaiseki-gaku-gairon (Japanese). Shokabo Co., Ltd., 1982.
Search in Google Scholar Back to article

Articles in this issue

DOI: https://doi.org/10.2478/forma-2019-0003 | Journal eISSN: 1898-9934 | Journal ISSN: 1426-2630

Journal RSS Feed

Language: English

Page range: 25 - 34

Accepted on: Feb 27, 2019

Published on: May 16, 2019

Published by: University of Białystok

In partnership with: Paradigm Publishing Services

Publication frequency: 1 issue per year

Keywords:

partial differential equations,

separation of variables,

superposition principle

Related subjects:

Computer sciences,

Computer sciences, other,

Mathematics,

General mathematics

© 2019 Sora Otsuki, Pauline N. Kawamoto, Hiroshi Yamazaki, published by University of Białystok
This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 License.

Volume 27 (2019): Issue 1 (April 2019)