For the discussion of math. Duh.

Moderators: gmalivuk, Moderators General, Prelates

Tomaso
Posts: 5
Joined: Mon Nov 13, 2017 9:50 am UTC

Hi

I have been working on a certain proof for a while now, hobby-wise. If my proof is correct, then I have found a shorter and more elegant way to solve an already-solved theorem.

- I have an equation consisting of functions, with variables and parameters. There is a claim for the behaviour of this equation.

- Now I modify that equation in a certain way and get a new equation. One variable (a positive real number) disappears from the system, but I add a new parameter "a" to the system (also a positive real number). So, I remove a degree of freedom from the system and add a degree of freedom to the system.

- There is a certain critical threshold for "a". That threshold depends on the other parameters (not variables!) of the system and on some mathematical constants.

- If "a" > that threshold, then the new equation shows a behavior that makes it possible to determine whether the claim is true or not. (And my result is in accordance with literature: The claim is true.)

- If "a" < that threshold, then the new equation shows a behavior where it is on principle impossible to determine whether the claim is true or not.

My question is:
When I introduce the new parameter "a", can I just arbitrarily define it as being above that threshold?
e.g. a -> inf ?

gmalivuk
GNU Terry Pratchett
Posts: 26412
Joined: Wed Feb 28, 2007 6:02 pm UTC
Location: Here and There
Contact:

It depends on what 'a' represents and on what your equations are. If you won't tell us those things, we can't help you.
Unless stated otherwise, I do not care whether a statement, by itself, constitutes a persuasive political argument. I care whether it's true.
---
If this post has math that doesn't work for you, use TeX the World for Firefox or Chrome

(he/him/his)

Tomaso
Posts: 5
Joined: Mon Nov 13, 2017 9:50 am UTC

gmalivuk wrote:It depends on what 'a' represents and on what your equations are. If you won't tell us those things, we can't help you.

"a" is the broadness of a gaussian curve. When I introduce a gaussian into the system, the proportion between the other parameters of the other functions and the broadness of the gaussian determine the further behaviour of the system.
With a fixed broadness I can prove individual cases up to a certain limit. But for a general proof I would need the broadness so large that I can cover proofs for any generic case.

My question is simple: When I introduce the gaussian curve, am I allowed to define the broadness as "big enough for all intents and purposes?"

I would rather not go into more detail, because if this works I would like to publish it. And if it doesn't work... I have a whole pile of failed ideas.

doogly
Dr. The Juggernaut of Touching Himself
Posts: 5393
Joined: Mon Oct 23, 2006 2:31 am UTC
Location: Somerville, MA
Contact:

Sigma is the standard deviation of a Gaussian - don't make a new definition for a "broadness" if an existing concept can work for you.

Can the a>threshold condition be related to a condition which was known to be obeyed in the original equation? If not, you are introducing things with this step and weakening the scope.
LE4dGOLEM: What's a Doug?
Noc: A larval Doogly. They grow the tail and stinger upon reaching adulthood.

Keep waggling your butt brows Brothers.
Or; Is that your eye butthairs?

Tomaso
Posts: 5
Joined: Mon Nov 13, 2017 9:50 am UTC

doogly wrote:Sigma is the standard deviation of a Gaussian - don't make a new definition for a "broadness" if an existing concept can work for you.

Can the a>threshold condition be related to a condition which was known to be obeyed in the original equation? If not, you are introducing things with this step and weakening the scope.

No, the standard deviation is pretty much "brand-new" and unrelated to the earlier problem. That was my worry: That making the sigma arbitrarily big would be "handwaving".

And I had hoped that this blasted monster would be dead and defeated! Turns out I will have to draw my mighty pen once more!

Thanks anyway, doogly.

gmalivuk
GNU Terry Pratchett
Posts: 26412
Joined: Wed Feb 28, 2007 6:02 pm UTC
Location: Here and There
Contact:

Pro-Tip: If the existing theorem took a long time for trained mathematicians to prove, and you're tinkering with it as a hobby and asking for help on a web forum, then you almost certainly did not find a more elegant proof. Either it's not a proof at all (more likely), or whatever you did find boils down to the same proof that's already out there (less likely but I suppose possible).

You may as well just tell us what it is (or at least what you're trying to prove) and learn something from any mistakes you've made. On the off chance that it is something new, you can use your forum posts to demonstrate that it's your proof so no one else beats you to publishing.
Unless stated otherwise, I do not care whether a statement, by itself, constitutes a persuasive political argument. I care whether it's true.
---
If this post has math that doesn't work for you, use TeX the World for Firefox or Chrome

(he/him/his)