This would be an exact differential equation if the term (t-x[t]) was there in the last term. This implies somewhat that the differential equation could be solved with the methods of variation of constants after solving the part independent of the (t-x[t])^-1 factor. But that recipe does not make it.
The search for special value triples of A, B and C is a very large task. The results show that parts of the differential equation can be solved by DSolve a built-in of Mathematica in a reasonable time. The differential equation as it is given in the question runs far too long without a result.
Since the differential equation is nonlinear in t and quadratic in x makes it difficult to get a general solution.
Solved:
ClearAll[A, x, t]
DSolve[{x'[t] == A*(1 - x[t])/(t - t^2)}, x, t]
{{x[t] ->
E^(A (Log[1 - t] - Log[t])) (1 - t)^-A t^A +
E^(A (Log[1 - t] - Log[t])) C[1]}}
without any restrictions to A, x, and t.
For the application of the Abel type differential equation:
That the differential equation of the question does not really match the pattern because the second term is dependent on x[t] and it has to be dependent on the variable t only. Possible that this is a bug and not convincing.
To be identified as an
a[t_]: = (t - t^2) t
b[t_]: = -(t - t^2)
f[t_]: = A t
g[t_]: = A + B + A t
h[t_]: = A + C
k[t_]: = 0
The solution should as in the path of the others before be done by the input of the given ordinary differential equation into DSolve. As we all know, this does not work.
So the last identification is key for this.
For small values of x there is on the other perspective a path in the direction of the Abel ordinary differential equation of the second kind using
Series[1/(1 + x), {x, 0, 2}]
SeriesData[x, 0, {1, -1, 1}, 0, 3, 1]
I do not know whether this will be to meaningful.
Instead, make use of
DSolve[{x'[t] == (A + B x[t])*(1 - x[t])/(t - t^2)}, x, t]
{{x -> Function[{t}, (
A E^(A C1 + B C1) (1 - t)^(A + B) + t^(
A + B))/(-B E^(A C1 + B C1) (1 - t)^(A + B) + t^(A + B))]}}
DSolve[{x'[t] == (A + B x[t] + C0 x[t]^2)*(1 - x[t])/(t - t^2)}, x, t]
{{x -> Function[{t},
InverseFunction[-(((
2 (B + 2 C0) ArcTan[(B + 2 C0 #1)/Sqrt[-B^2 + 4 A C0]])/
Sqrt[-B^2 + 4 A C0] - 2 Log[-1 + #1] +
Log[A + #1 (B + C0 #1)])/(2 (A + B + C0))) &][
C[1] + Log[1 - t] - Log[t]]]}}
and
DSolve[x'[t] == -B/((t - t^2)*(t - x[t])), x[t], t]
(DSolve[Derivative[1][x][t] == -(B/((t - t^2) (t - x[t]))), x[t], t])
has no solution in Mathematica DSolve!
So a pertubation treatment has to start with:
Solve[(B*x - C*x^2)/(t - x) == 1, {B, C}]
{{C -> -((t - x)/x^2) + B/x}}
This is strong nonlinear indeed inverse dependent on x[t].
There is a solution for
AsymptoticDSolveValue[x'[t] == -1/((t - t^2)*(t - x[t])),
x[t], {t, 1, 10}]
So the problem has a direction.
ClearAll[A, B, Cc, x, t]
AsymptoticDSolveValue[
Derivative[1][x][t] == (A (1 - x[t]))/(t - t^2) - (
B x[t] - Cc x[t]^2)/((t - t^2) (t - x[t])), x[t], {t, A, 1}]
C[1] + (-A +
t) (-((1 - C[1])/(-1 + A)) - ((-1 + 2 A) (1 - C[1]))/(-1 +
A)^2 - (A (B C[1] - Cc C[1]^2))/((A - A^2) (A - C[
1])^2) + ((-1 + 2 A) (B C[1] - Cc C[1]^2))/((-1 + A)^2 A (A -
C[1])) - (-B C[1] + Cc C[1]^2)/((-1 + A) A (A - C[1])) -
A (-(((-1 + 2 A) (1 - C[1]))/((-1 + A)^2 A)) - (
B C[1] -
Cc C[1]^2)/((A - A^2) (A - C[1])^2) + ((-1 + 2 A) (B C[1] -
Cc C[1]^2))/((-1 + A)^2 A^2 (A - C[1]))))
I finish the discourse with this result. It is already a selection in the domain that seems ad hoc inavoidable. Since the ordinary differential equation has parameters A, B and C it is hard to visualize and the general asymptotic solution has one parameter c1 that is fairly complicated in the terms. So not plot. This does not make any restriction on Reals or Complexes and is valid on a really large domain bigger 1.
My solution:
ClearAll[A, B, Cc, x, t]
AsymptoticDSolveValue[
Derivative[1][x][t] == (A (1 - x[t]))/(t - t^2) - (
B x[t] - Cc x[t]^2)/((t - t^2) (t - x[t])), x[t], {t, A, 1}]
(*
C1 + (-A +
t) (-((1 - C1)/(-1 + A)) - ((-1 + 2 A) (1 - C1))/(-1 +
A)^2 - (A (B C1 - Cc C1^2))/((A - A^2) (A - C
1)^2) + ((-1 + 2 A) (B C1 - Cc C1^2))/((-1 + A)^2 A (A -
C1)) - (-B C1 + Cc C1^2)/((-1 + A) A (A - C1)) -
A (-(((-1 + 2 A) (1 - C1))/((-1 + A)^2 A)) - (
B C1 -
Cc C1^2)/((A - A^2) (A - C1)^2) + ((-1 + 2 A) (B C1 -
Cc C1^2))/((-1 + A)^2 A^2 (A - C1))))
*)
Mind the x0 is set be selection to A without any restriction. The order of the asymptotic expansion is set to the lowest nonzero one.
AsymptoticDSolveValue[
Derivative[1][x][t] == (A (1 - x[t]))/(t - t^2) - (
B x[t] - Cc x[t]^2)/((t - t^2) (t - x[t])), x[t], {t, A, 2}]
C[1] + ((-A + t) (-A^2 + A C[1] + A^2 C[1] + B C[1] - A C[1]^2 -
Cc C[1]^2))/((-A + A^2) (A - C[1])) +
1/(2 (-A + A^2)^2 (A - C[1])^3) (-A + t)^2 (-A^4 + A^5 - A^3 B +
3 A^3 C[1] - 2 A^4 C[1] - A^5 C[1] + 3 A^2 B C[1] - A^3 B C[1] +
A B^2 C[1] + 2 A^3 Cc C[1] - 3 A^2 C[1]^2 + 3 A^4 C[1]^2 -
3 A B C[1]^2 + 2 A^2 B C[1]^2 - 5 A^2 Cc C[1]^2 -
3 A B Cc C[1]^2 + A C[1]^3 + 2 A^2 C[1]^3 - 3 A^3 C[1]^3 +
B C[1]^3 - A B C[1]^3 + 4 A Cc C[1]^3 + B Cc C[1]^3 +
2 A Cc^2 C[1]^3 - A C[1]^4 + A^2 C[1]^4 - Cc C[1]^4 - Cc^2 C[1]^4)
AsymptoticDSolveValue[
Derivative[1][x][t] == (A (1 - x[t]))/(t - t^2) - (
B x[t] - Cc x[t]^2)/((t - t^2) (t - x[t])), x[t], {t, A, 3}]
___
C[1] + ((-A + t) (-A^2 + A C[1] + A^2 C[1] + B C[1] - A C[1]^2 -
Cc C[1]^2))/((-A + A^2) (A - C[1])) +
1/(2 (-A + A^2)^2 (A - C[1])^3) (-A + t)^2 (-A^4 + A^5 - A^3 B +
3 A^3 C[1] - 2 A^4 C[1] - A^5 C[1] + 3 A^2 B C[1] - A^3 B C[1] +
A B^2 C[1] + 2 A^3 Cc C[1] - 3 A^2 C[1]^2 + 3 A^4 C[1]^2 -
3 A B C[1]^2 + 2 A^2 B C[1]^2 - 5 A^2 Cc C[1]^2 -
3 A B Cc C[1]^2 + A C[1]^3 + 2 A^2 C[1]^3 - 3 A^3 C[1]^3 +
B C[1]^3 - A B C[1]^3 + 4 A Cc C[1]^3 + B Cc C[1]^3 +
2 A Cc^2 C[1]^3 - A C[1]^4 + A^2 C[1]^4 - Cc C[1]^4 -
Cc^2 C[1]^4) +
1/(6 (-A + A^2)^3 (A - C[1])^5) (-A + t)^3 (-2 A^6 + 3 A^7 - A^8 -
3 A^5 B + 6 A^6 B - A^4 B^2 - 2 A^6 Cc + 10 A^5 C[1] -
13 A^6 C[1] + 2 A^7 C[1] + A^8 C[1] + 13 A^4 B C[1] -
25 A^5 B C[1] + 3 A^3 B^2 C[1] - 6 A^4 B^2 C[1] + A^2 B^3 C[1] +
14 A^5 Cc C[1] - 8 A^6 Cc C[1] + 8 A^4 B Cc C[1] -
20 A^4 C[1]^2 + 20 A^5 C[1]^2 + 5 A^6 C[1]^2 - 5 A^7 C[1]^2 -
23 A^3 B C[1]^2 + 42 A^4 B C[1]^2 - A^5 B C[1]^2 -
3 A^2 B^2 C[1]^2 + 12 A^3 B^2 C[1]^2 + 2 A B^3 C[1]^2 -
37 A^4 Cc C[1]^2 + 30 A^5 Cc C[1]^2 + 4 A^6 Cc C[1]^2 -
24 A^3 B Cc C[1]^2 + 13 A^4 B Cc C[1]^2 - 7 A^2 B^2 Cc C[1]^2 -
8 A^4 Cc^2 C[1]^2 + 20 A^3 C[1]^3 - 10 A^4 C[1]^3 -
20 A^5 C[1]^3 + 10 A^6 C[1]^3 + 21 A^2 B C[1]^3 -
36 A^3 B C[1]^3 + 3 A^4 B C[1]^3 + A B^2 C[1]^3 -
6 A^2 B^2 C[1]^3 + 49 A^3 Cc C[1]^3 - 42 A^4 Cc C[1]^3 -
15 A^5 Cc C[1]^3 + 27 A^2 B Cc C[1]^3 - 30 A^3 B Cc C[1]^3 -
2 A B^2 Cc C[1]^3 + 24 A^3 Cc^2 C[1]^3 - 6 A^4 Cc^2 C[1]^3 +
12 A^2 B Cc^2 C[1]^3 - 10 A^2 C[1]^4 - 5 A^3 C[1]^4 +
25 A^4 C[1]^4 - 10 A^5 C[1]^4 - 10 A B C[1]^4 + 16 A^2 B C[1]^4 -
3 A^3 B C[1]^4 - 35 A^2 Cc C[1]^4 + 26 A^3 Cc C[1]^4 +
21 A^4 Cc C[1]^4 - 14 A B Cc C[1]^4 + 21 A^2 B Cc C[1]^4 -
27 A^2 Cc^2 C[1]^4 + 15 A^3 Cc^2 C[1]^4 - 4 A B Cc^2 C[1]^4 -
6 A^2 Cc^3 C[1]^4 + 2 A C[1]^5 + 7 A^2 C[1]^5 - 14 A^3 C[1]^5 +
5 A^4 C[1]^5 + 2 B C[1]^5 - 3 A B C[1]^5 + A^2 B C[1]^5 +
13 A Cc C[1]^5 - 6 A^2 Cc C[1]^5 - 13 A^3 Cc C[1]^5 +
3 B Cc C[1]^5 - 4 A B Cc C[1]^5 + 14 A Cc^2 C[1]^5 -
12 A^2 Cc^2 C[1]^5 + B Cc^2 C[1]^5 + 4 A Cc^3 C[1]^5 -
2 A C[1]^6 + 3 A^2 C[1]^6 - A^3 C[1]^6 - 2 Cc C[1]^6 +
3 A^2 Cc C[1]^6 - 3 Cc^2 C[1]^6 + 3 A Cc^2 C[1]^6 - Cc^3 C[1]^6
)
I present this as:
Abel ordinary differential equation of the second kind
a[t_]: = (t - t^2) t b[t_]: = -(t - t^2) f[t_]: = A t g[t_]: = A + B + A t h[t_]: = A + C k[t_]: = 0
k has to be unequal zero to identify this. This is in contrast to the Maple result which might be more flexible than Mathematica DSolve Ordinary Differential Equations. But if that would be solvable in Mathematica it should work for everybody and not for one.
DEtoolsodeadvisor; gives [_rational, [_Abel, 2nd type, class B]]
There is some inconsistency with Class B if one looks at odeadvisor%2FAbel2A: there is no Class B in the Maple online documentation for Abel ordinary differential equations.
C
is an internally predefined symbol so I would advise to use lower case variable names. $\endgroup$