O όρος "λογαριθμική κυρτότητα" πρωτοεισήχθη για να χαρακτηρίσει σύνολα. Αν με τον όρο "λογαριθμικά κυρτή", υπονοείς μία συνάρτηση, της οποίας ο λογάριθμος συνιστά κυρτή συνάρτηση, (αντίστοιχα "λογαριθμικά κοίλη"), απλώς οι συναρτήσεις h(x)=ln(a^x), g(x)=ln(x^a), δεν εμφανίζουν για 0<α,χ<1,τον ίδιο χαρακτήρα κυρτότητας.
Η g(x)=ln(x^a), είναι αυστηρά κοίλη, ενώ η h(x)=ln(a^x), έχει αόριστη κυρτότητα, αφού η παράγωγος f' παριστά ευθεία. (f''(χ)=0, "παντού"). Γενικά, σου επαναλαμβάνω ότι πρόκειται για μία άσκηση, στην οποία βρίσκεις πολλές γοητευτικές ιδέες, αλλά ελάχιστες από αυτές "δουλεύουν".
Σημείωση: Το μήνυμα αυτό γράφτηκε 19 χρόνια πριν. Ο συντάκτης του πιθανόν να έχει αλλάξει απόψεις έκτοτε.