Tasks in Computations
Shao-Yuan Huang
and Shin-Hwa Wang
|
Introduction |
|
These
works contain computational algorithms and results which support the paper
"Proof of a Conjecture for the One-dimensional Perturbed
Gelfand Problem from Combustion Theory"
by Shao-Yuan Huang, Shin-Hwa Wang. We
divide this project into several tasks explaining the detail of these
computations that appear in Appendix A. In each task, we give a code
and output to illustrate these complex computations. Readers can run these
codes by Maple 16 to check the
computations. These
computations which are carried out by computer are based on symbolic and
exact integer computations. However, in the sake of convenience, these
outputs are displayed in numerical form. Please click the links View the code and Download
the code to view and download the information. |
In Proof of Lemma 5.5
|
Task 1 |
|
|
In Case
1 of Step 1: For |
|
|
|
|
|
|
|
|
Task 2 |
|
|
In Case
2 of Step 1: For |
|
|
|
1.
If
2. If
|
|
Task 3 |
|
|
In Case
3 of Step 1: For |
|
|
|
|
|
|
|
|
Task 4 |
|
|
In Case
4 of Step 1: For |
|
|
|
|
|
|
|
|
Task 5 |
|
|
In Case
1 of Step 2: For |
|
|
|
|
|
|
|
|
Task 6 |
|
|
In Case
2 of Step 2: For |
|
|
|
1. If
2. If
|
|
Task 7 |
|
|
In Case
3 of Step 2: For |
|
|
|
1. For
2. For
3. For
|
|
Task 8 |
|
|
In Case
4 of Step 2: For |
|
|
|
1. For
2. For
3. For
|
In Proof of Lemma 5.6
|
Task 9 |
|
|
In Step
1 of Proof of Part (i): For |
|
|
|
|
|
|
|
|
Task 10 |
|
|
In Step
3 of Proof of Part (i): For |
|
|
|
|
|
|
|
|
Task 11 |
|
|
In
Proof of Part (ii): For |
|
|
|
|
|
|
|
