Intereting Posts

Doubling measure is absolutely continuous with respect to Lebesgue
Uniform convergence and differentiation proof of remark 7.17 in Rudin's mathematical analysis
Find the diameter of the new sphere assuming that the volume of a sphere is proportional to the cube of its diameter
Adding equations in Triangle Inequality Proof
Combinatorial Proof Question
Need help solving complicated integral $\int e^{-x}\cos4x\cos2x\,\mathrm dx$
Proving $\displaystyle\lim_{h\to0}\frac{f(x+h)-2f(x)+f(x-h)}{h^2}=f''(x)$
A Ramanujan infinite series
Hensel's Lemma and Implicit Function Theorem
Pythagorean Theorem Proof Without Words 6
The intersection of two Sylow p-subgroups has the same order
Understanding the solution to $\lim_{n\to\infty}\frac{a^n}{n!}, a>1$
Solve the initial value problem $u_{xx}+2u_{xy}-3u_{yy}=0,\ u(x,0)=\sin{x},\ u_{y}(x,0)=x$
How to derive compositions of trigonometric and inverse trigonometric functions?
Continued matrices-valued function

Suppose $X_1, X_2, Y_1, Y_2$ are independent random variables on the same probability space with densities $f_1,f_2,g_1,g_2$ respectively.

If $$ \int_{x} f_1(x)f_2(z-x) \,dx = \int_{y} g_1(y)g_2(z-y) \,dy \quad (*)$$ for all feasible $z$ **and** $$ \frac{f_i(x)}{g_i(x)} $$ is non-decreasing in $x$ for all $x$ in the support of $X_i$ and $Y_i$ for both $i\in\{1,2\}$

then can we say something about the relationship between $f_i$ and $g_i$ for both $i\in\{1,2\}$?

- Convolution of half-circle with inverse
- Intuition behind the convolution of two functions
- Convolution Laplace transform
- How to show convolution of an $L^p$ function and a Schwartz function is a Schwartz function
- Number Theoretic Transform (NTT) example not working out
- Inequality for the p norm of a convolution

Thanks in advance for any kind of help.

Edit 0: Additional information acquired.

The support of the random variables $X_1, X_2, Y_1, Y_2$ is $[0,a]$ for some $a>0$.

Also I know that $ f_i(x)=g_i(a-x) $ for all $x$ and for both $i\in\{1,2\}$.

I concluded that $g_i(0) = g_i(a)$ using $(*)$ with $z=2a$ and hence $f_i(0) = f_i(a)$. I think this is correct, just wanted to scrutinise this statement over stackexchange.

Thanks again!

- “Sum” of positive measure set contains an open interval?
- Why is this weaker then Uniform Integrability?
- Uniqueness of product measure (non $\sigma$-finite case)
- What is meant by limit of sets?
- Limit of Lebesgue measure of interesection of a set $E$ with its translation
- A Lebesgue measure question
- Unifying the treatment of discrete and continuous random variable
- Real Analysis, Folland Proposition 2.1
- Lebesgue density strictly between 0 and 1
- Bepo - levi implies monotonone convergence theorem??

- Find the asymptotic tight bound for $T(n) = 4T(n/2) + n^{2}\log n$
- How to use stars and bars?
- Show $P(A\cap B)\geq P(A)+P(B)-1$
- Local coefficient System and universal cover
- Going down theorem fails
- How to solve this equation:$\sqrt{x-\sqrt{x-\sqrt{x-\sqrt{x-5}}}}=5$
- Proving that $f(x) = g(x)$ for some $x \in $ if $f,g$ continuous, $f(a) < g(a)$ and $f(b) > g(b)$
- A set that it is uncountable, has measure zero, and is not compact
- If a set is compact then it is closed
- Any great *Introductory* books for Finite (Element/Difference) Methods
- To what extent are the Jordan-Chevalley and Levi Decompositions compatible.
- Does the Frattini subgroup $\Phi(G)$ contain the intersection $Z(G)\cap $.
- What does it mean to sample, in measure theoretic terms?
- Find all integer solutions of $1+x+x^2+x^3=y^2$
- How to prove that a bounded linear operator is compact?