Bazı fonksiyonlar, girdiler arasındaki toplama veya çarpma işlemlerini fonksiyon değerleri üzerinde benzer ya da farklı işlemlere dönüştüren özel özelliklere sahiptir. Bu özellikler fonksiyonel denklem olarak adlandırılırlar ve birçok önemli fonksiyon türünün ayırt edici özelliklerini oluştururlar. Bu bölümde en sık karşılaşılan dört fonksiyonel denklemi inceleyeceğiz.
İki sayının toplamının görüntüsü, sayıların ayrı ayrı görüntülerinin toplamına eşit ise bu fonksiyon bir doğrusal fonksiyondur.
\( f(x) \ne 0 \) olmak üzere,
\( f(x + y) = f(x) + f(y) \) ise,
\( f(x) = ax \quad (a \in \mathbb{R}) \)
\( f(x) = 2x \)
\( f(3 + 5) = f(3) + f(5) \)
\( 2 \cdot 8 = 2 \cdot 3 + 2 \cdot 5 \)
İki sayının toplamının görüntüsü, sayıların ayrı ayrı görüntülerinin çarpımına eşit ise bu fonksiyon bir üstel fonksiyondur.
\( f(x) \ne 0 \) olmak üzere,
\( f(x + y) = f(x)f(y) \) ise,
\( f(x) = a^{kx} \quad (a, k \in \mathbb{R}) \)
\( f(x) = 2^x \)
\( f(3 + 5) = f(3)f(5) \)
\( 2^8 = 2^3 \cdot 2^5 \)
İki sayının çarpımının görüntüsü, sayıların ayrı ayrı görüntülerinin toplamına eşit ise bu fonksiyon bir logaritma fonksiyonudur.
\( f(x) \ne 0, \quad x, y \gt 0 \) olmak üzere,
\( f(xy) = f(x) + f(y) \) ise,
\( f(x) = k\ln{x} \quad (k \in \mathbb{R}) \)
\( f(x) = \ln{x} \)
\( f(3 \cdot 5) = f(3) + f(5) \)
\( \ln{15} = \ln{3} + \ln{5} \)
İki sayının çarpımın görüntüsü, sayıların ayrı ayrı görüntülerinin çarpımına eşit ise bu fonksiyon bir kuvvet fonksiyonudur.
\( f(x) \ne 0 \) olmak üzere,
\( f(xy) = f(x)f(y) \) ise,
\( f(x) = x^n \quad (n \in \mathbb{R}) \)
\( f(x) = x^3 \)
\( f(3 \cdot 5) = f(3)f(5) \)
\( (3 \cdot 5)^3 = 3^3 \cdot 5^3 \)
\( f(xy) = f(x) + f(y) \) ve \( f(3) = 6 \) olduğuna göre, \( f(27) \) kaçtır?
Çözümü Göster\( f(27) = f(3 \cdot 9) \)
Verilen özdeşliği kullanalım.
\( = f(3) + f(9) \)
\( = f(3) + f(3 \cdot 3) \)
Tekrar verilen özdeşliği kullanalım.
\( = f(3) + f(3) + f(3) \)
\( = 6 + 6 + 6 = 18 \) bulunur.
\( f(a + b) = f(a)f(b) \)
Aşağıdaki fonksiyonlardan hangileri her \( a \) ve \( b \) reel sayısı için yukarıdaki eşitliği sağlar?
I. \( f(x) = 3x \)
II. \( g(x) = x^3 \)
III. \( h(x) = 3^x \)
IV. \( k(x) = \log_3{x} \)
Çözümü GösterI. öncül:
\( f(x) = 3x \)
\( f(a + b) = 3(a + b) \)
\( f(a) = 3a \)
\( f(b) = 3b \)
\( 3(a + b) \ne 3a \cdot 3b \)
Bu öncül verilen koşulu sağlamaz.
II. öncül:
\( g(x) = x^3 \)
\( g(a + b) = (a + b)^3 \)
\( g(a) = a^3 \)
\( g(b) = b^3 \)
\( (a + b)^3 \ne a^3 \cdot b^3 \)
Bu öncül verilen koşulu sağlamaz.
III. öncül:
\( h(x) = 3^x \)
\( h(a + b) = 3^{a + b} \)
\( h(a) = 3^a \)
\( h(b) = 3^b \)
\( 3^{a + b} = 3^a \cdot 3^b \)
Bu öncül verilen koşulu sağlar.
IV. öncül:
\( k(x) = \log_3{x} \)
\( k(a + b) = \log_3(a + b) \)
\( k(a) = \log_3{a} \)
\( k(b) = \log_3{b} \)
\( \log_3(a + b) \ne \log_3{a} \cdot \log_3{b} \)
Bu öncül verilen koşulu sağlamaz.
Sadece III. öncüldeki fonksiyon verilen koşulu sağlar.