Rocksolid Light

News from da outaworlds

mail  files  register  groups  login

Message-ID:  

BOFH excuse #288: Hard drive sleeping. Let it wake up on it's own...


sci / sci.math.symbolic / Re: what is solution of exp(x)*sin(y)+tan(y)+(exp(x)*cos(y)+x*(sec(y)^2))*y'=0

SubjectAuthor
* what is solution of exp(x)*sin(y)+tan(y)+(exp(x)*cos(y)+x*(sec(y)^2))*y'=0Dr Huang (DrHuang.com)
`* Re: what is solution of exp(x)*sin(y)+tan(y)+(exp(x)*cos(y)+x*(sec(y)^2))*y'=0Nasser M. Abbasi
 `* Re: what is solution of exp(x)*sin(y)+tan(y)+(exp(x)*cos(y)+x*(sec(y)^2))*y'=0Dr Huang (DrHuang.com)
  `* Re: what is solution of exp(x)*sin(y)+tan(y)+(exp(x)*cos(y)+x*(sec(y)^2))*y'=0Nasser M. Abbasi
   `- Re: what is solution of exp(x)*sin(y)+tan(y)+(exp(x)*cos(y)+x*(sec(y)^2))*y'=0Dr Huang (DrHuang.com)

1
Subject: what is solution of exp(x)*sin(y)+tan(y)+(exp(x)*cos(y)+x*(sec(y)^2))*y'=0
From: Dr Huang (DrHuang.co
Newsgroups: sci.math.symbolic
Date: Wed, 4 Oct 2023 12:46 UTC
X-Received: by 2002:ae9:e217:0:b0:774:299d:9a21 with SMTP id c23-20020ae9e217000000b00774299d9a21mr28683qkc.9.1696423579712;
Wed, 04 Oct 2023 05:46:19 -0700 (PDT)
X-Received: by 2002:a05:6808:218a:b0:3ab:84f0:b4a5 with SMTP id
be10-20020a056808218a00b003ab84f0b4a5mr1295686oib.3.1696423579443; Wed, 04
Oct 2023 05:46:19 -0700 (PDT)
Path: eternal-september.org!news.eternal-september.org!news.mixmin.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math.symbolic
Date: Wed, 4 Oct 2023 05:46:18 -0700 (PDT)
Injection-Info: google-groups.googlegroups.com; posting-host=203.158.35.47; posting-account=J3me-QoAAADJKszxIWDNh7Q0R5yUTTAq
NNTP-Posting-Host: 203.158.35.47
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <04a81751-36c9-4405-a487-9839da5da1f5n@googlegroups.com>
Subject: what is solution of exp(x)*sin(y)+tan(y)+(exp(x)*cos(y)+x*(sec(y)^2))*y'=0
From: drhuang57@gmail.com (Dr Huang (DrHuang.com))
Injection-Date: Wed, 04 Oct 2023 12:46:19 +0000
Content-Type: text/plain; charset="UTF-8"
View all headers

wolfram cannot give a simple solution? why is its solution so complicated? Is it a bug?

mathhand.com gives a simple solution and auto plot the solution

Subject: Re: what is solution of exp(x)*sin(y)+tan(y)+(exp(x)*cos(y)+x*(sec(y)^2))*y'=0
From: Nasser M. Abbasi
Newsgroups: sci.math.symbolic
Organization: A noiseless patient Spider
Date: Thu, 5 Oct 2023 07:35 UTC
References: 1
Path: eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: nma@12000.org (Nasser M. Abbasi)
Newsgroups: sci.math.symbolic
Subject: Re: what is solution of
exp(x)*sin(y)+tan(y)+(exp(x)*cos(y)+x*(sec(y)^2))*y'=0
Date: Thu, 5 Oct 2023 02:35:24 -0500
Organization: A noiseless patient Spider
Lines: 38
Message-ID: <uflovt$r8lb$1@dont-email.me>
References: <04a81751-36c9-4405-a487-9839da5da1f5n@googlegroups.com>
Reply-To: nma@12000.org
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Thu, 5 Oct 2023 07:35:25 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="d07799e50d2f570bceab9ba3ffc86c69";
logging-data="893611"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+b5bjqFBBmU4XDlZbufLlx"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101
Thunderbird/102.13.0
Cancel-Lock: sha1:o05EV4cvRnaB7aJLH0TB/vbx1tg=
In-Reply-To: <04a81751-36c9-4405-a487-9839da5da1f5n@googlegroups.com>
Content-Language: en-US
View all headers

On 10/4/2023 7:46 AM, Dr Huang (DrHuang.com) wrote:
> wolfram cannot give a simple solution? why is its solution so complicated? Is it a bug?
>
> mathhand.com gives a simple solution and auto plot the solution
>
>

What is the solution you obtained?

I solved it and got

exp(x)*sin(y(x)) + x*tan(y(x)) = c_1

Where c_1 is constant of integration. Here is my solution

https://12000.org/tmp/10052023/main.pdf

This is an easy ode to solve as it is exact ode.

Mathematica 13.3.1 gives complicated answer because its answer is explicit.

Mathematica DSolve does not have an option to ask for an implicit solution
like with Maple's dsolve.

ode = Exp[x]*Sin[y[x]] + Tan[y[x]] + (Exp[x]*Cos[y[x]] + x*(Sec[y[x]]^2))*y'[x] == 0;
DSolve[ode, y[x], x]

The answer is long, because it tried to solve for y from the solution above.
That is all. It will be nice if DSolve has an option asking for implicit
solution to an ode.

--Nasser

Subject: Re: what is solution of exp(x)*sin(y)+tan(y)+(exp(x)*cos(y)+x*(sec(y)^2))*y'=0
From: Dr Huang (DrHuang.co
Newsgroups: sci.math.symbolic
Date: Fri, 6 Oct 2023 00:17 UTC
References: 1 2
X-Received: by 2002:a05:622a:1986:b0:40d:b839:b5bb with SMTP id u6-20020a05622a198600b0040db839b5bbmr77782qtc.2.1696551445214;
Thu, 05 Oct 2023 17:17:25 -0700 (PDT)
X-Received: by 2002:a9d:6394:0:b0:6ba:8e4a:8e62 with SMTP id
w20-20020a9d6394000000b006ba8e4a8e62mr1950731otk.7.1696551444995; Thu, 05 Oct
2023 17:17:24 -0700 (PDT)
Path: eternal-september.org!news.eternal-september.org!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!peer01.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math.symbolic
Date: Thu, 5 Oct 2023 17:17:24 -0700 (PDT)
In-Reply-To: <uflovt$r8lb$1@dont-email.me>
Injection-Info: google-groups.googlegroups.com; posting-host=220.244.238.245; posting-account=J3me-QoAAADJKszxIWDNh7Q0R5yUTTAq
NNTP-Posting-Host: 220.244.238.245
References: <04a81751-36c9-4405-a487-9839da5da1f5n@googlegroups.com> <uflovt$r8lb$1@dont-email.me>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <75163251-eba5-4c11-af8e-d00e5e67fb76n@googlegroups.com>
Subject: Re: what is solution of exp(x)*sin(y)+tan(y)+(exp(x)*cos(y)+x*(sec(y)^2))*y'=0
From: drhuang57@gmail.com (Dr Huang (DrHuang.com))
Injection-Date: Fri, 06 Oct 2023 00:17:25 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 2475
View all headers

On Thursday, 5 October 2023 at 18:35:28 UTC+11, Nasser M. Abbasi wrote:
> On 10/4/2023 7:46 AM, Dr Huang (DrHuang.com) wrote:
> > wolfram cannot give a simple solution? why is its solution so complicated? Is it a bug?
> >
> > mathhand.com gives a simple solution and auto plot the solution
> >
> >
> What is the solution you obtained?
>
> I solved it and got
>
> exp(x)*sin(y(x)) + x*tan(y(x)) = c_1
>
> Where c_1 is constant of integration. Here is my solution
>
> https://12000.org/tmp/10052023/main.pdf
thanks

>
> This is an easy ode to solve as it is exact ode.
you are right, this is an easy ode to solve. but wolfram make a simple solution to complicated.

>
> Mathematica 13.3.1 gives complicated answer because its answer is explicit.
>
> Mathematica DSolve does not have an option to ask for an implicit solution
> like with Maple's dsolve.
>
> ode = Exp[x]*Sin[y[x]] + Tan[y[x]] + (Exp[x]*Cos[y[x]] + x*(Sec[y[x]]^2))*y'[x] == 0;
> DSolve[ode, y[x], x]
>
> The answer is long, because it tried to solve for y from the solution above.
> That is all. It will be nice if DSolve has an option asking for implicit
> solution to an ode.
how to check its solution?

>
> --Nasser
Thanks

--------------
mathHand.com

Subject: Re: what is solution of exp(x)*sin(y)+tan(y)+(exp(x)*cos(y)+x*(sec(y)^2))*y'=0
From: Nasser M. Abbasi
Newsgroups: sci.math.symbolic
Organization: A noiseless patient Spider
Date: Fri, 6 Oct 2023 02:59 UTC
References: 1 2 3
Path: eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: nma@12000.org (Nasser M. Abbasi)
Newsgroups: sci.math.symbolic
Subject: Re: what is solution of
exp(x)*sin(y)+tan(y)+(exp(x)*cos(y)+x*(sec(y)^2))*y'=0
Date: Thu, 5 Oct 2023 21:59:02 -0500
Organization: A noiseless patient Spider
Lines: 38
Message-ID: <ufnt5n$1c0mb$1@dont-email.me>
References: <04a81751-36c9-4405-a487-9839da5da1f5n@googlegroups.com>
<uflovt$r8lb$1@dont-email.me>
<75163251-eba5-4c11-af8e-d00e5e67fb76n@googlegroups.com>
Reply-To: nma@12000.org
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Fri, 6 Oct 2023 02:59:03 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="8b05442f166488d29afd021d1a00569b";
logging-data="1442507"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/By1zG5wylrwHuP9c/L8Ed"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101
Thunderbird/102.13.0
Cancel-Lock: sha1:EhWRcBg/1hZMKqUCEhv93onfoJ0=
Content-Language: en-US
In-Reply-To: <75163251-eba5-4c11-af8e-d00e5e67fb76n@googlegroups.com>
View all headers

On 10/5/2023 7:17 PM, Dr Huang (DrHuang.com) wrote:

>> The answer is long, because it tried to solve for y from the solution above.
>> That is all. It will be nice if DSolve has an option asking for implicit
>> solution to an ode.

> how to check its solution?
>

The method to check solution for ode in Mathematica is given in

https://reference.wolfram.com/language/howto/CheckTheResultsOfDSolve.html

Basically, you do

ode=y'[x]+y[x]==0;
sol=DSolve[ode,y,x];
ode/.sol//Simplify

{True}

Since it returned True, then the solution is correct, as it means it
satisfies the ode.

For your example, it is the same thing

ode = Exp[x]*Sin[y[x]] + Tan[y[x]] + (Exp[x]*Cos[y[x]] + x*(Sec[y[x]]^2))*y'[x] == 0;
sol = DSolve[ode, y, x];
ode /. sol // Simplify

But since the solution is very complicated, it was taking too long to finish
for me to wait so I stopped it after 10 minutes.

Note to use the above, you need to use the format DSolve[ode, y, x] and
not DSolve[ode, y[x], x];

--Nasser

Subject: Re: what is solution of exp(x)*sin(y)+tan(y)+(exp(x)*cos(y)+x*(sec(y)^2))*y'=0
From: Dr Huang (DrHuang.co
Newsgroups: sci.math.symbolic
Date: Fri, 6 Oct 2023 03:25 UTC
References: 1 2 3 4
X-Received: by 2002:a05:620a:6281:b0:774:1e91:949 with SMTP id ov1-20020a05620a628100b007741e910949mr42806qkn.1.1696562706701;
Thu, 05 Oct 2023 20:25:06 -0700 (PDT)
X-Received: by 2002:a05:6830:84a:b0:6bc:ce86:20bd with SMTP id
g10-20020a056830084a00b006bcce8620bdmr1930930ott.7.1696562706473; Thu, 05 Oct
2023 20:25:06 -0700 (PDT)
Path: eternal-september.org!news.eternal-september.org!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!peer02.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math.symbolic
Date: Thu, 5 Oct 2023 20:25:06 -0700 (PDT)
In-Reply-To: <ufnt5n$1c0mb$1@dont-email.me>
Injection-Info: google-groups.googlegroups.com; posting-host=220.244.238.245; posting-account=J3me-QoAAADJKszxIWDNh7Q0R5yUTTAq
NNTP-Posting-Host: 220.244.238.245
References: <04a81751-36c9-4405-a487-9839da5da1f5n@googlegroups.com>
<uflovt$r8lb$1@dont-email.me> <75163251-eba5-4c11-af8e-d00e5e67fb76n@googlegroups.com>
<ufnt5n$1c0mb$1@dont-email.me>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <129b4b20-992b-43ec-ab16-6686c7922adfn@googlegroups.com>
Subject: Re: what is solution of exp(x)*sin(y)+tan(y)+(exp(x)*cos(y)+x*(sec(y)^2))*y'=0
From: drhuang57@gmail.com (Dr Huang (DrHuang.com))
Injection-Date: Fri, 06 Oct 2023 03:25:06 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 2610
View all headers

On Friday, 6 October 2023 at 13:59:08 UTC+11, Nasser M. Abbasi wrote:
> On 10/5/2023 7:17 PM, Dr Huang (DrHuang.com) wrote:
>
> >> The answer is long, because it tried to solve for y from the solution above.
> >> That is all. It will be nice if DSolve has an option asking for implicit
> >> solution to an ode.
>
> > how to check its solution?
> >
> The method to check solution for ode in Mathematica is given in
>
> https://reference.wolfram.com/language/howto/CheckTheResultsOfDSolve.html
>
> Basically, you do
>
> ode=y'[x]+y[x]==0;
> sol=DSolve[ode,y,x];
> ode/.sol//Simplify
>
> {True}
>
> Since it returned True, then the solution is correct, as it means it
> satisfies the ode.
>
> For your example, it is the same thing
> ode = Exp[x]*Sin[y[x]] + Tan[y[x]] + (Exp[x]*Cos[y[x]] + x*(Sec[y[x]]^2))*y'[x] == 0;
> sol = DSolve[ode, y, x];
> ode /. sol // Simplify
>
> But since the solution is very complicated, it was taking too long to finish
> for me to wait so I stopped it after 10 minutes.
>
> Note to use the above, you need to use the format DSolve[ode, y, x] and
> not DSolve[ode, y[x], x];
>
> --Nasser
How to check its solution with wolfram alpha?
Can it be easy to check by a click? as check solution by a click the test button in mathhand.com?

1

rocksolid light 0.9.8
clearnet tor