The name "functional equation" is used for problems where the goal is to find all functions satisfying the given equation (and maybe some other conditions). So in this case, solving the equation means finding all functions fulfilling the equation. (This is different from the more common use of the ...

learn more… | top users | synonyms

22
votes
0answers
517 views

Find all functions $f$ such that if $a+b$ is a square, then $f(a)+f(b)$ is a square

Question: For any $a,b\in \mathbb{N}^{+}$, if $a+b$ is a square number, then $f(a)+f(b)$ is also a square number. Find all such functions. My try: It is clear that the function $$f(x)=x$$ ...
7
votes
0answers
96 views

Looking for all sequences such that $a_i^2+a_j^2=a_k^2+a_l^2$ whenever $i^2+j^2=k^2+l^2$

I'm working in a difficult functional equation, and I have reduced the problem to the following question ($\mathbb{N}$ denotes the set of non negative integers $0,1,2,3,4\cdots$) Question: Can we ...
7
votes
0answers
89 views

Find all pairs of functions $(f,g)$, $\forall x, y \in \mathbb{R}, f(x+g(y))=x f(y) - y f(x) + g(x)$

Find all pairs of functions $(f,g)$ : $\mathbb{R} \to \mathbb{R}, g : \mathbb{R} \to \mathbb{R}$ satisfying : $$\forall x, y \in \mathbb{R}, f(x+g(y))=x f(y) - y f(x) + g(x)$$ I am really ...
7
votes
0answers
127 views

How to prove subadditive function?

Let $f: [0, \infty) \to \Bbb R$ be a function satisfying the following conditions: (1) For any $x,y \geq 0, f(x+y) \geq f(x) + f(y)$. (2) For any $x \in [0,2], f(x) \geq x^2 - x$. Prove that, for ...
7
votes
0answers
262 views

Differentiable functions satisfying $f'(f(x))=f(f'(x))$

I am wondering whether or not there is a reasonable characterization of differentiable functions $f: \mathbb{R}\to \mathbb{R}$ such that $f'(f(x))=f(f'(x))$ for each $x\in\mathbb{R}$. (Or, if you like ...
7
votes
0answers
160 views

Solution(s) to $f(x+f(y))+f(y+f(x))=2f(f(x))f(f(y))$

I would like to know the solutions of the functional equation: $$f(x+f(y))+f(y+f(x))=2f(f(x))f(f(y)), \forall x,y\in\mathbb{R}$$ where $f:\mathbb{R}\rightarrow\mathbb{R}$. I have already determined ...
7
votes
0answers
65 views

What are the densities of branches of the euclidean tree?

The Euclidean algorithm shows how all coprime pairs of positive integers can be uniquely obtained from the pair $(1,1)$ by applying the two operations $(a,b) \to (a+b,b)$ and $(a,b) \to (a,a+b)$. (or ...
5
votes
0answers
87 views

$\int_0^1 \frac{\ln(1+x^a)}{1+x}\, dx$

I have recently met with this integral: $$\int_0^1 \frac{\ln(1+x^a)}{1+x}\, dx$$ I want to evaluate it in a closed form, if possible. 1st functional equation: $\displaystyle f(a)=\ln^2 2-f\left ( ...
5
votes
0answers
259 views

What special role plays the function $\pi^{\frac x\pi}$ in analysis?

I have tried to redefine some special functions in the most "natural" way, that is the way which allows to simplify the relations the most. I would call these functions "parelementary". The ...
5
votes
0answers
79 views

Convergence of the solution of Volterra integral equation with convergent kernel.

Consider the following Volterra integral equation $$ g(t) = \int_0^t K_n(t,s)w_n(s) ds $$ where $g(t)$ and $K_n(t,s)$ are known(continuous) and $K_n(t,s)\geq K_{n+1}(t,s)$ for all $t,s$. Moreover, ...
5
votes
0answers
90 views

Solving a functional equation in $L_2(\mathbb{R})$

Let $e\left(x\right)=e^{2\pi ix}$ and let $F$ be an arbitrary complex-valued function in $L^2 (\mathbb R)$. I am trying to solve the following functional equation (or rather family of equations): ...
5
votes
0answers
155 views

Width of the Eiffel Tower as a function of height?

In the preface of Advanced Engineering Mathematics, 2nd Ed. by Zill and Cullen, it is claimed that the function relating the width of the Eiffel Tower as to the distance from its top, $x \mapsto ...
4
votes
0answers
89 views

Integer functional equation $f(f(f(n)))=f(n+1)+1$

Can you find all functions $f:\mathbb N\rightarrow\mathbb N$ satisfying the functional equation $$ f(f(f(n)))=f(n+1)+1 $$
4
votes
0answers
48 views

Solution techniques for f'(x)=f(g(x))

I stumbled over this seemingly natural question and was surprised, that I couldn't find a satisfying answer. Differential equations of the type $f'(x)=g(f(x))$ are studied for all kind of classes of ...
4
votes
0answers
93 views

Infinite Double Exponential Sum, with Functional Equation $g(x) = g(\sqrt{x})$

What is a closed form for $$ \sum_{-\infty}^{\infty}\frac{x^{2^i}(x^{2^i}-1)}{(x^{2^{i+2}}+1)} $$ The series has the form: $$... \frac{x^{\frac{1}{4}}(x^{\frac{1}{4}}-1)}{x+1} + ...
4
votes
0answers
115 views

Show that f is periodic if $f(x+a)+f(x+b)=\frac{f(2x)}{2}$?

Suppose $a$ and $b$ are distinct real numbers and $f$ is a continuous real function such that $\frac{f(x)}{x^2}$ goes to 0 when $x$ goes to infinity or minus infinity. Suppose that$ ...
4
votes
0answers
105 views

Symmetry and the zeta function

It is an incontestable fact that symmetry is one of, if not the, most powerful tools a mathematician can have at his or her disposal. What I want to know, is if there are any good reasons as to why it ...
4
votes
0answers
246 views

A late-diverging “approximating solution” for a system of functional equations

Peace be upon you, At the end of this question, I have shown that how computing MLE on an i.i.d Beta distributed data, results in the following system \begin{align*} &\begin{cases} ...
4
votes
0answers
38 views

Wronskian different from zero and solutions of ODE.

Let $a_0, \ldots , a_{n-1}$ continuous functions in an interval $I$.Consider the equation $$x^{(n)} = a_{n-1}(t)x^{(n-1)}+\cdots+a_0(t)x. \tag 1$$ Let $\phi_1, \phi_2, \ldots,\phi_n$ $n$ are ...
4
votes
0answers
85 views

$f(a+b,\lambda) = f (a,\lambda) \cdot f(b,\lambda)$

Consider the equation: $f(a+b,\lambda) = f (a,\lambda) \cdot f(b,\lambda)$, for $a \geq 0$ and $b \geq 0$. Is my understanding that this simple functional equation is important in analysis. Can ...
4
votes
0answers
194 views

Vector valued contraction

I am familiar with the Banach Fixed Point Theorem and I have used it to prove existence and uniqueness of functional equations in Banach spaces like $C(X)$, the space of bounded continuous function ...
3
votes
0answers
74 views

How to solve this finite-difference equation?

How to solve the following finite-differences equation: $$f(x) = f(x-1) + f(x-\sqrt{2}), \quad x\in [\sqrt{2}, +\infty) \,?$$ Let's say $f(x) = f_0(x)$ for $x \in [0, \sqrt{2})$ is a given function. ...
3
votes
0answers
32 views

Convergence of sum of antiderivative and derivative

This question is inspired by this question: Solutions for $ \frac{dy}{dx}=y $?. It makes me wonder if there are any function where the sum of all antiderivative and derivative converges. The ...
3
votes
0answers
79 views

Is this a field of study?

Is there a name for an equation that takes the following form? $$F(f(x),f^{-1}(x),x)=0$$ A nice example being $$f(x)-f^{-1}(x)=0$$ because the solutions of this equation are their own inverses. ...
3
votes
0answers
62 views

Solving functional equation

Problem:find all continuous functions $f:[0,+\infty)\to [0,+\infty)$ such that $$f(y^2f(x)+x^2f(y))=xy(f(x)+f(y)),\;\forall x,y\in [0,+\infty)$$
3
votes
0answers
53 views

Could we compute $P(t^2)$?

Let $P$ be an operator such that $P(kx)=kP(x)$, $k \in \mathbb{C}$, $x$ is a variable, $P(xy)=P(xP(y))+P(P(x)y)-P(x)P(y)$, $x, y$ are variables. All variables commute. Let $P(t)=t$. Then ...
3
votes
0answers
79 views

Order of Recursion?

Define an extended algebraic function $f(a)$ as a function on $a$ that utilizes any combination of recursive extensions and inverses of sequentiation. Example: $a + 1$ , sequentiation. $a + a$, ...
3
votes
0answers
50 views

secants, exponentials, quotient structures

Trigonometric functions are . . . . . . somewhat like exponential functions. If $f$ is an exponential function, then $\displaystyle \frac{\prod_i ...
3
votes
0answers
250 views

A function $f(x)$ such that $f(f(x))=\ln(x)$

How to find a continuous function $f(x)$ for $x > 12$, such that $f(f(x))=\ln(x)$? Preferably analytic too.
3
votes
0answers
150 views

Analytic function that provide $f^2(z)=z$

I am trying to solve this problem: Does there exist a function $f(z)$, that is analytic at $E=\{x+iy :x>y\}$ and provides $f^2(z)=z$ for every $z \in \mathbb C$. I have seen a solution that ...
3
votes
0answers
77 views

Function Shape Reference

I'm wondering if their exists a visual/behavioral reference for the fundamental families of functions. I'm not a mathematician so excuse my language if I'm being overly vague. I would like to have a ...
2
votes
0answers
73 views

We all know about compositions of functions, but what about decomposition. Is there a way with math, not just heuristics?

The composition operator is a well know and quite often used method in integration and differentiation, think u-substitution. However, given a composition like $$f(f(f(...f(x)...)))$$ Where there are ...
2
votes
0answers
89 views

Solving functional equation for all real numbers.

The functional equation to be solved is $ f(x+y) +f(x)f(y)=f(x)+f(y)+f(xy)$. Domain:Reals,Codomain:Reals.I found about 4 possible solutions to the equation but ran into a fundamental problem with all ...
2
votes
0answers
42 views

What problems are related with the following type of FDE with delay?

Consider the following class of functional differential equations with delay: $$\begin{align} \frac{du}{dt} &= F(x,t,u(x,t),u_{t,x}), & (x,t) &\in [a,b] \times [0,T] \\ u(x,t) &= ...
2
votes
0answers
45 views

Is the product rule for logarithms an if-and-only-if statement?

If a function $f(x)$ is proportional to $\ln x$, then we know $$ f(xy) = f(x) + f(y). $$ My question is, Is the converse true? If we know that, for an unknown function f, $$ f(xy) = f(x) + f(y), $$ ...
2
votes
0answers
45 views

Functions that hasn't any root

we say that a function like $f:X \to X$ has root if exists a function like $g:X\to X$ that for every $x \in X$: $$f(x) = g(g(x))$$ what is a necessary and sufficient condition for $f$ that it has a ...
2
votes
0answers
36 views

Don't understand why this generating function needs to be taken to the power $-1$

I'm given the following recursive formula for a sequence: $u_{n+1}=u_n+\sum_{k=1}^{n-1}u_ku_{n-k}\ (n\ge1),\ u_0=0,\ u_1=1$ Since $u_0=0$ we can rewrite: $u_{n+1}=u_n+\sum_{k=0}^{n}u_ku_{n-k},\ ...
2
votes
0answers
61 views

Is there a way to graphically show that a solution is the minimum or stationary solution to a functional?

I'm looking for the functional analogue to the visual representations of function optimization you most commonly see. To illustrate, if we have some function: $$ f(x) = (x-1)^2+1 $$ We can look at ...
2
votes
0answers
51 views

Does the equation $\tan(x)=y$ have any non-zero rational solution?

Trivially $\tan(0)=0$ but it seems this is the "unique" solution of the equation $\tan(x)=y$ on rational numbers. In fact if we try to make $y$ rational we usually use irrational (transcendental) ...
2
votes
0answers
34 views

The existence of integral equations solution for a 2-dimensional unknown function

Suppose $f(\cdot,\cdot)\in C[0,1]^2$ is a kernel. $f$ is integratble $\int_0^1\int_0^1 f(x,y)dxdy<\infty$. $a,b\in C[0,1]$ are known functions, and $z(\cdot,\cdot)\in C[0,1]^2$ is a 2-dimensional ...
2
votes
0answers
64 views

If $f(2x-f(x))=x$ . Find all bijective functions.

It is given that $f :[0,1] \rightarrow [0,1] $ and it is bijective. If $f(2x-f(x))=x$ , find all such f. Is my solution correct? My attempt $f(x)$ is bijective. thus there exists g(x) which is the ...
2
votes
0answers
57 views

Correct math notation to show min and max of a list of numbers and sign?

I am working on a paper that uses a calculation from DIN 15018. The calculation is only described in text and not as a math equation. I would like to display as an actual equation if possible. The ...
2
votes
0answers
27 views

Is determining a non-constant solution to a functional inequality with polynomial arguements decidable?

So suppose we have a functional inequality with polynomial arguments in $2$ variables, $\sum_i c_i f(p_i(x,y)) \geq 0$, where $c_i$ are say integer constants and $p_i$ are polynomials, say with ...
2
votes
0answers
71 views

Creating a monotonic function

I have $n$ functions $f_i(x) \{i = 1 ,...,n\} $that does not preserve the monotonic mapping order. i.e. if $x_1 < x_2$, then in general, $f_i(x_1)$ is not less than $f_i(x_2)$ (for all $i = 1 ... ...
2
votes
0answers
62 views

On a specific non-linear partial differential equation

Given an $n$-dimensional variable $\mathbf{x}\in\mathbb{R}^n$ and the functions $h_i: \mathbb{R}^n \rightarrow \mathbb{R}$, $i=1,\dots,l$, we would like to find a solution of the following equation: ...
2
votes
0answers
80 views

Differential Equation for CDF

Consider the following differential equation $$F(cx) = F(x) + x F'(x)$$ for $c>1$. Does this differential equation belong to a some well known class? Is there a way to find all the solutions ...
2
votes
0answers
73 views

How prove this sequences have limts and find this value?

let $f:R\longrightarrow R$,and $f(x)=x-\dfrac{x^2}{2}$,and $$L_{1}(x)=f(x),L_{2}(x)=f(f(x)),L_{3}(x)=f(L_{2}(x)),\cdots,L_{n}(x)=f(L_{n-1}(x))$$ and let $$a_{n}=L_{n}\left(\dfrac{17}{n}\right)$$ ...
2
votes
0answers
96 views

Unicity of solution to an integral equation

Suppose we have the following integral equation $$f(x)=\int_0^\infty f(y)(x+y)e^{-x^2/2-xy}\text{d}y$$ where $f: [0,\infty)\rightarrow[0,\infty)$. The function $f(x)=Ce^{-x^2/2}$ solves the equation. ...
2
votes
0answers
28 views

A question about scaling

One wants the function $\Delta ^2$ to be such that, $\Delta^2(k,\tau) = \Delta^2(\frac{k}{\lambda ^{\frac{4}{n+3}}}, \lambda \tau )$. Now from this how does this follow that, the following holds, ...
2
votes
0answers
67 views

How to solve the functional equation : $T(n)=(\log n)T(\log n)+n$

I want to solve the following functional equation using any ways: $$T(n)=(\log n)T(\log n)+n$$