generated 変更因子を使用した常微分方程式の求解

シンボリック > シンボリック評価 > generated 変更因子を使用した常微分方程式の求解

generated を使用した 1 階常微分方程式の求解

常微分方程式の求解に generated 変更因子を使用することで、一般的な解を受け取るのではなく、常微分方程式の特定の解の範囲を設定できます。

1. キーワード solve. を使用して、プライム記号で記述されている次の常微分方程式を解きます。

<region id="ID0EDYGLB" actualWidth="315.19333333333338" actualHeight="114.152" top="57.600000000000009" left="19.200000000000003" xmlns="http://schemas.mathsoft.com/worksheet50">
  <math resultRef="6">
    <symEval xmlns="http://schemas.mathsoft.com/math50">
      <apply>
        <equal />
        <apply>
          <apply>
            <functionDerivative />
            <id xml:space="preserve">y</id>
          </apply>
          <id xml:space="preserve">x</id>
        </apply>
        <apply>
          <plus />
          <apply>
            <id xml:space="preserve">y</id>
            <id xml:space="preserve">x</id>
          </apply>
          <id xml:space="preserve">x</id>
        </apply>
      </apply>
      <command>
        <sequence>
          <id xml:space="preserve">solve</id>
          <id xml:space="preserve">y</id>
        </sequence>
      </command>
      <symResult>
        <program>
          <if>
            <test>
              <apply>
                <elementOf />
                <id xml:space="preserve" labels="VARIABLE">_z</id>
                <id xml:space="preserve" labels="CONSTANT">ℂ</id>
              </apply>
            </test>
            <then>
              <program>
                <apply>
                  <minus />
                  <apply>
                    <mult />
                    <id xml:space="preserve" labels="VARIABLE">_z</id>
                    <apply>
                      <pow />
                      <id xml:space="preserve" labels="CONSTANT">e</id>
                      <id xml:space="preserve" labels="VARIABLE">x</id>
                    </apply>
                  </apply>
                  <parens>
                    <apply>
                      <plus />
                      <id xml:space="preserve" labels="VARIABLE">x</id>
                      <real>1</real>
                    </apply>
                  </parens>
                </apply>
              </program>
            </then>
            <else>
              <program>
                <id xml:space="preserve" labels="*">undefined</id>
              </program>
            </else>
          </if>
        </program>
      </symResult>
    </symEval>
    <resultFormat>
      <matrix size="12,12" offset="0,0" show-indices="false" expand-nested-arrays="false" />
    </resultFormat>
  </math>
</region>

2. 同じ常微分方程式を解きます。ここでは、generated 変更因子を追加して特定の解を受け取ります。

<region id="ID0EXZGLB" actualWidth="362.92666666666668" actualHeight="39.2" top="211.20000000000005" left="19.200000000000003" xmlns="http://schemas.mathsoft.com/worksheet50">
  <math resultRef="7">
    <symEval xmlns="http://schemas.mathsoft.com/math50">
      <apply>
        <equal />
        <apply>
          <apply>
            <functionDerivative />
            <id xml:space="preserve">y</id>
          </apply>
          <id xml:space="preserve">x</id>
        </apply>
        <apply>
          <plus />
          <apply>
            <id xml:space="preserve">y</id>
            <id xml:space="preserve">x</id>
          </apply>
          <id xml:space="preserve">x</id>
        </apply>
      </apply>
      <command>
        <sequence>
          <sequence>
            <id xml:space="preserve">solve</id>
            <id xml:space="preserve">y</id>
          </sequence>
          <apply>
            <equal />
            <id xml:space="preserve">generated</id>
            <apply>
              <id xml:space="preserve">eval</id>
              <real>0</real>
            </apply>
          </apply>
        </sequence>
      </command>
      <symResult>
        <apply>
          <minus />
          <apply>
            <neg />
            <id xml:space="preserve" labels="VARIABLE">x</id>
          </apply>
          <real>1</real>
        </apply>
      </symResult>
    </symEval>
    <resultFormat>
      <matrix size="12,12" offset="0,0" show-indices="false" expand-nested-arrays="false" />
    </resultFormat>
  </math>
</region>

3. generated 変更因子を使用して、導関数表記で記述されている常微分方程式を解くことができます。特定の解を受け取ります。

<region id="ID0EK2GLB" actualWidth="454.32166666666672" actualHeight="53.743333445231123" top="307.20000000000005" left="19.200000000000003" xmlns="http://schemas.mathsoft.com/worksheet50">
  <math resultRef="8">
    <symEval xmlns="http://schemas.mathsoft.com/math50">
      <apply>
        <equal />
        <apply>
          <plus />
          <apply>
            <derivative />
            <lambda>
              <boundVars>
                <id xml:space="preserve">x</id>
              </boundVars>
              <apply>
                <id xml:space="preserve">y</id>
                <id xml:space="preserve" labels="VARIABLE" label-is-contextual="true">x</id>
              </apply>
            </lambda>
            <degree>
              <placeholder />
            </degree>
          </apply>
          <apply>
            <id xml:space="preserve">y</id>
            <id xml:space="preserve">x</id>
          </apply>
        </apply>
        <id xml:space="preserve">x</id>
      </apply>
      <command>
        <sequence>
          <sequence>
            <id xml:space="preserve">solve</id>
            <id xml:space="preserve">y</id>
          </sequence>
          <apply>
            <equal />
            <id xml:space="preserve">generated</id>
            <id xml:space="preserve">complex</id>
          </apply>
        </sequence>
      </command>
      <symResult>
        <apply>
          <plus />
          <apply>
            <mult />
            <id xml:space="preserve" labels="VARIABLE">_z</id>
            <apply>
              <pow />
              <id xml:space="preserve" labels="CONSTANT">e</id>
              <apply>
                <neg />
                <id xml:space="preserve" labels="VARIABLE">x</id>
              </apply>
            </apply>
          </apply>
          <parens>
            <apply>
              <minus />
              <id xml:space="preserve" labels="VARIABLE">x</id>
              <real>1</real>
            </apply>
          </parens>
        </apply>
      </symResult>
    </symEval>
    <resultFormat>
      <matrix size="12,12" offset="0,0" show-indices="false" expand-nested-arrays="false" />
    </resultFormat>
    <formattingOverride BackgroundColor="#00FFFFFF" />
  </math>
</region>

generated を使用した 2 階常微分方程式の求解

generated 変更因子を使用して、2 階常微分方程式を解きます。

1. キーワード solve を使用して、次の 2 階常微分方程式を解きます。

<region id="ID0ET4GLB" actualWidth="558.7239994446436" actualHeight="146.59199971113603" top="403.20000000000005" left="0" xmlns="http://schemas.mathsoft.com/worksheet50">
  <math resultRef="9">
    <symEval xmlns="http://schemas.mathsoft.com/math50">
      <apply>
        <equal />
        <apply>
          <minus />
          <apply>
            <derivative />
            <lambda>
              <boundVars>
                <id xml:space="preserve">x</id>
              </boundVars>
              <apply>
                <id xml:space="preserve">y</id>
                <sequence>
                  <id xml:space="preserve" labels="VARIABLE" label-is-contextual="true">x</id>
                  <id xml:space="preserve">s</id>
                </sequence>
              </apply>
            </lambda>
            <degree>
              <real>2</real>
            </degree>
          </apply>
          <apply>
            <mult />
            <id xml:space="preserve">a</id>
            <apply>
              <id xml:space="preserve">y</id>
              <sequence>
                <id xml:space="preserve">x</id>
                <id xml:space="preserve">s</id>
              </sequence>
            </apply>
          </apply>
        </apply>
        <id xml:space="preserve">b</id>
      </apply>
      <command>
        <sequence>
          <id xml:space="preserve">solve</id>
          <apply>
            <id xml:space="preserve">y</id>
            <sequence>
              <id xml:space="preserve">x</id>
              <id xml:space="preserve">s</id>
            </sequence>
          </apply>
        </sequence>
      </command>
      <symResult>
        <program>
          <if>
            <test>
              <apply>
                <and />
                <apply>
                  <elementOf />
                  <id xml:space="preserve" labels="VARIABLE">_z</id>
                  <id xml:space="preserve" labels="CONSTANT">ℂ</id>
                </apply>
                <apply>
                  <elementOf />
                  <id xml:space="preserve" labels="VARIABLE">_z1</id>
                  <id xml:space="preserve" labels="CONSTANT">ℂ</id>
                </apply>
              </apply>
            </test>
            <then>
              <program>
                <apply>
                  <plus />
                  <apply>
                    <mult />
                    <id xml:space="preserve" labels="VARIABLE">_z1</id>
                    <apply>
                      <pow />
                      <id xml:space="preserve" labels="CONSTANT">e</id>
                      <apply>
                        <div />
                        <apply>
                          <mult />
                          <id xml:space="preserve" labels="VARIABLE">x</id>
                          <apply>
                            <nthRoot />
                            <placeholder />
                            <apply>
                              <mult />
                              <real>4</real>
                              <id xml:space="preserve" labels="VARIABLE">a</id>
                            </apply>
                          </apply>
                        </apply>
                        <real>2</real>
                      </apply>
                    </apply>
                  </apply>
                  <parens>
                    <apply>
                      <minus />
                      <apply>
                        <mult />
                        <id xml:space="preserve" labels="VARIABLE">_z</id>
                        <apply>
                          <pow />
                          <id xml:space="preserve" labels="CONSTANT">e</id>
                          <apply>
                            <div />
                            <apply>
                              <neg />
                              <parens>
                                <apply>
                                  <mult />
                                  <id xml:space="preserve" labels="VARIABLE">x</id>
                                  <apply>
                                    <nthRoot />
                                    <placeholder />
                                    <apply>
                                      <mult />
                                      <real>4</real>
                                      <id xml:space="preserve" labels="VARIABLE">a</id>
                                    </apply>
                                  </apply>
                                </apply>
                              </parens>
                            </apply>
                            <real>2</real>
                          </apply>
                        </apply>
                      </apply>
                      <apply>
                        <div />
                        <id xml:space="preserve" labels="VARIABLE">b</id>
                        <id xml:space="preserve" labels="VARIABLE">a</id>
                      </apply>
                    </apply>
                  </parens>
                </apply>
              </program>
            </then>
            <else>
              <program>
                <id xml:space="preserve" labels="*">undefined</id>
              </program>
            </else>
          </if>
        </program>
      </symResult>
    </symEval>
    <resultFormat>
      <matrix size="12,12" offset="0,0" show-indices="false" expand-nested-arrays="false" />
    </resultFormat>
    <formattingOverride BackgroundColor="#00FFFFFF" />
  </math>
</region>

2. 同じ 2 階常微分方程式を解きます。ここでは、generated 変更因子を追加します。特定の解を受け取ります。

<region id="ID0EH6GLB" actualWidth="454.33333333333331" actualHeight="53.743333445231123" top="614.40000000000009" left="0" xmlns="http://schemas.mathsoft.com/worksheet50">
  <math resultRef="10">
    <symEval xmlns="http://schemas.mathsoft.com/math50">
      <apply>
        <equal />
        <apply>
          <minus />
          <apply>
            <derivative />
            <lambda>
              <boundVars>
                <id xml:space="preserve">x</id>
              </boundVars>
              <apply>
                <id xml:space="preserve">y</id>
                <sequence>
                  <id xml:space="preserve" labels="VARIABLE" label-is-contextual="true">x</id>
                  <id xml:space="preserve">s</id>
                </sequence>
              </apply>
            </lambda>
            <degree>
              <real>2</real>
            </degree>
          </apply>
          <apply>
            <mult />
            <id xml:space="preserve">a</id>
            <apply>
              <id xml:space="preserve">y</id>
              <sequence>
                <id xml:space="preserve">x</id>
                <id xml:space="preserve">s</id>
              </sequence>
            </apply>
          </apply>
        </apply>
        <id xml:space="preserve">b</id>
      </apply>
      <command>
        <sequence>
          <sequence>
            <id xml:space="preserve">solve</id>
            <apply>
              <id xml:space="preserve">y</id>
              <sequence>
                <id xml:space="preserve">x</id>
                <id xml:space="preserve">s</id>
              </sequence>
            </apply>
          </sequence>
          <apply>
            <equal />
            <id xml:space="preserve">generated</id>
            <apply>
              <id xml:space="preserve">eval</id>
              <real>0</real>
            </apply>
          </apply>
        </sequence>
      </command>
      <symResult>
        <apply>
          <neg />
          <apply>
            <div />
            <id xml:space="preserve" labels="VARIABLE">b</id>
            <id xml:space="preserve" labels="VARIABLE">a</id>
          </apply>
        </apply>
      </symResult>
    </symEval>
    <resultFormat>
      <matrix size="12,12" offset="0,0" show-indices="false" expand-nested-arrays="false" />
    </resultFormat>
    <formattingOverride BackgroundColor="#00FFFFFF" />
  </math>
</region>

generated を使用した連立常微分方程式の求解

generated 変更因子を使用して連立常微分方程式を解き、特定の解を受け取ります。

<region id="ID0EHAHLB" actualWidth="451.14000000000004" actualHeight="97.738667114257822" top="806.40000000000009" left="19.200000000000003" xmlns="http://schemas.mathsoft.com/worksheet50">
  <math resultRef="11">
    <symEval xmlns="http://schemas.mathsoft.com/math50">
      <matrix rows="2" cols="1">
        <apply>
          <equal />
          <apply>
            <plus />
            <apply>
              <derivative />
              <lambda>
                <boundVars>
                  <id xml:space="preserve">x</id>
                </boundVars>
                <apply>
                  <id xml:space="preserve">y</id>
                  <id xml:space="preserve" labels="VARIABLE" label-is-contextual="true">x</id>
                </apply>
              </lambda>
              <degree>
                <placeholder />
              </degree>
            </apply>
            <parens>
              <apply>
                <derivative />
                <lambda>
                  <boundVars>
                    <id xml:space="preserve">x</id>
                  </boundVars>
                  <apply>
                    <id xml:space="preserve">z</id>
                    <id xml:space="preserve" labels="VARIABLE" label-is-contextual="true">x</id>
                  </apply>
                </lambda>
                <degree>
                  <placeholder />
                </degree>
              </apply>
            </parens>
          </apply>
          <real>1</real>
        </apply>
        <apply>
          <equal />
          <apply>
            <plus />
            <apply>
              <derivative />
              <lambda>
                <boundVars>
                  <id xml:space="preserve">x</id>
                </boundVars>
                <apply>
                  <id xml:space="preserve">z</id>
                  <id xml:space="preserve" labels="VARIABLE" label-is-contextual="true">x</id>
                </apply>
              </lambda>
              <degree>
                <placeholder />
              </degree>
            </apply>
            <apply>
              <id xml:space="preserve">y</id>
              <id xml:space="preserve">x</id>
            </apply>
          </apply>
          <real>1</real>
        </apply>
      </matrix>
      <command>
        <sequence>
          <sequence>
            <sequence>
              <id xml:space="preserve">solve</id>
              <id xml:space="preserve">y</id>
            </sequence>
            <id xml:space="preserve">z</id>
          </sequence>
          <apply>
            <equal />
            <id xml:space="preserve">generated</id>
            <apply>
              <id xml:space="preserve">eval</id>
              <real>0</real>
            </apply>
          </apply>
        </sequence>
      </command>
      <symResult>
        <matrix rows="1" cols="2">
          <real>0</real>
          <id xml:space="preserve" labels="VARIABLE">x</id>
        </matrix>
      </symResult>
    </symEval>
    <resultFormat>
      <matrix size="12,12" offset="0,0" show-indices="false" expand-nested-arrays="false" />
    </resultFormat>
  </math>
</region>