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

10
votes
0answers
134 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
134 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
72 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 ...
6
votes
0answers
100 views

Find the least possible value of $n$ such that there exist $P(x), Q(x) \in \mathbb{Z}[x]$

Find the least possible value of $n, n \geq 2015$ such that there exists polynomial $P(x)$ with degree $n$, integer coefficients, the coefficient of the term $x^n$ is positive and polynomial $Q(x)$ ...
6
votes
0answers
129 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
61 views

Increasing function $f(x)$ such that $f(\gcd(x,y))=\gcd(f(x),f(y))$

This problem was largely inspired by this problem here. There were many counterexamples given to the problem, such as multiplicative function that maps primes to a permutation thereof. However, if ...
5
votes
0answers
193 views

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

What is a closed form for $$ \lim_{n\to-\infty}\sum_{i=n}^{\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} + ...
5
votes
0answers
118 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
295 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
66 views

Functional equation: $f(x,y)=f(x+y,y)=f(x,x+y)$

Is there a nonconstant continuous function $f:\mathbb{R}^2\rightarrow\mathbb{R}$ satisfying the functional equations $f(x,y)=f(x+y,y)=f(x,x+y)$? If the answer is yes, can we characterize all ...
4
votes
0answers
37 views

Functional division $\max(f(x+y),f(x-y))\mid \min(xf(y)-yf(x), xy)$

As the title suggests, the problem here is: Find all functions $f:\mathbb{Z}\to\mathbb{N}$ such that, for every $x,y\in\mathbb{Z}$, we have $$\max(f(x+y),f(x-y))\mid \min(xf(y)-yf(x), xy)$$ I ...
4
votes
0answers
123 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
54 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
135 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
126 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
269 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
46 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
89 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
216 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
56 views

Find the polynomial $p(x)$

A polynomial $p(x)$ gives a remainder of $1$ when divided by $x^{100}$ and a remainder of $2$ when divided by $(x-2)^3$. Evaluate $p(x)$. By the Remainder Theorem, $p(x)$ can be written as ...
3
votes
0answers
59 views

Functional Equation $f(m + f(n)) = f(m) - n$

Well, similar questions have already been asked. But they are not identical and the solution methods offered there are not the same one as here. Anyway, I want to solve functional equation $f(m + ...
3
votes
0answers
51 views

What can be said about a function with rotational symmetry of order other than 2?

It is well known that an odd function is a function whose graph has rotational symmetry of order $2$ (about the origin). Suppose the graph of $f:U \to \Bbb{R}$ has rotational symmetry of some higher ...
3
votes
0answers
183 views

D'alembert functional equation

The D'Alembert functional equation is $f(x+y)+f(x-y)=2f(x)f(y)$. Let $f:\mathbb{R}\rightarrow\mathbb{R}$ satisfy the functional equation for all $x,y\in\mathbb{R}$. It's well known that $f$ is of the ...
3
votes
0answers
394 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 ...
3
votes
0answers
60 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), $$ ...
3
votes
0answers
112 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
37 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
83 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
75 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
56 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
104 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
55 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
264 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
153 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
78 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
42 views

Resolution of equation such that $f(…f(x)…)=x$

I am wondering if it exits a way to find "easely" the solutions of an equation about a function $f$ such that $$f^{(n)}(x)=x$$ where $f^{(n)}$ is the n-th composition of $f$ itself. Obviously the ...
2
votes
0answers
25 views

Show that retarded argument functional operator is surjective

I want to show that for every $\lambda \neq 0$ and $g\in L^{2}(\mathbb{R})$, there is a $f \in L^{2}(\mathbb{R})$ such that $$e^{-|x+1|}f(x) - \lambda f(x+1) = g(x)$$ I tried looking at the operator ...
2
votes
0answers
88 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
49 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
106 views

A matrix version of Fredholm integral equation of the second kind

Fredholm integral equation are often encountered in physics. I have to deal with the following Fredholm matrix equation \begin{equation} \big[ L (x,y) \big]_{ij} = \big[ A (x,y) \big]_{ij} + \sum_{k} ...
2
votes
0answers
41 views

Is this a valid equivalence between the classes of Differential Equations?

Consider the general first order Linear Ordinary Differential Equation: $$ \frac{dy}{dx} = A(x,y) = \frac{F(x,y)}{G(x,y)}$$ This equation is characteristic equation of the Partial Differential ...
2
votes
0answers
50 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
41 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
76 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
65 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
37 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
85 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
47 views

Higher Order Functional Equations

A common point of study is the theory of functional equations first encountered in Calculus and from there built up with the calculus of finite differences (And ultimately functional analysis) which ...
2
votes
0answers
30 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
74 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 ... ...