The FFT code in GMP currently contains a
flaw that leads to> inaccurate results.> Can you please give
some order of magnitude for the number of bits> below which it
can be safely assumed that the bug will not occur> (maybe just
because the FFT code is not even called).The file gmp-mparam.h
contains thresholds concerning which algorithms willbe used.
Look for MUL_FFT_THRESHOLD, which will be in the thousands,
andmultiply by the number of bits per limb, which will be 32
or 64 depending onyour machine word size. That will be the
number of bits below which the FFTcode will not be called.>
More information can be found at http://www.swox.com.> Could
not find more thanA bug in the FFT multiply code that can
cause miscomputation> has been found. Until we can provide a
fix, and until we have> performed extensive further testing of
the code, all users are> urged to recompile GMP using the
configure option --disable-fft.> TIA,> Francois GrieuThere is
a new random number generator developed which can be found
atandomb.objwhich makes the span lengths proportional to the
size of the output.More information about the random code can
be found at.The new random code triggered the bug in the FFT
code almost immediatelyafter testing began.===
===
Subject:
: Induced
completeness to stronger metric spacesTake a nonmpty set X and
two metrics d1(x,y) and d2(x,y) in X. Calld2 stronger than d1
if:d1(x,y) <= C d2(x,y) forall x, y in X, where 1 <= C < ooLet
d2 be stronger than d1.It's easy to see that if (x_n) is a
Cauchy sequence in (X, d2) thenit's also Cauchy in (X, d1).
Now, assume (X, d1) is complete in thesense that every Cauchy
sequence converges to some x in X. Does thisimply that (X, d2)
is also complete?Counterexamples would be welcome.-- I'm not
interested in mathematics that might have anythingto do with
reality. -- Russell Easterly, in sci.math===
===
Subject:
: Re: x^2 +
y^4 = z^4===>
===
Subject:
: Re: x^2 + y^4 = z^4> the equation x^2
+ y^4 = z^4 has no positive integer solutions.> Is the proof
... short enough for some kind soul to post it>An elementary
proof is based on descent. That is, assume a>solution exists
in positive x, y, z, and show that another one can be>found
with smaller z.> Are you sure?> That's true of x^4 + y^4 = z^2
where infinite descent is used at>
http://www.math.toronto.edu/mathnet/plain/questionCorner/
fermat4.html> However I see no way to modify the method used
there to this problem.> ----The impossibility of x^4 + y^4 =
z^4 follows immediately from theimpossibility of x^4 + y^4 =
z^2 since z^4 = (z^2)^2, i.e. a solutionto the first equation
necessarily gives one to the second. Thedescent is used for
x^4 + y^4 = z^2.===
===
Subject:
: Re: Graph Theory Textbook> I'm an
undergraduate, and this summer I will be participating in an>
REU for discrete math and combinatorics. I am looking for a
good> graph theory textbook to learn the basics from. I have
seen the books> that Dover (which of course are very cheap)
has to offer on the> subject, but unfortunately they seem too
elementary. Is the Springer> GTM Graph Theory by Reinhard
Diestel any good? Any suggestions are> highly welcomed.> JackI
like Bondy and Murty. Also Harary's book is a classic. You
mightalso consider Graver and Watkins _Combinatorics with and
Emphasis onthe Theory of Graphs_. For applications Fred
Roberts's _DiscreteMathematical Models_ is fun.===
===
Subject:
: Re:
Are the derivatives of abs[(x-a)^3] different for x>a and xYou have to exclude points where |f| = 0 from the domain to
proceed>further; d/dx(delta(x)) is not well-defined.Um, you
just derivated the distribution related to the Heaviside
stepfunction. How can derivating the Dirac delta distribution
suddenly notbe defined?-- I'm not interested in mathematics
that might have anythingto do with reality. -- Russell
Easterly, in sci.math===
===
Subject:
: Re: I got low score on math
test, please advise me and take a look by
support1.mathforum.org (8.11.6/8.11.6/The Math Forum,
$Revision: 1.9 primary) id i1JHEsb01554;> my website states my
case and has jpg files of the four pages> of the test please
take a look and advise me or give me> opinionsthere is little
doubt that your teacher is an imbecile.prob 1 deserves more
credit.prob 3 deserves full credit.prob 6a deserves more
credit.prob 6b deserves no credit.prob 8 deserves full
credit.prob 10 deserves no credit.prob 13 deserves more
credit.btw, you may want to tell your techer to give you more
timeso that you can write neater:)>http://www.johncho.us===
===
Subject:
: Re: Axioms defining a finite field===>
===
Subject:
: Axioms
defining a finite field>Let (F, +, *) be a finite set with two
operations>and constants 0, 1 such that the following rules
hold:>(1) a + (b + c) = (a + b) + c>(2) a + 0 = a>(3) for
every a there's a b so that a + b = 0>(4) a*(b*c) =
(a*b)*c>(5) a*1 = a>(6) 1 is distinct from 0>(7) a*(b + c) =
a*b + a*c>(8) (a + b)*c = a*c + b*c>(9) a*b = 0 => a=0 or
b=0>Show that F is a field. Can one of the rules be omitted>so
that F still has to be a field?>let a /= 0, b0 = 0, b1 = 1>A =
{ a bj | 0 <= j <= |F| }>|A| = |F| because> if a bj = a bk:
a(bj - bk) = 0; bj - bk = 0; bj = bk>As F is finite, 1 in A>
which shows a has right multiplicative inverse a_r.>This with
a1 = a, shows F0 is a group under *.>Did you forget a+b = b+a,
ab = ba?(1) - (3) imply F is a group under +Next show a*0 = 0
for all a. This follows as usual from a*0 = a*(0 + 0).Then
from (9) and (7), you can deduce that, for a in F - {0}, a*b =
a*cimplies b = c (just add a*(-c) to both sides), and hence, by
finiteness,there exists a^-1 with a*a^-1 = 1. Then, from (4)
and (5), F - {0} is a group under *.Now we can use (7) and (8)
to deduce a + b = b + a:(1 + a)*(1 + b) = 1*(1 + b) + a*(1 + b)
= 1 + b + a + a*b(1 + a)*(1 + b) = (1 + a)*1 + (1 + a)*b = 1 +
a + b + a*bso a + b = b + a, and we have a division ring. Now,
by Wedderburn's Theorem, which is indeed nontrivial, a finite
division ring is a field.I would be surprised if any of these
axioms could be omitted, but to showthat none of them could,
you would have to construct 9 examples, each ofwhich satisfied
all hypotheses but one!If this is homework, then it is
hard!Derek Holt.===
===
Subject:
: Re: Induced completeness to
stronger metric spaces> Take a nonmpty set X and two metrics
d1(x,y) and d2(x,y) in X. Call> d2 stronger than d1 if:>
d1(x,y) <= C d2(x,y) forall x, y in X, where 1 <= C < oo> Let
d2 be stronger than d1.> It's easy to see that if (x_n) is a
Cauchy sequence in (X, d2) then> it's also Cauchy in (X, d1).
Now, assume (X, d1) is complete in the> sense that every
Cauchy sequence converges to some x in X. Does this> imply
that (X, d2) is also complete?Suppose E = {1/n : n = 1,2,3...}
and X = E U {0}. Let d1 be the euclidean metric on X. Define a
metric d2 on X by setting d2(x,y) = d1(x,y) if x and y are in
E, d2(0,x) = 1 = d2(x,0) for all x in E, and d2(0,0) = 0. Then
d2 is stronger than d1, but (x,d1) is complete while (X,d2) is
not.===
===
Subject:
: Re: Matrix math -- verify please?> explicitly
stated, so I wanted to verify:> - The product of two
rectangular matrices (e.g. A = 4x3 and B = 3x4) cannot> be
invertible, since each matrix has at most rank 3.> - The
product AB has at most rank 3. (But can be less)> - Even if A
has rank 3 and B has rank 3, AB may still have rank < 3. Oll
Korrect===
===
Subject:
: Re: I got low score on math test, please
advise me and take a lookA bit unclear what's happening. Would
a W be counted as units attempted? Ifyou met your deadline,
then the lack of proper results for successfullydropping and
deleting enrollment records for the course is merited. Your
truely bigger problem is learning the material and gaining
useful credit. That will require first, RESTUDY on your own,
and then COURSE REPETITION toactually study a second (or
third) time. Lack of concentrated, repeatedpractice and study
prevents some fairly normal people from succeeding
inMathematics. G C===
===
Subject:
: Re: Candy Inspiration (in the
news)> It would still be interesting to know, though, whether
there's any shapeof> ellipsoid whose *best* packing density
exceeds the *best* density for>
spheres.http://mathworld.wolfram.com/EllipsoidPacking.html--
Mark===
===
Subject:
: Re: Induced completeness to stronger metric
spaces>Suppose E = {1/n : n = 1,2,3...} and X = E U {0}. Let
d1 be the euclidean >metric on X.>Define a metric d2 on X by
setting d2(x,y) = d1(x,y) if x and >y are in E, d2(0,x) = 1 =
d2(x,0) for all x in E, and d2(0,0) = 0.>Then d2 is stronger
than d1, but (x,d1) is complete while (X,d2) is not.Which
Cauchy sequence in (X,d2) does not converge in (X,d2)?-- I'm
not interested in mathematics that might have anythingto do
with reality. -- Russell Easterly, in sci.math===
===
Subject:
: Re:
the anticlassicalist }{ i: linguistic negation> ... Has>
anybody tried to bring up a child as a native speaker?Yes.
http://www.wired.com/wired/archive/7.08/mustread.html?pg=8I'm
aware of other children who have been exposed to spoken
Klingonsince they were born, but it's been inconsistent (in
one case, thefather is the skilled speaker, and he's often
away on extendedmilitary service).> Now that would be>
interesting -- though they probably wouldn't want to advertise
the fact> to the local child welfare authorities. If Okrand
really did build some> counter-universal features into it, how
a child would deal with it as a> first language would be really
fun to watch.Language acquisition apparently works no matter
how un-natural thelanguage. The broken rules of Klingon seem
to be more a matter ofgoing against evolutionary pressures
rather than being contrary todeep human mental features. No
human language can do this is toostrong; the best we can
probably do is say That wouldn't survive inan evolving human
language.===
===
Subject:
: Re: question about periodic function> I
am having trouble empirically determining the period of the
following>function:What do you mean empirically? Why not do it
mathematically?>y = sin(2*pi*.018*t) + cos(2*pi*.02*t)>It is a
situation of superposition of two waves with a
slightly>differing frequencies (.018,.02). One can hear beats
in a tuning fork>mathematical sense it is strictly not a
periodic function with period>T as the definition f(x+T)=f(x)
is not satisfied.Nonsense. It is periodic with period T = 500,
because both the sin andthe cos components are.> But the
following>approximation is accepted in electronics engineering
wave form>analysis and acoustics.>Let 2 pi f t =w t be the
angular argument. >sin(w1 t) + cos (w2 t) = cos(pi/2- w1 t) +
cos (w2 t) >= 2 cos(pi/4+(w2-w1)t) cos(pi/4-w t) where w's
w1~w2~w are>approximately equal.>w2-w1 is neglected in
comparision to pi/4, making it sqrt(2)>cos(pi/4-w t).So it has
maximum value sqrt(2) at wt=pi/4 and regular>(high frequency)
time period 2 pi/w and beating time period 2>pi/(w1-w2)
appearing as the envelope in the compound function
graph.>Works out to 1/.019 and 1/.002 or 52.6 and 500 seconds
of regular(hf)>and beat periods respectively.No approximation
is needed.sin(2*pi*.018*t) + cos(2*pi*.02*t) = cos(2*pi*.02*t)
- cos(2*pi*(.018*t+.25)) =
-2*sin(2*pi*(.019*t+.125))*sin(2*pi*(.001*t-.125)) =
2*sin(2*pi*.019*(t-125))*sin(2*pi*.001*(t-125))So it's exactly
your familiar scenario of carrier and beats, butstarting at a
different time.===
===
Subject:
: Re: How many different resistances
with n resistors?We had a thread in rec.puzzles called 'R = PI
ohms' on this sort of topic awhile back. You'll still find it
in the archives (e.g. google groups) I===
===
Subject:
: Re: Can
religion explain the dinosaurs? by support1.mathforum.org
(8.11.6/8.11.6/The Math Forum, $Revision: 1.9 primary) id
i1JIHht07455;> The problem with all such (religious)
explanations> is that THERE IS NO GOD... and it's just some
con man> (or more usually, some madman) standing behind the>
curtain cutting off all questions as to why God/Allah> would
command such idiocy/evil with the impossible to> question:
Because God said so: I was there & I heard Him.> You may want
to temper your flaming atheism and admit that yours> is nothing
more than an opinion... you have less proof that God> doesn't
exist than many people do that He does.> Absurd. There is
zero proof that God doesn't exist for the same> reason that>
there is zero proof that anything in particular doesn't exist.
Try> proving> a negative. Any negative. I dare you. And if you
can't, why would you> require that of your opponents?> Sorry
to contradict but I have to lend support to Sebastian on>
this. He is absolutely right; there is more proof - or rather>
evidence - indicating the existence of God than atheists have>
for his nonxistence. It's no use waving that old chestnut>
unable to prove a negative about; the fact is that the small>
amount of evidence *for* negates any counter arguments> based
on nothing better than an inability to prove a negative.>
There is precisely zero proof for the existence or
nonxistence> of god.> If you have any specific proofs show
your stuff.>Sorry but you are wrong. To say zero proof is
quite a claim ->and he who makes claims must accept the burden
of proof so,>like Sebastian, I would caution you to be a little
careful with your>claims.>Note: I reduced my own claim above to
a small amount of>evidence - not proof. Of course the existence
of God is not>provable so I am not about to show you anything.
But evidence>is a quite different matter; qualitively it is
small indeed, but>quantitively it is massive, ranging from
(ostensible) miracles,>answered prayers, faith healing,
so-called paranormal>experiences, visions, ecstatic and
mystical experiences etc.,>etc. But I am sure you know all
this.>Whether or not you accept it as evidence is beside the
point ->it remains far more than you can offer as counter
argument.>-->altheim>
===
===
Subject:
: Re: Axioms defining a
finite field===>
===
Subject:
: Axioms defining a finite field> Let
(F, +, *) be a finite set with two operations> and constants
0, 1 such that the following rules hold:> (1) a + (b + c) =
(a + b) + c> (2) a + 0 = a> (3) for every a there's a b so
that a + b = 0> (4) a*(b*c) = (a*b)*c> (5) a*1 = a> (6) 1
is distinct from 0> (7) a*(b + c) = a*b + a*c> (8) (a + b)*c
= a*c + b*c> (9) a*b = 0 => a=0 or b=0> Show that F is a
field. Can one of the rules be omitted> so that F still has
to be a field?> let a /= 0, b0 = 0, b1 = 1> A = { a bj | 0 <=
j <= |F| }> A| = |F| because> if a bj = a bk: a(bj - bk) = 0;
bj - bk = 0; bj = bk> As F is finite, 1 in A> which shows a has
right multiplicative inverse a_r.> This with a1 = a, shows F0
is a group under *.> Did you forget a+b = b+a, ab = ba?> I
don't know about the a+b = b+a, but if we add that then> ab =
ba follows: it's a theorem that every finite division> ring is
a field. (It's not quite trivial, as I recall. Possibly> it
actually is trivial and just didn't seem trivial to me> at the
time; that was an algebra class when I was an>
undergraduate...)No, not trivial . This is Wedderburn's
theorem; Proofs from the Book givesa nice (what else?) four
page proof (chapter 5) due to Witt (and mention 7or 8 more,
using quite different ideas). Witt begins by proving,
usinglinear algebra, that the centraliser of s , is of
dimension q^(n_s) , whereq is the characteristic of F (q.1=0)
and that n_s divides |F|. Then, heimbeds F in the roots of
unity in C, and conclude by a clever argument onthe cyclotomic
polynomials...> ************************> ===
===
Subject:
: Re:
Non-uniqueness of factorization>Can someone please give me
step by step details on how to ignore posts by>James Harris
and replies to his posts? I just don't have the willpower
to>not read his
bull.http://www.hyphenologist.co.uk/killfile/
killfilefaq.htm===
===
Subject:
: Re: strain softening spring>i.e.
the equation I am trying to solve is as follows:>y'' + cy' +
[ko*e^(-alpha*t)]y = 0>Any help would be most
appreciated.>sincerely>Paul Joseph>(pjoseph@excite.com)> Maple
gives a solution in terms of Bessel functions. I posted a file>
called DE.pdf showing the solution at:>
http://math.asu.edu/~kurtz/de/> --LynnHi Lynn,This is in
regard to the solution you kindly posted above.Can the first
argument of the BesselY function be negative? I triedto
implement this in Excel, but Excel's BesselY function appears
torequire that the first argument be positive. I am not sure
if this isa quirk of Excel... or whether this is a
mathematical requirement.Since c and a are both real and
positive numbers, -c/a will
benegative...no?thanks!Paul===
===
Subject:
: Model theory puzzleFind
a finite system of axioms (feel free to introduce
operations,relations, constants) so that all of its finite
models would have aprime number of elements, and for every
prime p there's a model tothat system of size p. Posted Via
Usenet.com Premium Usenet Newsgroup
Services------------------------------------------------------
---- ** SPEED ** RETENTION ** COMPLETION ** ANONYMITY
**----------------------------------------------------------
http://www.usenet.com===
===
Subject:
: Single Precision Montgomery
Multiplication OptimizationThe single precision Montgomery
multiplication algorithm can be stated asfollows:$$eqalign { t
&= x y,cr u &= (t m^prime) bmod b,cr v &= u m,cr A &= (t + v /
b) bmod m.cr}$$where $m^prime = - m^{-1} pmod b$ and $b$ is
the radix.It would seem that the term$$x y + (x y -m^{-1} bmod
b) m$$can be reduced in some way so that only two or even one
multiplication is===
===
Subject:
: Re: Peer Review
<8083d02b.0402031024.42779ed2@posting.google.com>
<8083d02b.0402181638.267a31f8@posting.google.com> Discussion,
linux)> Another anecdote:> Simon Singh in his book Fermat's
Last Theorem notes what may have> been the first instance of
peer review injustice. Hippasus in the> school of Pythagoras
realized that irrational numbers exist. This was> regarded as
heresy and he was put to death for it.But this story is almost
certainly false, isn't it?-- Even if [...] a communistic regime
should come [to China], the oldtradition [...] will break
Communism and change it beyond recognition,rather than
Communism [...] break the old tradition. It must be so. -- Lin
Yutang on Socialism with Chinese characteristics in
1935===
===
Subject:
: Re: countable sets> Let E1, E2, E3, ... be a
sequence of pairwise disjoint countable sets. Prove> that
union of Ek as k = 1 to oo is countable. I do not need help
proving> this. I need someone to explain exactly what is
being asked. In Let E1, E2,> E3,... be a sequence of pairwise
disjoint countable sets is that saying> that the numbers of
Ei's are countable or is it saying that each Ei has a>
countable number of elements??> Others have explained what is
being asked, but I was intrigued by your> statement that you
don't need help proving it. Now that the question has> been
clarified, you might look again at proving it.> Hint: If your
proof does not invoke the axiom of choice, then your proof> is
wrong.>Not so. The countable union of disjoint countable
sets>is in 1-1 correspondence with NxN -- the pair (n, k) maps
to>the the k-th element of the n-th set (the set of sets and
each>set is alreadyknown to be in 1-1- correspodence with N).
This>is clearly surjctive, and the disjointness implies that
it's>injective.This part involves some of the Axiom of Choice.
Solovayhas a model in which the reals are a countable union
ofcountable sets. Each of the sets can be enumerated, butnot
all at once. >And it does not require AC to show that NxN is
countable.If one has simultaneous enumeration, then it is
reducedto this, which is as you say.-- This address is for
information only. I do not claim that these viewsare those of
the Statistics Department or of Purdue University.Herman
Rubin, Department of Statistics, Purdue
Universityhrubin@stat.purdue.edu Phone: (765)494-6054 FAX:
(765)494-0558===
===
Subject:
: Re: I got low score on math test,
please advise me and take a look> my website states my case
and has jpg files of the four pages of the> test please take a
look and advise me or give me opinions>
http://www.johncho.usAside from the all the politics of
whether the grade was fair and if thetest should be returned
in time, I have a few comments. First, for all the instructors
out there, how many of you take of 1/4 ofa point? To me, if you
make the problem worth 8 points, anything lessthan perfection
is 7. And, when I am assigning point values toproblems, I
usually look over the problem and pick out the two or
threeconcepts being tested in that question and give each of
those concepts avalue of 1 or 2 or even 3 points. I just can't
igaine trying to gradewith fractional points. But, that is just
my grading style and I'm notreally saying anything is wrong
with giving fractional points,I justfind it uncommon.
Secondly, if I am grading and I cannot follow the work
(perhaps becauseit is not neatly written), I have a hard time
giving full credit. Thatmight sound harsh, but I have often
found that students write two orthree possible answers for the
problem in their mess and never clearlymark which one they want
me to grade. Also, judging from your scans ofthe page, it looks
like you had the back of each page left blank (whichis pure
speculation on my part). I despise it when students try
tosqueeze in something in the margins, leaving the whole back
side of apage blank. You aren't going to use that page for
anything else, whysqueeze things together? Now, if you really
want to get your instructormad, you could ask him (or her) to
please write the comments on yourtest neater. But that would
serve no purpose otehr than to point youout as a snot-nosed
brat. Okay, about the grading. Personally, I don't know what
topics werestressed in class so I don't feel like I can make a
judgement call. Forexample, I gave a test in Trigonometry II on
Tuesday (which I am in theprocess of grading and won't be given
back until Monday). For this testthe material I stressed was
changing degrees to radians, law of sines,and law of cosines.
On one question I asked about the area of atriangle. If a
student accidentally used the formula area = base *height, I
will not take off many points probably one out of 10
points,because they were not being tested on geometry (and had
they asked methe correct formula, I would have told them, since
that wasn't the topicthey were being tested on). Or, maybe
another example, if someonecomputed 2+3=6 in part of a larger
problem, multiplying instead ofadding, and they correctly
carried that mistake through the problem(that is if they had
used 5 they would have gotten the correct answer) Iwould
probably only take off one point out of 10. Those are my
thoughts. Your grade, suck it up. If you ask theinstructor to
look over the test again, he or she might find some placeswhen
you should hae lost more points that you did. At least, if
someonequibles over two or three points I say I will look it
over, and I do andmake sure I *took off* all the points I
should have. - Tim-- Timothy M. BrauchGraduate
StudentDepartment of MathematicsWake Forest Universityemail
is:news (dot) post (at) tbrauch (dot) com===
===
Subject:
: Re:
Solving Equation with lnHumm, I am not familier with the
Lambert W function, is there a website you would recommend so
that I can read up on it or is thisfunction too complex for
the non-math major type person. Andrew V. RomeroI was working
on a math problem at work and ran into something I don'tknow
how to solve and was hoping someone could give me a clue on
thisfairly simple problem.Original Equation:227.11 =
5.8{ln(38/x)} + (38-x)Simplfied Equation:189.11 =
5.8*{ln(38/x)} - xof course you can reduce this down to32.60 =
ln(38/x) - x/5.8and further (I think) to 1.44 x 10^14 = 3.8/x -
e^(x/5.8)but I am stuck after this. Is it possible to solve for
X?> Not in terms of the standard elementary functions. But you>
can solve in terms of the Lambert W function...> x =
W(38*exp(-(189.11)/5.8)/5.8)*5.8 =
2.627466197*10^(-13);===
===
Subject:
: Re: HELL :-) (Was: Re: the
anticlassicalist }{ ii: the spectre continues)[...]mitch, I
don't snip here as a skip. I just wanted to say that I see
clearlyyou are one who has already learned that the only
secret behind any ofthis is the hunt for patterns. Going out
and grabbing disparate works tolook for connections, then
hunting down connections to those, and buildingthem into
pictures. When the connections become rigorously symbolised,
wehave math (or logic, or numerology, or symbology -- whatever
you like).When a model connects ontology to epistemology, a
theory is born. Its nice watching people have fun with their
patterns, play with them,fit the pieces together. Its almost
as fun as doing it myself. I wanted to say this because I see
many on usenet who frown on suchbehavior. They seem to look
only for some kind of stale acceptance of anever surprising
universe, and look to attack any excitement or creativitythey
see. So I sometimes want to balance the powers, give praise at
theinteresting twists and turns I see people playing with. I
have a child likewonder for child like wonder. You even picked
up Conway and Sloan... That was the first book I everchecked
out of a university library (I didn't understand it then, but
I keptcoming back to try again).--
-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-galathaea:
prankster, fablist, magician, liar===
===
Subject:
: Re: Model theory
puzzle> Find a finite system of axioms (feel free to introduce
operations,> relations, constants) so that all of its finite
models would have a> prime number of elements, and for every
prime p there's a model to> that system of size p. Go
ahead!===
===
Subject:
: Re: covering compact set w/squares>Oh, I
think I did misread. How about this:>Given a compact set K in
the plane s.t. each pt x is the center of a square>Q_x, prove
that you can find a subsequence Q_x_i of squares s.t. K
is>covered by the Q_x_i and>sum(over i) Char(Q_x_i) <= 4 Char
(union(over i) Q_x_i),>where Char(X) is the characteristic
(indicator) function of X.Are you assuming the squares are all
oriented with sides parallel to the axes? If not, there's a
counterexample with K consisting of 7 points at the vertices
of a regular heptagon; take a square centered at each ofthese
points, oriented so the centre of the heptagon is on a
diagonalof the square, and large enough so that the square
contains aneighbourhood of the centre of the heptagon but each
point of K isoutside the squares centred at other points of K.
It makes arather pretty picture:
.===
===
Subject:
:
Re: RFI:Wanless' Fourth Conjecture/Dirichlet's Geometric
TheoremSTOP PRESS!! :-((I've been incredibly stupid!The
generalized form is clearly a load of dingo's kidneys: -take
a=5, b=3 for example - a^n+b will _always_ be even!!Don't
waste any more time on it...J> The series a^n+b [hcf(a,b)=1]
includes an infinite number of primes [over> all n]===
===
Subject:
:
Re: strain softening spring>Can the first argument of the
BesselY function be negative? I tried>to implement this in
Excel, but Excel's BesselY function appears to>require that
the first argument be positive. I am not sure if this is>a
quirk of Excel... or whether this is a mathematical
requirement.>Since c and a are both real and positive numbers,
-c/a will be>negative...no?>thanks!>PaulApparently this is a
quirk of Excel (you did notice that Excelrequires the
arguments in the reverse order?). You can read more
aboutproperties of BesselY
athttp://functions.wolfram.com/BesselAiryStruveFunctions/
BesselY/If you have particular values of a, c, and k, I could
plug them in andpost a graph of the solution for you. Probably
Maple or Mathematicawould be a more appropriate tool for
you.--Lynn===
===
Subject:
: Re: Are the derivatives of abs[(x-a)^3]
different for x>a and x given abs[(x-a)^3], where abs[ ]
means taking the absolute value, and> a is a constant, are the
first, second, third derivatives (with> respect to x) different
for x>a and x I forgot how to write down the derivative of
an absolute function in a> formal way, I mean, not using if
else, but using something likesign(x-a).> I think the first
derivative would look like:> 3(x-a)^2 * sign(x-a)Take a = 0
for convenience. Let f(x) = |x|^3. Then f(x) = x^3, x >= 0,
f(x) = -x^3, x <= 0. So f'(x) = 3x^2 for x >= 0, f'(x) =
-3x^2, x <= 0, f''(x) = 6x for x >= 0, f''(x) = -6x for x <=
0. And f'''(0) doesn't exist. You can of course use the sgn
function to express these if you like. All the claims about
derivatives at 0 need to be checked using the basic definition
of a derivative.===
===
Subject:
: Re: Are the derivatives of
abs[(x-a)^3] different for x>a and x The usual method is
to define sgn(x) in terms of the heaviside function> H(x) = {
0, x < 0; 1, x > 0; 0.5, x = 0 }, and write formally> dH/dx =
delta(x) where delta(x) = { 0, x != 0 } is the Dirac delta>
'function' (integral of delta(x) over any interval containing
0 is 1 by> definition, and 1/2 if 0 is an endpoint).This is a
joke, right?===
===
Subject:
: Re: the anticlassicalist }{ i:
linguistic negation... Hasanybody tried to bring up a child as
a native speaker?> Yes.
http://www.wired.com/wired/archive/7.08/mustread.html?pg=8>
I'm aware of other children who have been exposed to spoken
Klingon> since they were born, but it's been inconsistent (in
one case, the> father is the skilled speaker, and he's often
away on extended> military service).Now that would
beinteresting -- though they probably wouldn't want to
advertise the factto the local child welfare authorities. If
Okrand really did build somecounter-universal features into
it, how a child would deal with it as afirst language would be
really fun to watch.> Language acquisition apparently works no
matter how un-natural the> language. The broken rules of
Klingon seem to be more a matter of> going against
evolutionary pressures rather than being contrary to> deep
human mental features. No human language can do this is too>
strong; the best we can probably do is say That wouldn't
survive in> an evolving human language.According to a strict
Chomskyan view, a language constructed contrary toUG should be
un-learnable (i.e. un-acquirable in the normalfirst-language
way, though of course you could learn it as anintellectual
exercise). Presumably the child would re-structure it
intosomething else which conformed with UG. However, from the
examplesgiven, it appears as Jacques says that the
counter-universal featuresare rather trivial or perhaps not
counter-universal at all.Ross Clark===
===
Subject:
: Re: Coprime
Grid: Filling Infinite Quadrantath: meganewsservers.com>In
this post, I write of a specific and altered case of the
puzzle>mentioned in these previous threads:http://groups.google.com/groups?hl=en&lr=&ie=UTF-8&safe=off&
threadm=b4be2fdf.0211011659.79913415%40posting.google.com&rnum
=3&prev=http://groups.google.com/groups?hl=en&lr=&ie=UTF-8&safe=off&
threadm=b4be2fdf.0401241437.73a12678%40posting.google.com&rnum
=4&prev=http://groups.google.com/groups?hl=en&lr=&ie=UTF-8&safe=off&
threadm=b4be2fdf.0303071814.63262520%40posting.google.com&rnum
=1&prev=>In the puzzle, we try to write, in order, the
positive integers into a>grid, one integer per grid-square,
such that:>Each integer n is adjacent (above /left of /right
of /below)>of the integer (n+1);>And each adjacent pair of
integers (above /left of /right of /below)>are coprime.>And
the goal is to completely fill the grid.>But here I am
asking about filling an infinite grid which is bounded>along 2
perpendicular sides.>ie. the grid is an entire quadrant of the
Cartesian plane, bounded by>the x-axis and the y-axis.>I think
I found a simple procedure which *might* ensure a
successful>filling of the grid with coprime-adjacent
integers.>(Sorry to those on rec.puzzles, but I will give my
procedure below.>You can still post your own algorithm,
however, or confirm that mine>can really work for the entire
grid without problems.)>I illustrate with the first 99
terms:>(figured by hand, so maybe inrror)>99>98>97 96 95>54
55 94 93 92>53 56 57 58 91 90 89>52 51 50 59 60 61 88 87>21 22
49 48 47 62 63 86>20 23 24 25 46 45 64 85>19 18 17 26 27 44 65
84>06 07 16 15 28 43 66 83 82 81 80 79>05 08 09 14 29 42 67 68
69 70 71 78>04 03 10 13 30 41 40 39 38 37 72 77 76>01 02 11 12
31 32 33 34 35 36 73 74 75>Basically, the path swings
clockwise and counterclockwise, running>along the outside of
the already-filled section.>When it gets to either the x-axis
or y-axis, it forms a 'peninsula',>the length of which is the
shortest needed to avoid uncoprime integers>being placed next
to each other in the path-section which runs from>that
peninsula's axis to the other axis.>Now, we do not want a
situation where, following the algorith>precisely,>there is NO
peninsula-length which would avoid uncoprime neighbors.>I am
not certain, but I believe this issue is not a problem.>Fun
perhaps: Show if my algorithm is foolproof...or just
foolish.> Well, what I know about number theory and 50
cents will get me a cup> of coffee, but it seems to me that
the way to attack this solution> is to show that once the
peninsula length exceeds some number N,> you will always have
a noncoprime pair when it loops its way back.> It seems to
me that this ought to be true. > Of course, that stil
wouldn't prove that your algorithm can't> work, because you
might never have to buld a peninsula out that big,> but it
would be a start.>(I know I do not give the peninsula's
length. Also fun perhaps: try to>determine the shortest length
needed for each peninsula, given that>the algorithm never leads
to a problem.)>Leroy Quet> George>I do not believe you are
necessarily right about the filling-algorithm>working for all
peninsula-lengths above N(k), for the k_th peninsula.That's
not what I said. I'm not trying to make your algorithm
work,I'm trying to show it won't work, I find that to be more
fun :-)My thought was that, in general, the longer, the
peninsula,the more likely there will be at least 1 pair of
noncoprimenumbers when it loops back. So maybe beyond a
certain lengthyou will always have at least one such pair.For
example, if I start at one, and try various peninsula
lengths,2 and 3 are ok, but 4 doesn't work because 3 matches
with 61 2 3 48 7 6 5further, any penisula with lenngth 3n+1
will also have a problem withmultiples of 3 matching1 2 3 4 5
6 714 13 12 11 10 9 8similarly, if the peninsula is of length
7 then multiples of 5 willmatch, and there will be a match for
any peninsula length 5n+2.similarly, for a peninsula of length
10 then 7 will mathch 14, andyou'll get a match for every
peninsula lentgh of 7n+ 3So the density of possible peninsula
lengths decreases in a manneranalogous to the way that the
density of primes themselves.But although there are an
infinite number of primes, it's not clear tome right now if
there are an infinite number of possible peninsulalengths. To
those of you who know lots of number theory,it may be really
obvious, but it isn't to me.George>Leroy Quet===
===
Subject:
: Re:
Model theory puzzle> Find a finite system of axioms (feel free
to introduce operations,> relations, constants) so that all of
its finite models would have a> prime number of elements, and
for every prime p there's a model to> that system of size
p.Hint: forget about model theory as such and ask yourself if
you canthink of an algebraic structure that always has a prime
number ofelements (or a particular kind of well-known algebraic
structure...).Hthab-- G.C.===
===
Subject:
: Re: Induced completeness
to stronger metric spaces>Suppose E = {1/n : n = 1,2,3...} and
X = E U {0}. Let d1 be the euclidean >metric on X.>Define a
metric d2 on X by setting d2(x,y) = d1(x,y) if x and >y are in
E, d2(0,x) = 1 = d2(x,0) for all x in E, and d2(0,0) = 0.>Then
d2 is stronger than d1, but (x,d1) is complete while (X,d2) is
not.> Which Cauchy sequence in (X,d2) does not converge in
(X,d2)?Note that the sequence S = {1, 1/2, 1/3, 1/4, ..., 1/n,
...}converges in (X,d1), therefore must be Cauchy in
(X,d1).Note further, that the distances among the elements of
S are thesame wrt d2 as wrt d1.Conclude that (since the
definition of Cauchy sequence is in termsof interlement
distances only) S is a Cauchy sequence in (X,d2).Although one
might prefer S to converge to 0, it cannot do so in
(X,d2),since all distances from S to 0 are 1.Wasn't that kind
of obvious?Dale.===
===
Subject:
: Re: No Set Contains Every
Computable Natural> Given any set, S, of representations of
natural numbers,> I can write a TM that will find a
representation of a natural number> that is not in S. (No,
this TM does not halt after a finite number> of steps.)This
is, of course, simply false, false, false.If you give the set
of all representations of natural numbers, thenyour TM will
not find any representation of a natural number not inyour
set.You're speaking nonsense again.Of course, we must be
careful here and fix a convention for when atape represents a
set of natural numbers. Let's say that a taperepresents a set
of natural numbers if it consists of blocks of onesseparated
by a single space.We must also be careful to require that your
TM has the property that,for each square x of the tape, there
exists a steps t such that for allsteps s after t, the symbol
on the square x at time s is the same asthe symbol on x at t.
After all, a TM which repeatedly changes the0th square to 1
and blank and 1 and blank cannot be said to produceany tape at
all.> I have given this proof several times.> My TM has the
property you describe.Now, on an input tape containing 1,
,1,1, ,1,1,1, ,1,1,1,1, ,...,> How about
b1b11b111b1111...there is simply no possibility that your TM,
even after an infinitenumber of steps, creates a tape with a
representation of some naturalnumber not on my input tape.
Every natural number is represented onmy tape. None is
missing. Your tape either returns a set of numbersalready on
my tape or it returns no set of numbers at all.> This TM will
find a representation not on your tape:> It is a three state
machine and I can provide a state> transition table if you
like.> 1) Find a blank> 2) Find a second blank> 3) Backup and
write a 1 on the previous blank> repeat steps (1) through (3)>
This TM will produce a tape that contains exactly one blank.>
The contiguous string of 1's preceding this blank will be> a
representation not on your tape.> (Others have noted this is a
very crude adder.)Thus, when the TM reaches 'n' on the tape, it
will produce the number 'n*(n+1)/2+n-1', which is still further
along on the tape (but already on the tape).What number 'n'
does your TM ever reach for which 'n*(n+1)/2+n-1' is not
already on the tape?Answer: there is no such 'n'.> Obviously,
a human has to decide if a symbol represents> a natural
number. No TM can do this.> No TM can devise a convention, if
that's what you mean. At least, no> TM can devise a convention
in the sense that matters here.> But, a TM can extend the
convention in such a way that no set> contains every symbol
that represents a natural number.No, no, no. A TM cannot
extend the representation of natural numbersfor two reasons:
(1) It's a ing Turing machine, isn't it? I don'twant to
argue about requirements for intentionality or whether TMs
arecapable of intelligence, but this TM is not part of the
negotiationsregarding our conventions.> No intelligence
required.> My TM just adds all the numbers> together (plus 1
for each addition).> A TM is too stupid to know that> the sum
is supposed to be infinity.(2) Every natural number has
arepresentation in our convention, so the representation
cannot benon-redundantly extended.> I just described such a
TM.> No tape can contain every representation of a natural
number.> There will always be a bigger representation.No
finite tape, but as soon as you posit a tape containing a
representation for every natural, you have such a tape as does
not allow any bigger representations.> Russell> - 2 many 2
count===
===
Subject:
: Re: How many ways to put 5 balls into 500
ordered cups?> SUMMARY: (1) Find the ways to partition the
number 5: 5 4 1 3 2 3 1 1 2 2 1 2 1 1 1 1 1 1 1 1 < No experiment ever
showed that the speed of light is> the same for all observers.
Indeed any determination> of the one way speed of light can be
used to demonstrate> the speed of light is NOT the same for
all observers....> A light----> B <-you> < ----------- L
--------------> v m/s> Use syncronised clocks at A amd B to
time how long it takes> light to travel a distance of L meters
across the laboratory..> Speed of light relative to the
laboratory = L/ (tB - tA) = c> where 'tA' is the time at which
the light left A> and 'tB' is the at which the light arrived at
B> Now repeat the experiment while running towards B at v m/s>
Note that 'in your frame of reference' the point B is moving
,> so that the light must travel an extra distance = v * (tB -
tA)> which is the distance B has moved as the light travels
from> A to B.> Therefore:> Speed of light relative to you =
(L+ v * (tB - tA)) / (tB - tA)> = c + v> keith steinYou had
measured the relative velocity between a light ray front and
amoving you with v velocity. Notice that the velocities of
your twomoving entities are c and v, measured in the
Laboratory inertialframe. As c and v refer to the same
inertial frame, you have the rightto use ordinary vector
algebra obtaining c+v, because Relativevelocity can be >c and
is NOT invariant (see my post with thattitle). If you measured
the relative velocity in the inertial frameyou is at rest you
obtain c as the result, compatible with thesecond postulate of
Special Relativity. ANY light continue having thesame vacuum
speed c for ANY observer AT REST in ANY inertial frame,The
hardest of all hard facts .RVHG===
===
Subject:
: Re: . The hardest
of all hard facts .Hi Eleaticus, Re: How you think,
Michelson-Morley and Kennedy-Thorndike do indeed fit Galilean
( c + v ) physics ,All throughout the annals of history ... No
premise has been better tested than this premise: The speed of
light is the same for all observers.That makes it: The hardest
of all hard facts.> No experiment ever showed that the speed of
light is> the same for all observers. Indeed any determination>
of the one way speed of light can be used to demonstrate> the
speed of light is NOT the same for all observers....> A
light----> B <-you> < ----------- L --------------> v m/s> Use
syncronised clocks at A amd B to time how long it takes> light
to travel a distance of L meters across the laboratory..>
Speed of light relative to the laboratory = L/ (tB - tA) = c>
where 'tA' is the time at which the light left A> and 'tB' is
the at which the light arrived at B> Now repeat the experiment
while running towards B at v m/s> Note that 'in your frame of
reference' the point B is moving ,> so that the light must
travel an extra distance = v * (tB - tA)> which is the
distance B has moved as the light travels from> A to B.>
Therefore:> Speed of light relative to you = (L+ v * (tB -
tA)) / (tB - tA)> = c + v> keith steinYou had measured the
relative velocity between a light ray front and amoving you
with v velocity. Notice that the velocities of your twomoving
entities are c and v, measured in the Laboratory
inertialframe. As c and v refer to the same inertial frame,
you have the rightto use ordinary vector algebra obtaining
c+v, because Relativevelocity can be >c and is NOT invariant
(see my post with thattitle). If you measured the relative
velocity in the inertial frameyou is at rest you obtain c as
the result, compatible with thesecond postulate of Special
Relativity. ANY light continue having thesame vacuum speed c
for ANY observer AT REST in ANY inertial frame,The hardest of
all hard facts .RVHG===
===
Subject:
: Re: JSH: Splitting field,
algebraic integer factors[snipped unneeded restatement of
errors already claimed and reclaimed too many times]> Well I
was wrong. I should have known in retrospect, but it was yet>
another situation where I kind of decided that I wanted
something and> thought I had it, only to find out later I was
wrong.> There's no point to hanging on to wrong things
though.> Luckily, mathematics is supposed to be an arena where
the truth> matters.> James HarrisAnd, unluckily for JSH's
egomania, the truth will out.===
===
Subject:
: Re: I got low score
on math test, please advise me and take a lookA 77 is not that
bad in a begining Calc class. Why would you want todrop?Just
study more and practice more problems for the next test, you
canbring the grade up.Dropping a class is going to make your
college years slower, becauseyou are going to have to take
this class sometimes , and who knowsyour next teacher might be
harder.Plus, write more legible on the next test.===
===
Subject:
:
Re: Definition of Separable Space (basic topology
question)>Let A be a subset of (X,T). Then A is dense in X iff
for every nonmpty>open subset U of X, A / U != {}.>I have seen
two definitions of 'separable topological space':>a) (X,T) is
separable if there exists A X, where A is countable
and>dense in X>b) (X,T) is separable if there exists A X, where A is>countable and dense in X>Given def (a),
its simple to prove that all countable spaces X
are>automatically separable since the subset X is countable
and non-trivially>intersects every nonmpty open subset.
However, this won't work given def>(b). I first became
suspicious when I saw a proof that all countable spaces>were
separable that seemed ridiculously complex in comparison to
the>seemingly obvious 1 step proof above. I later found
definitions of>separable like def (b).The integers with the
usual topology is separable. Definition (a) is the correct
one. BTW, finite spaces are separable.-- This address is for
information only. I do not claim that these viewsare those of
the Statistics Department or of Purdue University.Herman
Rubin, Department of Statistics, Purdue
Universityhrubin@stat.purdue.edu Phone: (765)494-6054 FAX:
(765)494-0558===
===
Subject:
: Re: I got low score on math test,
please advise me and take a lookX-ID:
buRBAoZZ8ep-0neGpdIfA21ofva91P3Udt3Zut1ttQkdUU8eCml20c David
C. Ullrich schrieb:>problem 9: 4.5
out of 5. I would have given you fewer points>than that,
because there's a bit of explanation missing>(you need to
point out that the function is not even>_defined_ at the point
in question, because that>denominator vanishes).Am I missing
something here? How can you say that a function
isdiscontinuous at a point, where it's not defined? That
function iscontinuous at each point of its domain - Unless of
course you definef(2) = 3.01 or something like
that.===
===
Subject:
: Re: smallest eigenvalue of Laplacian> there
is a theorem that says that an eigenfunction corresponding to>
the smallest eigenvalue of the Laplacian on some bounded domain
has no> zeros inside that domain.> Is the reverse implication
also true? Meaning: Does every> eigenfunction without zeros
inside the domain belong to the smallest> eigenvalue?> Thank
you in advance for any helpful comments.> Yours sincerely,>
Tobias N.8ahringWhat a great question. Someone told me that it
has been recently shown that in two dimensions, the
eigenfunction corresponding to the second eigenvalue has
zeroes, indeed, the set of zeroes forms a nodal line that
splits the domain in half. Presumably if you look at this
paper, it might have references to the result you are looking
for. I think that this is the paper:MR1152231
(93g:35100)Melas, Antonios D.(1-UCLA)On the nodal line of the
second eigenfunction of the Laplacian in $ Rsp 2$.J.
Differential Geom. 35 (1992), no. 1, 255--263.35P05 (35J05
58G25) eigenfunction of the Laplacian with zero boundary
condition for a bounded domain $Omegasubseteqbold R^2$ does
not have a closed nodal line. This was asked by S.-T. Yau for
$Omega$ a bounded convex domain in $bold R^2$. Twenty years
ago, Payne proved the conjecture provided the domain
$Omegasubseteqbold R^2$ is symmetric with respect to one line
and convex with respect to the direction vertical to this
line. Also, C.-S. Lin proved the conjecture provided the
domain $Omegasubseteqbold R^2$ is smooth, convex, and
invariant under a rotation with angle $2pi p/q$, where $p$ and
$q$ are positive integers. Recently D. Jerison [Internat. Math.
Res. Notices 1991, no. 1, 1--5; MR 92d:35210] proved the
conjecture for long thin convex sets. Without any assumption
on the smoothness of $Omega$ he showed that the nodal line has
to intersect $partialOmega$ in exactly two points.We prove the
conjecture when $Omega$ is a bounded convex domain in $bold
R^2$ with $C^infty$ boundary.===
===
Subject:
: Re: x^2 + y^4 =
z^4===>
===
Subject:
: Re: x^2 + y^4 = z^4> the equation x^2 +
y^4 = z^4 has no positive integer solutions.> Is the proof
... short enough for some kind soul to post it>An elementary
proof is based on descent. That is, assume a>solution exists
in positive x, y, z, and show that another one can be>found
with smaller z.> Are you sure?> That's true of x^4 + y^4 = z^2
where infinite descent is used at>
http://www.math.toronto.edu/mathnet/plain/questionCorner/
fermat4.html> However I see no way to modify the method used
there to this problem.> ----Here is an elementary proof by
descent.We may assume WLOG that x, y and z are pairwise
coprime, and thatthere is a minimal solution with xyz <> 0.
There are two cases:I. x odd, y even, z oddAssume that y is
minimal and nonzero.x = a^2 - b^2y^2 = 2abz^2 = a^2 + b^2 with
a, b coprime and of opposite parity [known parametric
solution]a = c^2b = 2d^2 c, d coprime, c odd (alternatively a
= 2c^2, b = d^2, which leads to the same result) [follows from
y^2 = 2ab with gcd(a,b) = 1]a = e^2 - f^2b = 2ef e, f coprime
and of opposite parity [follows from z^2 = a^2 + b^2 with a
odd, b even, a coprime to b]d^2 = efc^2 = e^2 - f^2 [combining
the above]e = g^2f = h^2 [follows from d^2 = ef with gcd(e,f) =
1]c^2 = g^4 - h^4c^2 + h^4 = g^4 [by substitution]y^2 = 2ab =
4c^2 d^2 = 4ef(e^2-f^2) = 4g^2 h^2 (g^4-h^4) > h^2 > 0 [by
substitution and assuming y <> 0]Thus c^2 + h^4 = g^4 is a
solution with 0 < |h| < |y|, whichcontradicts the assumption
that y is minimal and nonzero. QED case I.II. x even, y odd, z
oddAssume that x is minimal and nonzero.x = 2aby^2 = a^2 -
b^2z^2 = a^2 + b^2 with a, b coprime, a odd, b even [known
parametric solution]a = c^2 - d^2b = 2cd c, d coprime and of
opposite parity [follows from z^2 = a^2 + b^2]a = e^2 + f^2b =
2ef e, f coprime and of opposite parity [follows from y^2 = a^2
- b^2]cd = efc^2 - d^2 = e^2 + f^2 c, e odd, d, f even
[combining the above]c = ghd = ije = gjf = hi g, h, i, j
pairwise coprime g, h, j odd, i even [follows from cd = ef,
gcd(c,d) = gcd(e,f) = 1, g = gcd(c,e), etc.]g^2 h^2 - i^2 j^2
= g^2 j^2 + h^2 i^2 [by substitution]g^2 (h^2 - j^2) = i^2
(h^2 + j^2) [by rearrangement]2g^2 = h^2 + j^22i^2 = h^2 - j^2
[follows from gcd(g,i) = gcd(h,j) = 1, g, h, j odd, i even]h^2
= g^2 + i^2j^2 = g^2 - i^2 [by addition and subtraction]k =
2gik^2 + j^4 = h^4 [by substitution]x = 2ab = 4cd(c^2-d^2) =
4ghij(g^2 h^2-i^2 j^2) = 2hjk(g^2 h^2-i^2j^2) > k > 0 [by
substitution and assuming x <> 0]Thus k^2 + j^4 = h^4 is a
solution with 0 < |k| < |x|, whichcontradicts the assumption
that x is minimal and nonzero. QED case II.===
===
Subject:
: Re:
Nonlinear PDE Help>Here's a partial differential equation that
I'm almost positive>has a unique solution, although I don't
have any idea how to go>about finding it. Does anyone have
suggestions?>We want to find f(x,y) subject to the following
two conditions> 1. f(x,0) = g(x)> 2. (df/dx)^2 + (df/dy)^2 =
1>where g(x) is some known differentiable function of x>and
where d/dx and d/dy are supposed to be partial derivatives.>I
know of a solution for a specific case: g(x) = square-root(1 +
x^2).>Then a solution is> f(x,y) = square-root(x^2 +
(y+1)^2)(if you're not including the point [0,-1] in the
region you're interested in)Geometrically, your differential
equation says that gradient(f) has length 1 everywhere. In
principle, you should be able to get solutions bystarting with
a more-or-less arbitrary curve C (either closed, or going to
infinity at both ends), on which you take f = c for some
constant c, and defining f(x,y) = c + dist((x,y), C) on one
side of the curve, = c - dist((x,y), C) on the other side of
the curvewhere dist((x,y), C) is the minimum distance from
(x,y) to C. Of course,depending on the curve, this may be
non-differentiable at some points(which have more than one
closest point on C). Two easy special casesare where C is a
circle (as in your example) or a straight line.By the way, the
latter example shows that in general f(x,0) = g(x) does not
uniquely determine the solution: consider f(x,y) = y and
f(x,y) = -y, both with g(x) = 0.I don't know if there are
other solutions (besides circles and straight lines) with nice
simple formulas: for most curves, calculating the distance from
a point to the curve is not very easy.===
===
Subject:
: Re: smallest
eigenvalue of Laplacian>there is a theorem that says that an
eigenfunction corresponding to>the smallest eigenvalue of the
Laplacian on some bounded domain has no>zeros inside that
domain.>Is the reverse implication also true? Meaning: Does
every>eigenfunction without zeros inside the domain belong to
the smallest>eigenvalue?The Laplacian is a self-adjoint
operator, so eigenfunctions for differenteigenvalues are
orthogonal. Two functions that both have constant signscan't
be orthogonal, unless one is 0.===
===
Subject:
: Re: JSH:
Non-uniqueness of factorization by support1.mathforum.org
(8.11.6/8.11.6/The Math Forum, $Revision: 1.9 primary) id
i1JKcdt19789;>That's why I hate posters like Dik Winter and
Nora Baron because>they're so adept at hiding things.>Like
notice how they used the example of>x(x+1)/2>always being an
integer in the ring of integers?>That's because the ring of
integers is a unique factorization domain,>so you can factor
*every* integer as 2j(j+1) or j(2j+1) with j an>integer in the
ring of integers.just curious - how would you factor 1, 5, 6,
7, 8, or 9in the form 2j(j + 1) or j(2j + 1) ??? and a few
others.>Integers are a unique factorization domain!!!yup.>Now
how many of you know that but listened to those posters?I
dunno. It's hard to count us.>That's what's so
frustrating!!!it is?>Dik Winter and Nora Baron are the two
most capable, most able at>little tricks like that, where they
hide their arguments in stuff that>you should catch, like that
x(x+1)/2 is always true in integers>because integers have
uniqueness of factorization.I thought uniqueness had
somethingto do with primes. this sounds like sour grapes.>But
algebraic integers do NOT!No ... but if A is an alg integer,is
it true or not that A(A+1)/2 is also?I dunno. Prob not. who
says one way orthe other?>The ideas of Dik Winter and Nora
Baron do NOT pass the smell-test.they smell OK to me. unliek
some others.>Ultimately they're relying on confusion, and that
you don't pay>careful attention so that they can sneak in
little tricks like>x(x+1)/2 in integers.how is it a trick?
isn't it true?>Without uniqueness of factorizaton Dik Winter
can't give a reason why>for any particular w_1(x) and w_2(x),
and notice he doesn't even>try!!!Dik gave explicit
definitions. How is unique factorization involved?and anyway,
what do you mean? a reason why what?>Why should he?why should
he what?>As long as I'm supposedly just some nut, you are some
nut. no doubt on that.and you're just willing to>attack my
ideas without wondering about the underlying mathematics,
as>long as a dumb device like x(x+1)/2 in the ring of integers
get's past>you, why should he worry?where did he use this
device?>Meanwhile he keeps up his own personal attacks with a
webpage harping>on an old abandoned argument of mine from
YEARS ago on x^4 + y^4 =>z^4.>The guy is SCUM. pond-scum?And
he's fooled you repeatedly, and that's why Iadmittedly he is
damn good at math and clearly youare not. what else is
new???Mr. Don't squeeze the charmin' Whipple>James
Harris===
===
Subject:
: How many long primes are there?
Mime-version: 1.0Content-type: text/plain;
charset=US-ASCIIContent-transferncoding: 7bitN can represent
any integerL represents the length of the period of the
expansion of 1/NThe residues at the same level have the same
period lengthsFor each subsequent residue the period length
halves until the length isodd. At that level the residues form
a cycle.Can anyone tell me how many long primes there are to
various bases?Can anyone tell me what was the deep work that
Christopher Hooley has donethat John Conway and Richard Guy
alludes to in The Book of NumbersWhy didn't they mention the
correlation of period length to the quadraticgraphs below?
They mentioned the Totient rule and Wilsons theorem. Is
thistoo basic?Could someone enlighten me pleaseN L Graph of
quadratic residues b where b also represents the base in which
the expansion of 1/n occurs2 1 1 3 2 2 1 1 4 2 3 1 1 5 4 |3|2|
2 4 1 1 7 6 |3|5| 3 | |2=4| 11 10 |7|6|8|2| 5 |5=3=9=4| 2 11 1
1 13 12 |2|11|6|7| 6 | 4 | 10| 3 | 3 = 9 | 4 |8|5| 2 |12 | 1 |
1 | 17 16 |6|11| 7|10|5|12|3|14| 8 | 2 | 15 | 8 | 9 | 4 | 4 |
13 | 2 | 16 | 1 | 1 | 19 18 |14|13|2|15|3|10| 9 | 6=17=4=16=9=
5| 6 |12|8| 3 |11=7| 2 |18| 1 |1| 23 22
|5|21|19|7|20|14|11|17|10|15| 11 |2= 4=16=3= 9=12= 6=13= 8=18|
2 |22| 1 | 1| 29 28 |2|27|10|19|11|18| 14 | 4 | 13 | 5 | 7 |16
= 24 =25 | 28 |3|26|8|21||14|15| 14 | 9 | 6 | 22 | 7 |23 = 7 =
20 | 4 |2|17| 2 | 28 | 1 | 1 | 31 30 |3|22|12|11| 15
|9=19=20=28| 30 |21|24|13|17| 15 |7=18=14= 10| 10
|23|29|27|15| 5 |2= 4=16= 8| 6 |6|26| 3 |5=25| 2 |30| 1 | 1|
===
===
Subject:
: Huge PerturbationsHiGiven a matrix A + b B, where
A and B are of thesame order, b > 1, and B has a null
spacedimensionality > 1,I'm interested in both the eigenvalues
of A + b B, androots of (A + b B) x = c (c is of the same order
as Aand B) : the asymptotic case b -> inf and how
it'sapproached.Can anyone point me to the relevant literature
or keywordsto search for? (I already tried the
obvious)===
===
Subject:
: Re: strain softening spring
i.e. the
equation I am trying to solve is as follows:>y'' + cy' +
[ko*e^(-alpha*t)]y = 0>Any help would be most
appreciated.>sincerely>Paul Joseph>(pjoseph@excite.com)Maple
gives a solution in terms of Bessel functions. I posted a
filecalled DE.pdf showing the solution
at:http://math.asu.edu/~kurtz/de/--Lynn> Hi Lynn,> This is in
regard to the solution you kindly posted above.> Can the first
argument of the BesselY function be negative?Now, having done
the required manipulations by hand[1], I getu^2 d^2f/du^2 + u
df/du + (b^2 - u^2) = 0,whereu = A(k,a,c)*exp(-at/2), b = c/a,
f(t) = y(t)*exp(ct/2)and A(k,a,c) is whatever it is, which has
solutions J_b(u) and Y_b(u).In any case, I'm not sure that
exp(-ct/2)Y(A(k,a,c)*exp(-at/2)) isactually bounded as t ->
+oo for all positive k,a, and c, so that thissolution is
therefore unphysical.> I tried to implement this in Excel, but
Excel's BesselY function appears> to require that the first
argument be positive. I am not sure if this> is a quirk of
Excel... or whether this is a mathematical
requirement.Conventionally[2], J_b(x) and Y_b(x) are indexed
with positive b.[1]: The original equation was a linear ODE in
one unknown, with onenon-constant coefficient. It should not be
necessary to throw this at acomputer to solve it, unless you
want the actual numerical values.[2]: In the UK, at least.--
P.A.C. SmithThe vast majority of Iraqis want to live in a
peaceful, free world.And we will find these people and we will
bring them to justice.===
===
Subject:
: Re: No Set Contains Every
Computable Natural> Given any set, S, of representations of
natural numbers,> I can write a TM that will find a
representation of a natural number> that is not in S. (No,
this TM does not halt after a finite number> of steps.)>This
is, of course, simply false, false, false.>If you give the set
of all representations of natural numbers, then>your TM will
not find any representation of a natural number not in>your
set.>You're speaking nonsense again.>Of course, we must be
careful here and fix a convention for when a>tape represents a
set of natural numbers. Let's say that a tape>represents a set
of natural numbers if it consists of blocks of ones>separated
by a single space.>We must also be careful to require that
your TM has the property that,>for each square x of the tape,
there exists a steps t such that for all>steps s after t, the
symbol on the square x at time s is the same as>the symbol on
x at t. After all, a TM which repeatedly changes the>0th
square to 1 and blank and 1 and blank cannot be said to
produce>any tape at all.I have given this proof several
times.> Yes, and you've been simply wrong several times.My TM
has the property you describe.>Now, on an input tape
containing 1, ,1,1, ,1,1,1, ,1,1,1,1, ,...,How about
b1b11b111b1111...>there is simply no possibility that your TM,
even after an infinite>number of steps, creates a tape with a
representation of some natural>number not on my input tape.
Every natural number is represented on>my tape. None is
missing. Your tape either returns a set of numbers>already on
my tape or it returns no set of numbers at all.This TM will
find a representation not on your tape:It is a three state
machine and I can provide a statetransition table if you
like.1) Find a blank2) Find a second blank3) Backup and write
a 1 on the previous blankrepeat steps (1) through (3)This TM
will produce a tape that contains exactly one blank.The
contiguous string of 1's preceding this blank will bea
representation not on your tape.> It will produce no such
tape. It will produce a tape consisting of> all 1's. This is
obvious.> Suppose that it contains a blank. Then that blank
must occur at some> square on the tape, say square n. It is
trivial to see that, by the> nth iteration of your three
steps, square n is no longer blank.> (After the first
iteration, square 1 is not blank, square two was> never blank,
square three is not blank after the second iteration and> hence
is also not blank after the third, and so on.)This TM always
checks to see if there is another blank on the tapebefore
overwriting the previous blank. That is what step 2 does.It is
easy to prove there is a blank on the output tape.> Your proof
of this claim is simply another confusion.It is a three state
TM.How confusing can it be?>No, no, no. A TM cannot extend the
representation of natural numbers>for two reasons: (1) It's a
ing Turing machine, isn't it? I don't>want to argue about
requirements for intentionality or whether TMs are>capable of
intelligence, but this TM is not part of the
negotiations>regarding our conventions.No intelligence
required.My TM just adds all the numberstogether (plus 1 for
each addition).A TM is too stupid to know thatthe sum is
supposed to be infinity.> If your tape contains a single
contiguous block of an infinite number> of 1's, then your tape
does not contain a set of natural numbers.A single contiguous
block of an infinite number of 1's followed bya blank in a
finite position? I never said the output of my TMcontained the
set of all natural numbers. I said it would containa
representation not on the initial input tape. The output
containsthe representation of exactly one natural number.>
Nothing can change that fact *except* changing what our
conventions of> translating tapes to subsets of N and back
are. Your machine is> invoked only after the conventions are
set and cannot change any> conventions.Namely, each natural is
represented by a contiguous string of 1'sfollowed by a blank.
This TM produces such a representation.> It is obvious that
your machine does not produce a (tape representing> a) set of
natural numbers even though at each finite step the tape the>
machine is working on represents a set of natural numbers.My
TM produces a tape with one representation of a natural
number.This representation is not on the initial input
tape.>(2) Every natural number has a>representation in our
convention, so the representation cannot be>non-redundantly
extended.I just described such a TM.No tape can contain every
representation of a natural number.There will always be a
bigger representation.> You have not extended the
representation of N. You haven't even> described correctly
what tape your machine produces. If you could> describe what
your machine produces and if you were capable of>
understanding, then you would realize that your machine does
not> produce a tape representing a set of natural numbers.This
TM produces a tape with a contiguous string of 1'sfollowed by a
blank. The output tape contains the representationof exactly
one natural number.Russell- 2 many 2 count===
===
Subject:
: Klingon,
UG, et UGG (Re: the anticlassicalist }{ i: linguistic
negation)> Presumably the child would re-structure it into>
something else which conformed with UG. Presumably :-) Into
Neanderthalish perhaps?They say there are lots of UGs in it.
Even UGGs.And GUGGs (Generalized Universal
GrammarGlossematics, or whatever fancy jargon strikesyours
[*])> However, from the examples> given, it appears as Jacques
says that the counter-universal features> are rather trivial or
perhaps not counter-universal at all.Nothing counter-universal
at all. Only one thing, mentionedin the grammatical part of
the dictionary... I don'tremember it clearly, and I just don't
feel likehunting for it now. If memory serves vaguely
enough,there is a certain type of relative clause which,either
cannot be expressed, or cannot be disambiguated.It is not there
by design, however, but by oversight.It has to do with two
syntactic rules clashing, so thatyou cannot properly hook your
relative clause onto the main clause. Big deal. Alas, the poor
Yorick whom I knew ...Alas, that poor Yorick (I knew him)...
will do just asnicely, thank you very much.[*] fancy, of
course.===
===
Subject:
: Re: Solving Equation with ln> Humm, I am
not familier with the Lambert W function, is there a web> site
you would recommend so that I can read up on it or is this>
function too complex for the non-math major type person.I'll
let you decide whether it's too complex for your taste.
Briefly,it's just the inverse of the function f(W) = W*e^W.
(Although that inverseis multivalued, you only need to use the
principal branch for solving yourequation.) See
formore
information, including series expansions, etc.David> I was
working on a math problem at work and ran into something I>
don't know how to solve and was hoping someone could give me a
clue> on this fairly simple problem.> Original Equation:>
227.11 = 5.8{ln(38/x)} + (38-x)> Simplfied Equation:> 189.11 =
5.8*{ln(38/x)} - x> of course you can reduce this down to>
32.60 = ln(38/x) - x/5.8> and further (I think) to> 1.44 x
10^14 = 3.8/x - e^(x/5.8)> but I am stuck after this. Is it
possible to solve for X?> Not in terms of the standard
elementary functions. But youcan solve in terms of the Lambert
W function...x = W(38*exp(-(189.11)/5.8)/5.8)*5.8 =
2.627466197*10^(-13);===
===
Subject:
: Re: Are the derivatives of
abs[(x-a)^3] different for x>a and x