For expectation (mean), there are many useful properties such as Linearity of Expectation:


* $\mathbb{E}[X+Y]=\mathbb{E}[X]+\mathbb{E}[Y]$
* $\mathbb{E}[\alpha X]=\alpha\mathbb{E}[X]$


(The 2 equations above can be proved either by [definition](https://math.stackexchange.com/a/1810371/333208) or [convolution](https://stats.stackexchange.com/a/342099/243365))


If we want to extract statistics information such as median and mean through data sampled from a distribution, we can simply minimize the $L\_1$ and $L\_2$ loss respectively, as mentioned [here](https://www.slideshare.net/charthur/quantile-and-expectile-regression).


To generalize these statistics further, median can be generalized into quantiles, while mean can be generalized into expectiles. We can also extract them through assymetric $L\_1$ and $L\_2$ losses, as mentioned [here](https://www.slideshare.net/charthur/quantile-and-expectile-regression).


These statistics are really useful in state-of-the-art DRL methods, such as [QR-DQN](https://arxiv.org/pdf/1710.10044), [IQN](https://arxiv.org/pdf/1806.06923), [FQF](https://arxiv.org/pdf/1911.02140)...


(Expectiles are mostly used in Economics, so they are less known comparing to quantiles.)


The $\tau\in(0,1)$ expectile with value $t$ of a random variable $X$ with c.d.f. $F(x)$ is defined as:


* $(1-\tau)\int^t\_{-\infty}(t-x)\mathrm{d}F(x)=\tau\int^\infty\_t(x-t)\mathrm{d}F(x)$

> 
> shown in [Ehm et al., 2015](https://arxiv.org/pdf/1503.08195)
> 
> 
>
* $\int^t\_{-\infty}|t-x|\mathrm{d}F(x)=\tau\int^\infty\_{-\infty}|x-t|\mathrm{d}F(x)$

> 
> shown in [Gu & Zou, 2016](http://www3.stat.sinica.edu.tw/preprint/SS-2016-0285_Preprint.pdf)
> 
> 
>
* $t-\mathbb{E}[X]=\frac{2\tau-1}{1-\tau}\int^\infty\_t(x-t)\mathrm{d}F(x)$

> 
> shown in [Newey & Powell, 1987](https://www.researchgate.net/profile/Whitney_Newey/publication/4814978_Asymmetric_Least_Squares_Estimation_and_Testing/links/55defc7f08ae45e825d3d2ec/Asymmetric-Least-Squares-Estimation-and-Testing.pdf)
> 
> 
>


Where $\mathbb{E}[X]=\int^\infty\_{-\infty}xf(x)\mathrm{d}x=\int^\infty\_{-\infty}x\mathrm{d}F(x)$


(The 3 equations above are all mathematically equivalent.)


Here are the visualization of the mean and expectiles in terms of the c.d.f. of a random variable:


* [Visualization of expectation](https://stats.stackexchange.com/a/307220/243365)
* [Visualization of expectiles](https://quant.stackexchange.com/a/38097/46128)


I'm wondering that do Linearity of Expectiles exist? (Like in Linearity of Expectation?)


That is, does the following properties hold for 2 random variables $X$ and $Y$, with independent $\tau$-expectile value $t\_X$, $t\_Y$ respectively, and the sum $X+Y$ with $\tau$-expectile value $t\_{X+Y}$:


* $t\_{X+Y}=t\_X+t\_Y$
* $t\_{\alpha X}=\alpha t\_X$


(The 2 equations above hold when $\tau=0.5$, where $t\_{X+Y}=\mathbb{E}[X+Y]$)


If the Linearity of Expectiles holds for all $\tau\in(0,1)$, the expectiles will become more mathematical friendly when calculating the statistics of the sum of multiple random variables. If the Linearity of Expectiles does not hold, in what condition does the linearity hold?


(Do $X$ and $Y$ need to be independent like for the Linearity of Variance? Or do $X$ and $Y$ need to have certain probability distributions like for the Linearity of Median?)



Prove or disprove the linearity of expectiles
The $\tau$-expectile, say $E\_\tau X$, of a random variable (r.v.) $X$ is the root $t$ of the equation 
$$r\_X(t)=\rho(\tau),$$
where 
$$r\_X(t):=\frac{E(X-t)\_+}{E(t-X)\_+}, \quad \rho(\tau):=\frac{1-\tau}\tau.$$


For any real $a>0$, we have $r\_{aX}(at)=r\_X(t)$, whence 
$$E\_\tau(aX)=a\,E\_\tau X.$$
For any real $a<0$, we have $r\_{aX}(at)=1/r\_X(t)$, whence 
$$E\_\tau(aX)=a\,E\_{1-\tau} X.$$


If e.g. $X$ and $Y$ are independent standard normal r.v.'s, then $X+Y$ equals $X\sqrt2$ in distribution, and also 
for any $\tau\ne1/2$ we have $E\_\tau X\ne0$. Hence, 
$$E\_\tau(X+Y)=E\_\tau(X\sqrt2)=\sqrt2\,E\_\tau X\ne2E\_\tau X=E\_\tau X+E\_\tau Y.$$
So, the additivity property does not hold for $E\_\tau$ whenever $\tau\ne1/2$. 


