Soluzione di ODE utilizzando il modificatore generated

Matematica simbolica > Valutazione simbolica > Soluzione di ODE utilizzando il modificatore generated

Soluzione di equazioni differenziali ordinarie del primo ordine utilizzando il modificatore generated

L'utilizzo del modificatore generated per la soluzione di equazioni differenziali ordinarie (ODE) consente di impostare un insieme di soluzioni particolari per l'ODE, anziché ricevere una soluzione generale.

1. Risolvere la seguente ODE, scritta con notazione prima, utilizzando la parola chiave solve.

<region id="ID0EVN2LB" 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. Risolvere la stessa ODE, questa volta aggiungendo il modificatore generated per ricevere una soluzione particolare.

<region id="ID0EJP2LB" 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. È possibile risolvere le equazioni ODE scritte in notazione derivativa utilizzando il modificatore generated Si riceve una soluzione particolare.

<region id="ID0E4Q2LB" 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>

Soluzione di ODE del secondo ordine utilizzando il modificatore generated

Utilizzare il modificatore generated per risolvere le ODE di derivata seconda.

1. Risolvere la seguente ODE di derivata seconda utilizzando la parola chiave solve.

<region id="ID0EHT2LB" 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. Risolvere la stessa ODE di derivata seconda, questa volta aggiungendo il modificatore generated. Si riceve una soluzione particolare.

<region id="ID0E2U2LB" 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>

Soluzione di un sistema di ODE utilizzando il modificatore generated

È possibile risolvere un sistema di ODE utilizzando il modificatore generated, ricevendo una soluzione particolare.

<region id="ID0E3V2LB" 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>

Argomenti correlati

Soluzione simbolica di equazioni differenziali ordinarie

Algoritmi per equazioni ODE

Risoluzione delle equazioni mediante i modificatori generated ed eval

È stato utile?