How do I calculate an area of joint uniform distribution with domain

AI Thread Summary
The discussion focuses on calculating the area of a joint uniform distribution for two components, T1 and T2, constrained by the conditions 0 < T1 < T2 < L. This creates a triangular region within a square of area L^2, resulting in an area of L^2/2 for the joint distribution. The uniform density function must sum to one over this region, leading to a density of 1/(L^2/2 - 1). When extending the problem to three components (T1, T2, T3), the area calculation shifts to a 3D space, where integration is suggested to determine the volume of the feasible region. Understanding the geometric implications of the constraints is crucial for accurate calculations.
mattclgn
Messages
19
Reaction score
0
This technically isn't a coursework or homework problem:

I have a uniform Joint density function for the lifetimes of two components, let's call them T1 and T2. They have a uniform joint density function, both are positive it follows, and the region is 0<t1<t2<L and L is some positive constant.

So it said the domain has area (L^2)/2 following from this, Density is 1/(((L^2)/2)-1) or uniform density. I have no idea how to get that and area. Can someone help explain? I think I get that since joint I treat one as y and other x i multiply both densities but not really sure.
 
Physics news on Phys.org
From that fact that 0 < T1 < T2 < L, this defines a triangular region (let T1 = x, T2 = y) that is half a L x L square. So the area of this region is L^2/2.
The density is uniform, and must sum to one over the region.

The density you posted ##\frac{ 1}{ \frac{L^2}{2} -1} = \frac { \frac1A}{ 1 - \frac 1A }. ## where A = L^2/2, the area of the region.

I know that this is related to the condition that x < y, but I will need to look into it a little bit more to explain why.
 
  • Like
Likes mattclgn
RUber said:
From that fact that 0 < T1 < T2 < L, this defines a triangular region (let T1 = x, T2 = y) that is half a L x L square. So the area of this region is L^2/2.
The density is uniform, and must sum to one over the region.

The density you posted ##\frac{ 1}{ \frac{L^2}{2} -1} = \frac { \frac1A}{ 1 - \frac 1A }. ## where A = L^2/2, the area of the region.

I know that this is related to the condition that x < y, but I will need to look into it a little bit more to explain why.
Awesome, thank you, and i apologize for the lateness of this reply...so by that rationale if it was 0 < T1 < T2 <T3< L, do I divide by three?
 
mattclgn said:
Awesome, thank you, and i apologize for the lateness of this reply...so by that rationale if it was 0 < T1 < T2 <T3< L, do I divide by three?
You will be in a 3D space, so you would expect L^3 divided by something. Drawing it out helps, but may lead to the wrong guess for the fraction of the cube in your feasible region.
You can also integrate to see the volume of the 3D shape.
##\int_0^L\int_0^{T3}\int_0^{T2} 1 dT1 dT2 dT3##
Note that if you did the same integral in xy, you get L^2/2.
 
I was reading a Bachelor thesis on Peano Arithmetic (PA). PA has the following axioms (not including the induction schema): $$\begin{align} & (A1) ~~~~ \forall x \neg (x + 1 = 0) \nonumber \\ & (A2) ~~~~ \forall xy (x + 1 =y + 1 \to x = y) \nonumber \\ & (A3) ~~~~ \forall x (x + 0 = x) \nonumber \\ & (A4) ~~~~ \forall xy (x + (y +1) = (x + y ) + 1) \nonumber \\ & (A5) ~~~~ \forall x (x \cdot 0 = 0) \nonumber \\ & (A6) ~~~~ \forall xy (x \cdot (y + 1) = (x \cdot y) + x) \nonumber...
I'm taking a look at intuitionistic propositional logic (IPL). Basically it exclude Double Negation Elimination (DNE) from the set of axiom schemas replacing it with Ex falso quodlibet: ⊥ → p for any proposition p (including both atomic and composite propositions). In IPL, for instance, the Law of Excluded Middle (LEM) p ∨ ¬p is no longer a theorem. My question: aside from the logic formal perspective, is IPL supposed to model/address some specific "kind of world" ? Thanks.
Back
Top