"Closed formula" beralih ke halaman ini. Untuk "rumus tertutup "dalam arti rumus logika tanpa variabel bebas, lihat Kalimat (logika matematika).

Dalam matematika, **Ekspresi bentuk-tertutup** adalah ekspresi matematika yang diekspresikan menggunakan hingga dari operasi standar. Ini mungkin berisi konstanta, variabel, "terkenal" tertentu operasi (misalnya, + - × ÷), dan fungsi (misalnya, akar ke- *ke-'*, eksponen, logaritma , fungsi trigonometri, dan fungsi hiperbolik invers), tetapi biasanya tidak ada batas, diferensiasi, atau integrasi. Himpunan operasi dan fungsi yang diterima dalam ekspresi bentuk tertutup mungkin berbeda dengan penulis dan konteks.

Contoh: akar dari polinomial
----------------------------

Solusi dari setiap persamaan kuadrat dengan kompleks koefisien dapat diekspresikan dalam bentuk tertutup dalam penambahan, pengurangan, perkalian, pembagian, dan akar kuadrat ekstraksi, yang masing-masing merupakan fungsi dasar. Misalnya persamaan kuadrat

{\displaystyle ax^{2}+bx+c=0,}
dapat ditelusuri karena solusinya dapat dinyatakan sebagai ekspresi bentuk tertutup, yaitu dalam istilah fungsi dasar:

{\displaystyle x={\frac {-b\pm {\sqrt {b^{2}-4ac}}}{2a}}.}
Demikian pula solusi persamaan kubik dan kuartik (derajat ketiga dan keempat) dapat diekspresikan menggunakan aritmatika, akar kuadrat, dan akar kubik, atau sebagai alternatif menggunakan fu aritmatika dan trigonometri. Namun, ada persamaan kuintik tanpa solusi bentuk tertutup yang menggunakan fungsi elementer, seperti *x*5 − *x* + 1 = 0.

Suatu bidang studi dalam matematika yang disebut secara luas sebagai teori Galois melibatkan pembuktian bahwa tidak ada ekspresi bentuk tertutup dalam konteks tertentu, berdasarkan contoh pusat solusi bentuk tertutup untuk polinomial.

Berurusan dengan ekspresi non-bentuk tertutup
---------------------------------------------

### Transformasi ke dalam ekspresi bentuk tertutup

Ekspresi:

{\displaystyle f(x)=\sum \_{i=0}^{\infty }{x \over 2^{i}}}
tidak dalam bentuk tertutup karena penjumlahan memerlukan jumlah operasi dasar yang tak terbatas. Namun, dengan menjumlahkan deret geometris, ekspresi ini dapat diekspresikan dalam bentuk tertutup:

{\displaystyle f(x)=2x.}
### Teori Diferensial Galois

Artikel utama: Teori Galois Diferensial
Integral dari ekspresi bentuk tertutup mungkin atau tidak dengan sendirinya dapat diekspresikan sebagai ekspresi bentuk tertutup. Kajian ini disebut sebagai teori Galois diferensial, dengan analogi dengan aljabar Galois.

Teorema dasar teori diferensial Galois adalah karena Joseph Liouville pada tahun 1830-an dan 1840-an dan karenanya disebut sebagai **Teorema Liouville**.

Contoh standar fungsi dasar yang antiturunannya tidak memiliki ekspresi bentuk tertutup adalah:

{\displaystyle e^{-x^{2}},}
yang antiturunannya adalah (hingga konstanta perkalian) fungsi kesalahan:

{\displaystyle \operatorname {erf} (x)={\frac {2}{\sqrt {\pi }}}\int \_{0}^{x}e^{-t^{2}}\,dt.}
### Pemodelan matematika dan simulasi komputer

Persamaan atau sistem yang terlalu kompleks untuk solusi bentuk tertutup atau analitik sering kali dapat dianalisis dengan model matematika ling dan simulasi komputer.

Nomor bentuk tertutup
---------------------

Lihat pula: Teori bilangan transendental
Tiga subbidang dari bilangan kompleks **C** telah disarankan sebagai pengkodean gagasan tentang "bilangan bentuk tertutup"; dalam meningkatkan ketertiban umum, ini adalah bilangan Liouville (jangan disamakan dengan bilangan Liouville dalam pengertian pendekatan rasional), bilangan EL dan nomor dasar. **Bilangan Liouville**, dilambangkan **L**, membentuk subbidang  *aljabar tertutup*  terkecil dari **C** closed di bawah eksponensiasi dan logaritma (secara formal, perpotongan dari semua subkolom semacam itu) —yaitu, angka yang melibatkan eksponen dan logaritma  *eksplisit* , tetapi memungkinkan polinom eksplisit dan  *implisit*  (akar dari polinomial); ini didefinisikan dalam (Ritt 1948, p. 60). **L** pada awalnya disebut sebagai **bilangan elementer**, tetapi istilah ini sekarang digunakan secara lebih luas untuk merujuk pada bilangan yang didefinisikan secara eksplisit atau implisit dalam istilah operasi aljabar, eksponensial, dan logaritma. Definisi yang lebih sempit diusulkan dalam (Chow 1999, pp. 441–442).

Numerikal numerik
-----------------

Untuk keperluan komputasi numerik, bentuk tertutup umumnya tidak diperlukan, karena banyak batasan dan integral dapat dihitung secara efisien.

Konversi dari bentuk numerik
----------------------------

Ada perangkat lunak yang mencoba menemukan ekspresi bentuk tertutup untuk nilai numerik, termasuk RIES, identify in Maple and SymPy, Plouffe's Inverter, and the Inverse Symbolic Calculator.

Lihat pula
----------

* Solusi aljabar
* Operasi finiter
* Solusi numerik
* Simulasi komputer
* Regresi simbolis
* Istilah (logika)
* Fungsi Liouvillian
* Fungsi dasar

Referensi
---------

1. ↑  Holton, Glyn. "Numerical Solution, Closed-Form Solution". Diarsipkan dari versi asli tanggal 4 February 2012. Diakses tanggal 31 December 2012.  Parameter `|url-status=` yang tidak diketahui akan diabaikan (bantuan)
2. ↑  Munafo, Robert. "RIES - Find Algebraic Equations, Given Their Solution". Diakses tanggal 30 April 2012.
3. ↑  "identify". *Maple Online Help*. Maplesoft. Diakses tanggal 30 April 2012.
4. ↑  "Number identification". *SymPy documentation*. Diarsipkan dari versi asli tanggal 2018-07-06. Diakses tanggal 2020-10-20.
5. ↑  "Plouffe's Inverter". Diarsipkan dari versi asli tanggal 19 April 2012. Diakses tanggal 30 April 2012.  Parameter `|url-status=` yang tidak diketahui akan diabaikan (bantuan)
6. ↑  "Inverse Symbolic Calculator". Diarsipkan dari versi asli tanggal 29 March 2012. Diakses tanggal 30 April 2012.  Parameter `|url-status=` yang tidak diketahui akan diabaikan (bantuan)

Bacaan lebih lanjut
-------------------

* Ritt, J. F. (1948), *Integration in finite terms*
* Chow, Timothy Y. (May 1999), "What is a Closed-Form Number?", *American Mathematical Monthly*, **106** (5): 440–448, arXiv:math/9805045 alt=Dapat diakses gratis, doi:10.2307/2589148, JSTOR 2589148
* Jonathan M. Borwein and Richard E. Crandall (January 2013), "Closed Forms: What They Are and Why We Care", *Notices of the American Mathematical Society*, **60** (1): 50–65, doi:10.1090/noti936 alt=Dapat diakses gratis

Pranala luar
------------

* (Inggris) Weisstein, Eric W. "Closed-Form Solution". *MathWorld*.