Thread: Unknown real non-analytic smooth function

This is my first post on math help forum, and I feel quiet enthusiastic about it, although the problem I have is pretty challenging.

So let me start. I have a real function (function of a real variable) in form:



where k is some real constant, and g(x) is an arbitrary unknown also real function. I want to make another function h(x) in a following way:



which should be smooth (all derivatives exist) at every point. Of course if f(x) is smooth, by definition h(x) will be also smooth in all points but x=0. To make it also smooth at zero the following condition should be satisfied.



If we consider its Taylor series with this condition, f(x) is either going to be a constant or non-analytic function. Yes, you guessed, I need this second one.

Finally we came to the question.

I should construct g(x) such that h(x) is smooth at every point (zero is the non-trivial one).

I started calculating higher order derivatives of f(x). Based on obtained results I reckon that if I find g(x) that satisfies following two conditions, my problem will be solved.




Polynomial functions do not work here, so some trick with exponential one perhaps should work. Anyhow, if somebody has any clue how to proceed with this, euphemism is that I would be very grateful. Of course, I would be happy if someone proves me that this what I am looking for is not possible. I'll simply forward your message to my supervisor , and multiply my f(x) with:



Cheers.

The structure of (while looking quite random and complex at first) actually yields some good clues:

Start with the original function:

Rewrite:

Denote new functions and

The equation now becomes:

Deriving, , or

Therefore ------(1) (The same result can be shown using Taylor Series)

Find such an A and B and convert them back in terms of f and g: and

I have looked at a handful of candidate functions, A and B but have not found anything by trial. Find any two functions A and B whose sum equals the ratio of their first derivatives or prove that none exist. This is just a first order differential equation, so it should be possible to solve. I took the liberty of starting a thread for the DiffEq guys to look into it: http://www.mathhelpforum.com/math-he...96754-b-b.html

I was on holiday, so that's why I'm replying so late.

First of all, thank you for your interest on my post/problem. Unfortunately, besides really nice gymnastics on the functions and , there's not much helpful information in there in terms of making smooth, and hence all derivatives of zero in .

However, I appreciate your help.