<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...

线性偏微分方程的一个简单例子及其分离变量法求解

在线发布:2019年5月16日

页面范围： 25 - 34

认可的:2019年2月27日

内政部： https://doi.org/10.2478/forma-2019-0003

关键词
偏微分方程,变量分离,叠加原理

©2019 Sora Otsuki等人，Sciendo出版

本作品根据Creative Commons Attribution-ShareAlike 4.0公共许可证授权。