The distribution of $(X_1, X_2)$ is given by $\text{Dir}(\alpha_1, \alpha_2, \sum_{i = 3}^{n} \alpha_i)$ (proof below). Therefore the joint density of $(X_1, X_2)$ is
$$f_{X_1, X_2}(x_1, x_2) = \frac{\Gamma(\sum_{i = 1}^{n}\alpha_i)}{\Gamma(\alpha_{1})\Gamma(\alpha_{2})\Gamma(\sum_{i = 3}^{n}\alpha_i)}x_1^{\alpha_1 - 1}x_2^{\alpha_2 - 1}(1 - x_1 - x_2)^{(\sum_{i = 3}^n \alpha_i) - 1},$$
where $x_1, x_2 > 0$ and $x_1 + x_2 < 1$.
Now we do a transformation of variables: Let $Z = X_1 + X_2$ and $X = X_1$ (I'm using $Z, X$ instead of $Z_1, X_1$ because, later on, the subscripts look messy otherwise). Then
$$f_{X, Z}(x, z) = f_{X_1, X_2}(x_1(x, z), x_2(x, z))\left|\det\left(\frac{d(x_1, x_2)}{d(x, z)} \right) \right|.$$
The Jacobian here is $1$ and so the joint density is
$$f_{X, Z}(x, z) = \frac{\Gamma(\sum_{i = 1}^{n}\alpha_i)}{\Gamma(\alpha_{1})\Gamma(\alpha_{2})\Gamma(\sum_{i = 3}^{n}\alpha_i)}x^{\alpha_1 - 1}(z - x)^{\alpha_2 - 1}(1 - z)^{(\sum_{i = 3}^n \alpha_i) - 1},$$
where $x > 0$, $z > x$ and $z < 1$.
The marginal density of $Z$ is $\text{Dir}(\alpha_1 + \alpha_2, \sum_{i = 3}^{n} \alpha_i)$, so the conditional density of $X$ given $Z$ is
$$f_{X \mid Z}(x \mid z) = \frac{f_{X, Z}(x, z)}{f_{Z}(z)} = \frac{\frac{\Gamma(\sum_{i = 1}^{n}\alpha_i)}{\Gamma(\alpha_{1})\Gamma(\alpha_{2})\Gamma(\sum_{i = 3}^{n}\alpha_i)}x^{\alpha_1 - 1}(z - x_1)^{\alpha_2 - 1}(1 - z)^{(\sum_{i = 3}^n \alpha_i) - 1}}{\frac{\Gamma(\sum_{i = 1}^{n}\alpha_i)}{\Gamma(\alpha_{1} + \alpha_{2})\Gamma(\sum_{i = 3}^{n}\alpha_i)}z^{\alpha_1 + \alpha_2 - 1}(1 - z)^{(\sum_{i = 3}^n \alpha_i) - 1}},$$
which simplifies to
$$f_{X \mid Z}(x \mid z) = \frac{1}{z}\frac{\Gamma(\alpha_1 + \alpha_2)}{\Gamma(\alpha_1)\Gamma(\alpha_2)}\left(\frac{x}{z}\right)^{\alpha_1 - 1}\left(1 - \frac{x}{z}\right)^{\alpha_2 - 1}.$$
Proof that the distribution of $(X_1, X_2)$ is given by $\text{Dir}(\alpha_1, \alpha_2, \sum_{i = 3}^{n} \alpha_i)$:
Let $I(x, k, n) = \{(x_k, \dots, x_n): x_k, \dots, x_n > 0, \sum_{i = k}^n x_i = x\}$. We know that $X_1 \sim \text{Beta}(\alpha_1, \sum_{i = 2}^{n} \alpha_i)$. Therefore
$$\int_{I(1 - x_1, 2, n)} f_{X_1, \dots, X_n}(x_1, \dots, x_n) dx_2\cdots dx_n = \frac{\Gamma(\sum_{i = 1}^{n}\alpha_i)}{\Gamma(\alpha_{1})\Gamma(\sum_{i = 2}^{n}\alpha_i)}x_1^{\alpha_1 - 1}(1 - x_1)^{(\sum_{i = 2}^n \alpha_i) - 1}.$$
Hence
$$\int_{I(1 - x_1, 2, n)} x_2^{\alpha_2 - 1}\cdots x_n^{\alpha_n - 1} dx_2\cdots dx_n = \frac{\Gamma(\alpha_2)\cdots\Gamma(\alpha_n)}{\Gamma(\sum_{i = 2}^n \alpha_i)}(1 - x_1)^{(\sum_{i = 2}^n \alpha_i) - 1}.$$
Therefore
$$f_{X_1, X_2}(x_1, x_2) = \frac{\Gamma(\sum_{i = 1}^n \alpha_i)}{\Gamma(\alpha_1)\cdots\Gamma(\alpha_n)}x_1^{\alpha_1 - 1}x_2^{\alpha_2 - 1} \int_{I(1 - x_1 - x_2, 3, n)} x_3^{\alpha_3 - 1}\cdots x_n^{\alpha_n - 1} dx_2\cdots dx_n$$
$$= \frac{\Gamma(\sum_{i = 1}^{n}\alpha_i)}{\Gamma(\alpha_{1})\Gamma(\alpha_2)\Gamma(\sum_{i = 3}^{n}\alpha_i)}x_1^{\alpha_1 - 1}x_2^{\alpha_2 - 1}(1 - x_1 - x_2)^{(\sum_{i = 3}^n \alpha_i) - 1}$$
Best Answer
The "additive characteristic" you speak of isn't over independent Beta variables. It's conditional on the sum being less than 1. That is to say, $S_1$ and $S_2$ are not independent: although their support are on $[0,1]$, their sum cannot exceed $1$ because they are drawn from the Dirichlet distribution whose support is on $\boldsymbol S \in \{ \boldsymbol s \in [0,1]^m : \sum s_i \le 1 \}$.