例: ディラックのデルタ関数 (単位インパルス関数) と LambertW 関数

関数 > シンボリック関数 > 例: ディラックのデルタ関数 (単位インパルス関数) と LambertW 関数

この例では、ディラックのデルタ関数とLambertW関数の特性について説明します。

ディラックのデルタ関数

ディラックのデルタ関数 delta には次の特性があります。

次のように変換することで、ディラックのデルタ関数を使用した結果が返ります。

<region id="ID0EPIFCB" actualWidth="231.59" actualHeight="51.158666666666669" top="384.00000000000006" left="0" xmlns="http://schemas.mathsoft.com/worksheet50">
  <math resultRef="17">
    <symEval xmlns="http://schemas.mathsoft.com/math50">
      <apply>
        <id xml:space="preserve" labels="FUNCTION" label-is-contextual="true">Φ</id>
        <id xml:space="preserve">τ</id>
      </apply>
      <command>
        <sequence>
          <id xml:space="preserve">fourier</id>
          <id xml:space="preserve">τ</id>
        </sequence>
      </command>
      <symResult>
        <apply>
          <div />
          <apply>
            <plus />
            <apply>
              <mult />
              <apply>
                <mult />
                <id xml:space="preserve" labels="*">ω</id>
                <id xml:space="preserve" labels="CONSTANT">π</id>
              </apply>
              <apply>
                <id xml:space="preserve" labels="FUNCTION">Δ</id>
                <id xml:space="preserve" labels="*">ω</id>
              </apply>
            </apply>
            <imag symbol="i">1</imag>
          </apply>
          <id xml:space="preserve" labels="*">ω</id>
        </apply>
      </symResult>
    </symEval>
    <resultFormat>
      <matrix size="12,12" offset="0,0" show-indices="false" expand-nested-arrays="false" />
    </resultFormat>
  </math>
</region>

上記の例で、Φはヘビサイドのステップ関数です。

LambertW 関数

LambertW 関数は次の方程式のシンボリック解に表れます。

<region id="ID0EBKFCB" actualWidth="278.05333333333334" actualHeight="51.158666666666669" top="460.80000000000007" left="0" xmlns="http://schemas.mathsoft.com/worksheet50">
  <math resultRef="18">
    <symEval xmlns="http://schemas.mathsoft.com/math50">
      <apply>
        <equal />
        <apply>
          <minus />
          <apply>
            <mult />
            <real>5</real>
            <id xml:space="preserve">u</id>
          </apply>
          <apply>
            <pow />
            <id xml:space="preserve" labels="CONSTANT" label-is-contextual="true">e</id>
            <id xml:space="preserve">u</id>
          </apply>
        </apply>
        <real>0</real>
      </apply>
      <command>
        <sequence>
          <id xml:space="preserve">solve</id>
          <id xml:space="preserve">u</id>
        </sequence>
      </command>
      <symResult>
        <apply>
          <neg />
          <apply>
            <id xml:space="preserve" labels="*">LambertW</id>
            <apply>
              <neg />
              <apply>
                <div />
                <real>1</real>
                <real>5</real>
              </apply>
            </apply>
          </apply>
        </apply>
      </symResult>
    </symEval>
    <resultFormat>
      <matrix size="12,12" offset="0,0" show-indices="false" expand-nested-arrays="false" />
    </resultFormat>
  </math>
</region>

<region id="ID0EPKFCB" actualWidth="345.64" actualHeight="86.702666332244874" top="556.80000000000007" left="0" xmlns="http://schemas.mathsoft.com/worksheet50">
  <math resultRef="19">
    <symEval xmlns="http://schemas.mathsoft.com/math50">
      <apply>
        <equal />
        <apply>
          <plus />
          <id xml:space="preserve">a</id>
          <apply>
            <mult />
            <id xml:space="preserve">b</id>
            <id xml:space="preserve">v</id>
          </apply>
        </apply>
        <apply>
          <mult />
          <id xml:space="preserve">c</id>
          <apply>
            <pow />
            <id xml:space="preserve" labels="CONSTANT" label-is-contextual="true">e</id>
            <apply>
              <neg />
              <id xml:space="preserve">v</id>
            </apply>
          </apply>
        </apply>
      </apply>
      <command>
        <sequence>
          <id xml:space="preserve">solve</id>
          <id xml:space="preserve">v</id>
        </sequence>
      </command>
      <symResult>
        <apply>
          <div />
          <apply>
            <minus />
            <apply>
              <mult />
              <id xml:space="preserve" labels="*">b</id>
              <apply>
                <id xml:space="preserve" labels="*">LambertW</id>
                <apply>
                  <div />
                  <apply>
                    <mult />
                    <id xml:space="preserve" labels="*">c</id>
                    <apply>
                      <pow />
                      <id xml:space="preserve" labels="CONSTANT">e</id>
                      <apply>
                        <div />
                        <id xml:space="preserve" labels="*">a</id>
                        <id xml:space="preserve" labels="*">b</id>
                      </apply>
                    </apply>
                  </apply>
                  <id xml:space="preserve" labels="*">b</id>
                </apply>
              </apply>
            </apply>
            <id xml:space="preserve" labels="*">a</id>
          </apply>
          <id xml:space="preserve" labels="*">b</id>
        </apply>
      </symResult>
    </symEval>
    <resultFormat>
      <matrix size="12,12" offset="0,0" show-indices="false" expand-nested-arrays="false" />
    </resultFormat>
  </math>
</region>

<region id="ID0E4KFCB" actualWidth="307.34666666666669" actualHeight="51.158666666666669" top="614.40000000000009" left="0" xmlns="http://schemas.mathsoft.com/worksheet50">
  <math resultRef="20">
    <symEval xmlns="http://schemas.mathsoft.com/math50">
      <apply>
        <equal />
        <apply>
          <minus />
          <apply>
            <mult />
            <id xml:space="preserve">x</id>
            <apply>
              <id xml:space="preserve" labels="FUNCTION" label-is-contextual="true">exp</id>
              <id xml:space="preserve">x</id>
            </apply>
          </apply>
          <apply>
            <div />
            <real>15</real>
            <real>2</real>
          </apply>
        </apply>
        <real>0</real>
      </apply>
      <command>
        <sequence>
          <id xml:space="preserve">solve</id>
          <id xml:space="preserve">x</id>
        </sequence>
      </command>
      <symResult>
        <apply>
          <id xml:space="preserve" labels="*">LambertW</id>
          <apply>
            <div />
            <real>15</real>
            <real>2</real>
          </apply>
        </apply>
      </symResult>
    </symEval>
    <resultFormat>
      <matrix size="12,12" offset="0,0" show-indices="false" expand-nested-arrays="false" />
    </resultFormat>
  </math>
</region>

これらはそれぞれ、LambertW 関数を積分、微分、およびテイラー級数展開したものです。

<region id="ID0EPLFCB" actualWidth="427.00666666666672" actualHeight="56.800000000000004" top="672.00000000000011" left="0" xmlns="http://schemas.mathsoft.com/worksheet50">
  <math resultRef="21">
    <symEval xmlns="http://schemas.mathsoft.com/math50">
      <apply>
        <integral />
        <lambda>
          <boundVars>
            <id xml:space="preserve">x</id>
          </boundVars>
          <apply>
            <id xml:space="preserve" labels="FUNCTION" label-is-contextual="true">LambertW</id>
            <id xml:space="preserve" labels="VARIABLE" label-is-contextual="true">x</id>
          </apply>
        </lambda>
        <lowerBound>
          <placeholder />
        </lowerBound>
        <upperBound>
          <placeholder />
        </upperBound>
      </apply>
      <command>
        <placeholder />
      </command>
      <symResult>
        <apply>
          <plus />
          <apply>
            <mult />
            <id xml:space="preserve" labels="VARIABLE">x</id>
            <apply>
              <id xml:space="preserve" labels="*">LambertW</id>
              <id xml:space="preserve" labels="VARIABLE">x</id>
            </apply>
          </apply>
          <parens>
            <apply>
              <minus />
              <apply>
                <div />
                <id xml:space="preserve" labels="VARIABLE">x</id>
                <apply>
                  <id xml:space="preserve" labels="*">LambertW</id>
                  <id xml:space="preserve" labels="VARIABLE">x</id>
                </apply>
              </apply>
              <id xml:space="preserve" labels="VARIABLE">x</id>
            </apply>
          </parens>
        </apply>
      </symResult>
    </symEval>
    <resultFormat>
      <matrix size="12,12" offset="0,0" show-indices="false" expand-nested-arrays="false" />
    </resultFormat>
  </math>
</region>

<region id="ID0E4LFCB" actualWidth="297.37833333333333" actualHeight="53.743333445231123" top="748.80000000000007" left="0" xmlns="http://schemas.mathsoft.com/worksheet50">
  <math resultRef="22">
    <symEval xmlns="http://schemas.mathsoft.com/math50">
      <apply>
        <derivative />
        <lambda>
          <boundVars>
            <id xml:space="preserve">x</id>
          </boundVars>
          <apply>
            <id xml:space="preserve" labels="FUNCTION" label-is-contextual="true">LambertW</id>
            <id xml:space="preserve" labels="VARIABLE" label-is-contextual="true">x</id>
          </apply>
        </lambda>
        <degree>
          <placeholder />
        </degree>
      </apply>
      <command>
        <placeholder />
      </command>
      <symResult>
        <apply>
          <div />
          <apply>
            <id xml:space="preserve" labels="*">LambertW</id>
            <id xml:space="preserve" labels="VARIABLE">x</id>
          </apply>
          <apply>
            <plus />
            <apply>
              <mult />
              <id xml:space="preserve" labels="VARIABLE">x</id>
              <apply>
                <id xml:space="preserve" labels="*">LambertW</id>
                <id xml:space="preserve" labels="VARIABLE">x</id>
              </apply>
            </apply>
            <id xml:space="preserve" labels="VARIABLE">x</id>
          </apply>
        </apply>
      </symResult>
    </symEval>
    <resultFormat>
      <matrix size="12,12" offset="0,0" show-indices="false" expand-nested-arrays="false" />
    </resultFormat>
  </math>
</region>

<region id="ID0ELMFCB" actualWidth="495.06999999999994" actualHeight="51.158666666666669" top="825.60000000000014" left="0" xmlns="http://schemas.mathsoft.com/worksheet50">
  <math resultRef="23">
    <symEval xmlns="http://schemas.mathsoft.com/math50">
      <apply>
        <id xml:space="preserve" labels="FUNCTION" label-is-contextual="true">LambertW</id>
        <id xml:space="preserve">x</id>
      </apply>
      <command>
        <sequence>
          <sequence>
            <id xml:space="preserve">series</id>
            <apply>
              <equal />
              <id xml:space="preserve">x</id>
              <real>0</real>
            </apply>
          </sequence>
          <real>6</real>
        </sequence>
      </command>
      <symResult>
        <apply>
          <minus />
          <apply>
            <plus />
            <apply>
              <minus />
              <apply>
                <plus />
                <apply>
                  <minus />
                  <id xml:space="preserve" labels="*">x</id>
                  <apply>
                    <pow />
                    <id xml:space="preserve" labels="*">x</id>
                    <real>2</real>
                  </apply>
                </apply>
                <apply>
                  <mult />
                  <apply>
                    <div />
                    <real>3</real>
                    <real>2</real>
                  </apply>
                  <apply>
                    <pow />
                    <id xml:space="preserve" labels="*">x</id>
                    <real>3</real>
                  </apply>
                </apply>
              </apply>
              <apply>
                <mult />
                <apply>
                  <div />
                  <real>8</real>
                  <real>3</real>
                </apply>
                <apply>
                  <pow />
                  <id xml:space="preserve" labels="*">x</id>
                  <real>4</real>
                </apply>
              </apply>
            </apply>
            <apply>
              <mult />
              <apply>
                <div />
                <real>125</real>
                <real>24</real>
              </apply>
              <apply>
                <pow />
                <id xml:space="preserve" labels="*">x</id>
                <real>5</real>
              </apply>
            </apply>
          </apply>
          <apply>
            <mult />
            <apply>
              <div />
              <real>54</real>
              <real>5</real>
            </apply>
            <apply>
              <pow />
              <id xml:space="preserve" labels="*">x</id>
              <real>6</real>
            </apply>
          </apply>
        </apply>
      </symResult>
    </symEval>
    <resultFormat>
      <matrix size="12,12" offset="0,0" show-indices="false" expand-nested-arrays="false" />
    </resultFormat>
  </math>
</region>